OpenAI·앤트로픽이 동시에 풀었다는 난제, 수학계는 어떻게 확인할까
OpenAI가 10월 26일 수학·컴퓨터과학·물리 난제 세 개를 내부 모델로 풀었다고 발표했고, 몇 시간 뒤 앤트로픽도 그중 하나인 지수시간가설(ETH)을 반증한 논문을 공개했습니다. 두 회사는 컴퓨터로 증명을 검사하는 Lean으로도 확인했다고 밝혔습니다. 외부 학자들의 검토는 이제 시작입니다.
#AI연구
GPT-6 Astra, 미공개 이론물리 문제 50개 중 49개 풀어
인도 연구기관 ICTS 등 연구진이 미공개 이론물리 연구 문제 50개로 AI 에이전트를 평가했다. GPT-6 Astra가 49개, Claude Opus 5.5가 46개를 맞혔고, 채점 중에는 전문가가 낸 기준 답안의 오류가 여러 건 드러났다. 연구진은 획기적 난제가 아니라 알려진 기법으로 푸는 문제라고 밝혔다.