AI数学能力突破：2025或达IMO金牌水平

帝国理工学院教授Kevin Buzzard探讨了AI在数学研究中的潜力与局限。OpenAI的o3模型在Frontier Math数据集上取得了25.2%的破纪录准确率，该数据集由60多位数学家设计，包含数百个高度保密且极具挑战性的数学难题。尽管AI在处理复杂计算方面表现出色，但在原创性证明和深入理解数学概念上仍有不足。DeepMind的AlphaProof在2024年国际数学奥林匹克竞赛中成功解决了四道题，并提供了形式化的Lean证明。Buzzard预测，2025年可能会出现达到IMO金牌水平的AI系统，但评分机制仍是亟待解决的问题。
来源：https://mp.weixin.qq.com/s/goW2IyfukRajUoKXStozkg