在2025年国际数学奥林匹克竞赛（IMO）中获得金牌的AI模型，面对第6题时到底发生了什么？
Daniel Litt 提出疑问：2025年国际数学奥林匹克竞赛中获得金牌的AI模型在第6题上是否提交了错误答案？这个问题揭示了AI应用于数学研究的核心困境，即如何验证AI生成的数学结果的正确性。
数学研究
陶哲轩亲测点赞，o3-mini秒证图论难题！专家级证明完整呈现
陶哲轩分享了使用AI（o3-mini）辅助证明数学难题的故事，包括成功解决了Ruzsa-Szemeredi的三角形移除引理，但当面对研究级别的问题时表现不佳。他指出，大模型在快速提供标准论证细节方面是优秀的用例，但仍需用户详细引导和验证答案的准确性。