#formal verification

10,000개의 AI 에이전트가 100만 달러짜리 수학 문제에 도전하다

4일간의 스프린트, 수십억 개의 토큰, 그리고 소프트웨어가 검증한 증명은 놀라운 결과를 가져왔습니다. 하지만 진정한 이야기는 기계가 상을 받는 것보다, 무엇이 수학적 돌파구로 간주되는지에 대한 것일지도 모릅니다.