앤트로픽은 미공개 차세대 모델이 150년 넘게 미해결로 남은 리만 가설 연구에서 유의미한 진전을 이뤘다고 발표했다. 수학 훈련이 거의 없는 직원이 모델에게 증명을 "진지하게 시도해보라"고 지시한 뒤 하루 반 동안 맡겼고, 모델은 60개 서브에이전트를 조율하며 650가지 아이디어를 테스트해 출력 토큰 3100만 개를 사용, 가설이 성립하는 해의 하한값을 크게 끌어올렸다. 이 결과는 앤트로픽 소속 수학자 2명의 검증과 증명 보조도구 Lean을 통한 형식화를 거쳤다. 최근 오픈AI 아스트라 모델의 성과, 앤트로픽의 야코비안 추측 반증 등과 함께 AI의 수학 연구 기여를 둘러싼 학계의 기대와 우려를 동시에 키우고 있다.

• •앤트로픽 미공개 모델, 리만 가설 성립 해의 하한값 상향 진전(가설 자체는 미해결)
• •모델이 60개 서브에이전트로 650개 아이디어 테스트, 출력 토큰 3100만 개 사용
• •결과는 앤트로픽 수학자 2명 검증 및 Lean 증명보조도구로 형식화 완료
• •올해 다수 에르되시 문제 해결, 오픈AI 아스트라 10대 성과 등 AI 수학 연구 성과 잇따라
• •필즈상 수상자 가워스 등 학계는 저자 책임 소재 놓고 찬반 논쟁 중