OpenAI의 Astra, 단 2,000달러로 풀리지 않던 수학 문제 10개 해결
OpenAI의 Astra 모델이 수십 년간 수학자들을 난감하게 했던 미해결 수학 문제 10개를 2,000달러의 연산 비용만으로 해결하며, AI 기반 과학적 추론의 새로운 시대를 열고 있습니다.
openai officially confirmed its next major model family, astra, by releasing a report showing the system solved ten previously unsolved problems in math and theoretical computer science. the model generated proofs for complex challenges in fields ranging from high-dimensional geometry to group theory, including the establishment of non-sofic groups, which mathematicians had been unable to solve for decades. researchers noted that solving these problems would have cost roughly $2,000 at api rates and that the model utilized a test-time reasoning technique to formalize proofs in lean for machine-checkable correctness. this development signals a shift toward using extended compute runs for scientific discovery, though noam brown indicated the model has not yet cracked any millennium prize problems.