OpenAIが1946年の数学予想を解明—数学者たちは自身の存在意義に不安
OpenAIは単位距離予想を反証し、新モデルAstraはFrontierMathの問題を10問解いた。AIが博士号レベルの能力に達し、人間の数学者の伝統的役割を脅かす転換点を示している。
openai recently disproved the unit distance conjecture from 1946 using ai, and shortly after, human researchers adapted the technique to solve another conjecture. epoch ai announced a second solution to its frontiermath benchmark, while openai's astra model demonstrated the ability to solve ten complex unsolved problems. experts like abhishek saha note that frontier models perform as well as phd students on routine tasks, turning mathematicians into 'conductors.' while some view this as a golden age of productivity, tim gowers predicts the rise of ai theorem provers will completely revolutionize and potentially displace pure mathematical research.