数学助理教授

Daniel Litt 提出疑问：2025年国际数学奥林匹克竞赛中获得金牌的AI模型在第6题上是否提交了错误答案？这个问题揭示了AI应用于数学研究的核心困境，即如何验证AI生成的数学结果的正确性。