카테고리: 수학

7건의 기사

OpenAI, AI가 '밀레니엄 문제' 풀었다 주장…전문가 검증은 아직

OpenAI가 자사 AI가 밀레니엄 난제 중 하나를 풀었다고 밝혔으나, 수학계의 공식 검증은 이뤄지지 않은 것으로 전해졌다.

OpenAI가 수학 7대 밀레니엄 난제 중 하나인 나비에-스토크스 방정식을 다룬 글을 공개했다. AI가 최고 난도 수학 문제에 기여할 수 있는지가 초점이다.

OpenAI가 자사 AI가 수학계의 난제 중 하나를 며칠 만에 풀어냈다고 밝혔다고 France 24가 보도했다. 검증 여부는 아직 확인되지 않았다.

OpenAI가 수학 난제 나비에-스토크스 방정식을 풀었다고 밝혔으나, 검증 가능한 증명이 공개되지 않아 학계의 확인이 이뤄지지 않고 있다.

앤트로픽이 자사 AI 모델 클로드를 활용해 수학의 난제인 페르마의 마지막 정리 증명을 기계가 검증 가능한 형식으로 옮기는 작업에 나선 것으로 전해졌다.

OpenAI의 미공개 차세대 모델 '아스트라'가 수십 년간 미해결이던 순수 수학·이론 컴퓨터과학 난제 10개를 해결했다. 모든 증명은 Lean 4 형식 코드와 함께 GitHub에 공개됐다.

OpenAI가 신규 AI 모델 '아스트라(Astra)'가 10개의 수학 문제에서 돌파구를 만들었다고 밝힌 것으로 전해졌다. 진위와 검증 범위는 아직 불명확하다.