OpenAIのAstra、未解決だった数学問題を10問解決 — 費用はわずか2,000ドル
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.