AI 摘要
AI 在 FrontierMath: Open Problems 基准测试中成功解决一道数学家长期未能攻克的真实研究难题。该基准专门收录专业数学家尝试失败的研究级开放问题。
AI has solved one of the problems in FrontierMath: Open Problems, our benchmark of real research problems that mathematicians have tried and failed to solve.
See thread for more.