오픈AI가 밀레니엄 수학 난제 중 하나인 나비에-스토크스 문제의 해법을 제시했다고 발표했지만, 선행 연구와 공로 배분을 둘러싼 논란이 불거졌다.8일 블록체인 매체 디크립트 등에 따르면 오픈AI는 내부 차세대 모델이 린으로 검증된 증명을 생성해 나비에-스토크스 방정식이 유한한 시간 안에 특이점으로 이어질 수 있음을 보였다고 밝혔다.오픈AI는 약 1만개의 인공지능 에이전트가 88시간 동안 병렬로 작업해 증명을 만들었으며, 이를 단계별 증명 검증 소프트웨어 린으로 확인했다고 설
과학기술정보통신부가 기관별로 운영하던 데이터 경진대회를 '데이터+AI 혁신 챌린지'로 통합하고 참가자를 모집한다. 과기정통부는 한국데이터산업진흥원, 한국정보통신진흥협회와 '2026 데이터+AI 혁신 챌린지'의 데이터안심구역·데이터 문제해결·빅콘테스트 등 3개 부문 통합공고를 1일부터 시작했다.데이터+AI 혁신 챌린지는 기관별로 개별 운영되던 데이터 경진대회를 하나로 묶은 통합 브랜드다. 미개방데이터 활용부터 데이터 기반 문제 해결, 기업데이터 분석과 AI 활용까지 다양한 방식으로
영국이 수소 항공기 상용화를 위한 기술 개발과 인증 절차에 속도를 내고 있지만, 2050년까지 중거리 여객 수송 체계를 구축할 가능성은 1%에도 미치지 못한다는 분석이 나왔다.지난 15일 클린테크니카에 따르면 영국 민간항공청은 최근 '하이드로젠 챌린지' 사업을 통해 수소 항공기의 공항 운영과 극저온 저장, 연료 공급 기술 검증을 확대하고 있다. 런던시티공항에서 수소 항공기 회항 작업을 검증하는 프로젝트도 추진한다.CAA는 2035년까지 소형 항공기의
저스틴 선이 수학 난제와 기계 형식 검증 성과에 상금을 주는 분산형 학술상 '저스틴 선 상'을 제정했다. 16일 블록체인 매체 크립토폴리탄에 따르면 첫 수상자 명단도 함께 공개됐으며, 최고상 100만달러는 3차원 나비에-스토크스 방정식의 존재성과 매끄러움 문제에 대한 해법과 형식 증명을 인정받은 오픈AI 연구팀이 받았다.첫 수상에서는 66개 수학 문제의 해법과 형식 증명이 인정됐다. 오픈AI는 해당 증명이 자사 내부 모델로 생성됐고, 린 형식화와 검증은 GPT-6 아스
지난 9월 8일, 오픈AI는 90년 묵은 수학 난제 ‘나비에-스토크스’에 대한 해법을 내놨다고 발표했다. 바로 그날, 오픈AI를 거쳐 앤스로픽에서 사전학습을 연구해온 27세 연구원 제이컵 콕슨은 퇴사하면서 “AI를 만드는 사람들 스스로 이 기술이 10년 안에 우리 모두를 죽일 수 있다고 진심으로 믿고 있다”는 글을 X에 올렸다. AI의 성과를 알리는 발표와 AI의 위험을 경고하며 던진 사직서가 같은 날 겹친 것. 이날의 우연은 최근 몇 달간 쌓여온 AI의 ‘빛과 그림자’를 압축해서 보여준다.◆ A
창녕군은 9일 경남도청에서 열린 ‘2026년 경상남도 혁신 우수사례 경진대회’에서 장려상을 수상했다고 밝혔다. 군은 ‘24년의 기다림, 29일의 기적-창녕군·국민권익위원회·경상남도가 함께 빚은 적극행정’을 발표해 높은 평가를 받았다.군이 발표한 사례는 24년간 장기 미준공 상태로 남아 있던 창녕읍 소재 도원아파트의 집단 고충 민원을 관계기관 간 협업과 현장 중심 행정으로 29일 만에 사용검사필증 교부를 완료하며 성공적으로 해소한 사례이다.장기간 표류하던 현안을 기관 간 협업으로 해결하고 군민이 체감할 수
충남 아산 순천향대학교가 고령층의 만성 통증을 객관적으로 측정하고 개인별 중재와 지역사회 돌봄까지 연계하는 맞춤형 통증관리 기술 개발에 나선다.순천향대는 의과대학 차명훈 교수와 간호학과 한수하 교수가 한국형 ARPA-H 프로젝트의 ‘역중개 연구기반 통증정량화 및 중재기술통합형 고령층 맞춤형 통증돌봄플랫폼 구축’ 과제에 참여한다고 밝혔다.이번 연구는 가천대학교 박철규 교수가 총괄 연구책임자를 맡아 4년 6개월 동안 진행한다.한국형 ARPA-H는 보건복지부와 한국보건산업진흥원이 보건의료 분야의 난제 해결을 위해 추진하는
인기기사
[부고] 장철구(유신 부사장)씨 모친상
㈜유신 업무부 장철구 부사장 모친상■ 고 인 : 안삼노 님■ 빈 소 : 분당서울대학교병원 장례식장 9호실■ 발 인 : 2026년 9월 25일■ 장 지 : 이천 에덴낙원
검찰 수사인력 2048명 줄인다…공소청 ‘공판 중심’ 재편
검찰의 수사와 기소 기능을 분리하는 공소청의 수사인력이 대폭 줄어든다. 수사를 담당하던 검사실 인력은 공판부로 재배치되고, 검찰 수사관 상당수는 수사 업무에서 배제돼 송치사건 기소 결정과 불송치 사건 검토 등 공소기관의 실무를 맡게 된다.법무부는 22일 국무회의에서 입법예고 기간 제출
신한투자증권, 신규 AI 서비스 2종 오픈…보유종목·미국 공시
신한투자증권이 인공지능을 활용해 보유·관심 종목 이슈와 미국 상장기업 공시를 요약, 번역하는 신규 AI 서비스 2종을 새롭게 선보였다.신한투자증권은 '오늘 내 주식은'과 'AI 해외주식 공시' 두 서비스를 잇따라 선보이며 AI PB 고도화에 나섰다고 23일 밝혔다. '오늘 내 주식은' 서비스는 고객 보유·관심 종목의 ▲등락사유 ▲실적발표 ▲주간뉴스 등 주요 이슈를 AI가 선별해 정보를 제공한다. 국내외 시황과 고객이 최근에 본 종목의 신규 소식도 제공한다
양기대 전 의원, “철산·하안 재건축, 임대주택 1% 갈등 해법은..."
광명지역신문=장성윤 기자> 광명 철산·하안 재건축 단지의 공공임대주택 1% 반영을 둘러싼 갈등이 이어지고 있는 가운데, 사업성을 최대한 확보하면서 주민부담을 최소화하기 위한 실질적인 대안을 모색하는 자리가 마련됐다.재선 광명시장을 지낸 양기대 전 국회의원과 ‘희망과 대안 포럼’은 지난 22일 광명시 평생학습원에서 ‘광명시 철산·하안 재건축 현안 주민간담회’를 개최했다.이날 간담회에는 철산·하안 재건축 조합 및 추진위원회, 정비사업위원회 관계자와 주민, 도시정비 전문가 등이 참석해 공공임대주택 반영 문제와 사업 지연에 따른 주민 부담
건양대 스마트보안학과, 충청 사이버보안 콘퍼런스 3관왕 달성
건양대학교 스마트보안학과 학생들이 국가정보원과 한국과학기술정보연구원이 주최한 ‘2026 충청 사이버보안 콘퍼런스’에서 최우수상과 우수상을 수상하며 중부권 최고 수준의 실무 보안 역량을 입증했다. 22일 대전컨벤션센터에서 열린 이번 콘퍼런스의 ‘사이버위협 시나리오 공모전’에서 건양대 스마트보안학과는 AI 및 K-국방 부문에서 잇따라 수상작을 냈다. 건양대 스마트보안학과는 지난해 ‘디지털 트윈 전장 교란 시나리오’ 우수상에 이어 2년 연속 수상 명단에 이름을 올리며 학과의 탄탄한 실력을 확고히 했다
최신기사
[오늘의 운세]2026년 9월28일 (음력 8월18일·을사)
子48년생 가족간의 소소한 모임으로 화합을 다져라.60년생 정신적으로 강한 책임감으로 임하라.72년생 시작도 중요하지만 마무리도 중요.84년생 사사로운 일에 감정 흔들리지 않도록.96년생 방심하면 작은 일이 큰 문제로 다가온다.丑49년생 오랜만에 반가운 지인에게서 연락 올 수 있다.61년생 신중하게 처리하고 여유를 가져라.73년생 눈앞의 실수나 실패로 마음이 상할 수 있다.85년생 오늘 일을 잘 처리하면 위상이 높아진다.97년생 대범한 마음이 필요하다.寅50년생 선업에서 뜻밖의 좋은 일도 온다.62년생 차분
강원도교육청, 지역·기관 협력으로 공약 이행 점검 나서
강원특별자치도교육청은 지난 21일, 도교육청 대회의실에서 ‘2026년 제3차 확대간부회의’를 열고 민선 5기 공약과제를 지역과 교육 현장에 안착시키기 위한 협력 방안을 논의했다.회의에는 강삼영 교육감과 부교육감, 본청 국·과장, 직속기관장, 교육장 등이 참석했다. 참석자들은 교육지원청과 기초자치단체가 함께하는 ‘지역 교육행정협의회’를 내실 있게 운영하고, 교육지원청과 학교 간 소통을 위한 ‘지역 교육정책협의회’를 활성화하기로 했다.특히 지자체의 협조가 필요한 공약은 교육장이 중심이 돼 지자체와 학교, 지역사회 간 협력 관계를 강화하
김상욱 울산시장 오늘 광주 찾아 자동차 제조AX 협업 구체화
울산시와 전남광주통합특별시가 휴머노이드와 인공지능을 활용한 자동차 제조혁신 사업을 공동 추진하는 가운데, 이를 계기로 산업·문화·체육·정원 분야로 초광역 협력을 넓히는 방안을 논의한다.김상욱 울산시장은 28일 박순철 AI혁신산업실장, 류재균 경제국장, 송연주 분권인구정책국장, 전경술 문화관광체육국장, 정연용 녹지정원국장 등과 함께 광주를 방문한다. 방문단은 전남대학교와 전남광주통합특별시청을 찾아 공동사업 추진 방향을 논의하고 관련 업무협약을 체결할 예정이다.협력사업의 중심은 ‘울산-광주 자동차산업 휴머노이드 기반 제조 인공지
강원병무청, 내년 1월 입영 모집병 접수…지자체와 전시 협력 강화
강원지방병무청이 2027년 1월 입영할 육·해·공군과 해병대 현역병을 모집한다. 이와 함께 지방자치단체 병무담당자들과 간담회를 열어 전시 병무업무 협력체계도 점검했다.모집 인원은 전국 기준 육군 5,428명, 해군 1,010명, 공군 635명, 해병대 1,300명 등 모두 8,373명이다. 육군·해군·공군 전문기술병과 해병대 모집은 9월 30일 오후 2시부터 10월 6일 오후 2시까지 접수한다.육군 동반입대병·연고지복무병·직계가족복무부대병은 10월 1일 오후 2시까지, 전문특기병은 10월 7일 오후 2시까지 신청할 수 있다. 모집
분당 중식당 ‘페인트 테러’ 중국인 4명 범행 당일 출국
성남 분당 한 중식당에서 발생한 ‘페인트 테러’ 용의자 4명이 모두 중국인으로 확인됐다. 이들은 범행 당일 중국으로 출국한 것으로 파악됐다.