인공지능의 수학 문제 해결 능력이 예상보다 빠르게 발전하고 있다는 평가가 나왔다고 9일 블록체인 매체 유투데이가 보도했다.카르다노 창립자 찰스 호스킨슨은 최근 유튜브 방송에서 AI가 복잡한 수학 증명을 생성하고 이를 형식적으로 검증하는 수준까지 빠르게 발전했다고 밝혔다.호스킨슨은 특히 나비에-스토크스 방정식과 관련한 AI 생성 해법 주장에 주목했다. 나비에-스토크스 문제는 클레이 수학연구소가 선정한 7대 밀레니엄 난제 가운데 하나로, 3차원 유체의 움직임을 설명하는 방정식에서
오픈AI가 밀레니엄 수학 난제 중 하나인 나비에-스토크스 문제의 해법을 제시했다고 발표했지만, 선행 연구와 공로 배분을 둘러싼 논란이 불거졌다.8일 블록체인 매체 디크립트 등에 따르면 오픈AI는 내부 차세대 모델이 린으로 검증된 증명을 생성해 나비에-스토크스 방정식이 유한한 시간 안에 특이점으로 이어질 수 있음을 보였다고 밝혔다.오픈AI는 약 1만개의 인공지능 에이전트가 88시간 동안 병렬로 작업해 증명을 만들었으며, 이를 단계별 증명 검증 소프트웨어 린으로 확인했다고 설
오픈AI가 AI 에이전트를 활용해 밀레니엄 난제인 나비에–스토크스 존재성과 매끄러움 문제의 해법을 도출했다고 밝혔다.이는 약 1만개의 에이전트를 동시 투입하고 중간 성과에 따라 연구 방향과 연산자원을 조정한 사례로, AI 경쟁이 모델의 벤치마크 성능에서 실제 연구 성과를 만들어내는 생산성 경쟁으로 확대되고 있다.오픈AI는 9월 8일 내부 AI 시스템이 작성한 증명과 증명 보조 도구 린으로 형식화한 결과를 공개했다. 발표에 따르면 매끄러운 외력이 작용하는 조건에서 유체의
오픈AI가 나비에-스토크스 밀레니엄 문제를 풀었다고 주장한 뒤 연구 공로와 AI 학습데이터 활용을 둘러싼 논란이 커지고 있다. 8일 비즈니스인사이더에 따르면 이번 사안은 AI 기업이 사용자 입력을 모델 개선에 활용한 뒤 그 성과로 원 연구자와 경쟁할 수 있는지라는 문제까지 드러냈다.논란은 뉴욕대 수학자 트리스탄 벅마스터와 앤트로픽 소속 수학자 레벤트 알푀게가 8일 논문을 공개하면서 불거졌다. 두 사람은 공기와 물의 움직임을 설명하는 수학이 매끄러운 흐름을 정확히 설명하지 못하는 사례를 찾았다고
인기기사
Generic placeholder image
김해평야 올해 첫 벼베기 시작했습니다
우리나라 3대 곡창지대로 알려진 김해평야에서 지난 4일 올해 첫 벼베기를 시작했다. 이날 김해 삼정동 이인규 쌀전업농김해시연합회장 논에서 조생종 해담벼를 수확했다
Generic placeholder image
국비 11조·대기업 투자·AI 데이터센터… 강원의 경제지도가 달라진다
강원특별자치도의 산업과 경제 지형이 달라지고 있다. 역대 최대 규모의 국비 확보를 비롯해 대기업 및 대규모 관광 투자 유치, 접경지역 군사 규제 완화, AI 데이터센터 유치, 교통망 확충 등이 잇따르면서 민선 9기 강원도정이 새로운 성장 기반을 구축하는 데 속도를 내고 있다.우상호 강원특별자치도지사는 7일 도청 신관 소회의실에서 열린 9월 정례 기자간담회에서 취임 이후 두 달여간의 주요 성과와 향후 도정 방향을 설명했다.우 지사가 제시한 도정의 핵심은 단순한 기업 유치나 개발사업에 그치지 않는다. 기업 투자를 지역산업과 연결하고,
Generic placeholder image
전체 물가 떨어져도 추석 성수품은 ‘오른다’
가을 배와 조기 가격이 지난해보다 8% 넘게 오른데 이어 쌀, 달걀 등 주요 성수품도 치솟아 추석 차례상 부담이 커지고 있다. 농축수산물 전체 물가는 하락했지만
Generic placeholder image
[내일 날씨] '선선한 가을바람', 전국 맑음.제주도 흐림...이번주 주간예보는?
무더위가 한결 누그러지고, 선선한 가을바람이 이어지고 있다.기상청은 중국 북동지방에서 동쪽으로 이동하는 고기압의 가장자리에 드는 7일 전국이 대체로 맑겠으나, 강원동해안.산지와 경상권은 대체로 흐리고 비가 내리는 곳이 있겠다고 예보했다.제주도는 흐리고 오전까지 중산간.산지와 한라산 동쪽 지역을 중심으로 가끔 비가 내리는 곳이 있겠다. 제주도 예상 강수량은 중산간.산지 10~40mm, 제주도해안 5~10mm.기온은 당분간 평년과 비슷하거나 조금 높겠다. 제주도 아침 최저기온은 24도, 낮 최고기온은 27~29도로 예상된
Generic placeholder image
30년 만에 고도완화...40층 이상 고층건물 들어선다
30년 만에 건축 고도가 완화될지 귀추가 주목된다.6일 제주특별자치도에 따르면 고도 완화를 담은 제주시·서귀포시 도시관리계획 변경안을 제주도의회 454회 정례회에 제출했다. 환경도시위원회는 오는 11일 안건을 심의한다.현재 고도 지구는 1996년 제주도 경관 고도 규제계획이 수립되면서 적용됐다.이번 고도 완화는 도시 외곽의 무분별한 개발을 막고 기존 도심에 주거·상업·복지 기능을 고밀도로 집약하는 압축도시를 실현하면서 건설경기를 부양하기 위해 마련됐다.주요 완화 내용은 ▲상업지역 최고 40층 ▲준주거지역
최신기사
Generic placeholder image
'부천전 무승부' 세르지우 코스타 감독 "어려운 경기...승리자 있었다면 제주SK였어야"
부천과의 원정경기에서 무승부를 거둔 제주SK의 세르지우 코스타 감독이 12일 "어려운 경기였다"면서도 "오늘 승리자가 있었다면 제주SK였어야 한다"라고 말했다.세르지우 감독은 이날 부천과의 원정경기 후 기자회견에서 이같이 말했다.세르지우 감독은 "어려운 경기였다. 이미 어려운 경기가 될 것이라는 것을 예상을 했다"며 "저희가 실점을 이미 너무 빠르게 했고, 상대방의 알고 있던 장점인 갈레고의 1:1 능력에서 나왔다"고 말했다.이어 "저희가 전반전에 저희가 갖고 있는 공격적인 퀄리티로 따라가려고 했다"며 "그리고 후반전에는 저희가 운
Generic placeholder image
섬식정류장 존폐 여부 "도민에게 떠넘기지 말라"
3시간전
섬식정류장·양문형버스로 운행 중인 제주형 BRT 사업의 존폐 여부를 도민에게 떠넘기지 말아야 한다는 지적이 나왔다.앞서 위성곤 지사는 지난 3일 도정질문에서 BRT사업의 존폐를 오는 11월까지 숙의형 공론화로 결정하겠다고 밝혔다.제주도의회 환경도시위원회 김덕홍 의원은 지난 11일 454회 정례회에서 “BRT 1단계 사업은 1개 구간만 완료됐고, 동광로·도령로·노형로·중앙로 4개 구간도 당초 2026년 말까지 마무리하기로 했지만 올해 확보한 동광로 공사비 63억원은 내년으로 명시이월됐다”고
Generic placeholder image
북한, 단거리탄도미사일 수발 발사
북한의 탄도미사일 발사는 지난달 20일 이후 23일 만이다. 북한이 한미일 3국의 정례 군사훈련 '프리덤 에...
Generic placeholder image
재활용품 쓰레기 24시간 배출 "시범 운영 없던 일로"
2시간전
제주특별자치도가 재활용품 상시 배출제에 대한 시범 운영을 하지 않는다. 도는 요일별 배출제 폐지 대신 개선안을 수립하기로 했다.제주도의회 환경도시위원회 김덕홍 의원은 지난 11일 454회 정례회에서 10월부터 재활용품 상시 배출을 위한 시범 운영 추진 상황을 질의했다.임홍철 도 환경산림자원국장은 “양 행정시와 논의를 한 결과 상시 배출제 시범 운영을 하지 않고 개선 방안을 위한 용역을 추진할 것”이라고 답했다.도는 10월부터 24시간 상시 배출 시범지역을 2~3개월 동안 운영해 효과와 문제점을 분석한 후 내년에 요일
Generic placeholder image
국힘 "北 미사일에도 말 한마디 못하는 정부"··· 안보관 비판
3시간전
국민의힘은 12일 북한의 동해상 단거리탄도미사일 발사와 관련 “이재명 대통령은 미사일 쏘는 북한에도, 파병 압박하는 미국에도 제대로 말 한마디 못 하며 ‘페이스메이커’ 주장만 반복하고 있다”며 정부를 비판했다. 장동혁 대표는 이날 자신의 페이스북 글에서 군 전력 강화와 한미 동맹 유지가 대통령과 정부의 책임인데 이재명 정권은 끊임없이 거꾸로 가고 있다고 지적했다. 그러면서 사관학교 통폐합을 “사실상 대한민국 국방 포기 선언”이라고 규정하고 국방부 장관 지명자가 전작권 회수에도 문제없다는 말에 공감한다고 한 데 대해 “골라도 딱 정권