OpenAI被曝雪藏数百个证明，你死磕3年的题，答案可能早在服务器上

OpenAI被曝自今年7月国际数学家大会起雪藏数百个数学证明，AI解题能力跃升引发学界对成果公开权、知情权及学术价值的全新焦虑。

菲尔兹奖得主邓煜谈 AI：已能帮助数学证明，但不能替代独立思考

菲尔兹奖得主邓煜近日接受专访时表示，AI已能辅助数学证明中的局部细节验证，但无法替代人类直觉与核心框架的构建，未来人机协作将推动数学进入快速发展期。

降维打击，数学博士熬秃头，AI数学家：上午出题，下午4点交证明

降维打击！AI数学家上午出题，下午4点交证明，60年未解难题被23岁业余爱好者联手ChatGPT攻克。

历史性突破，OpenAI模型搞定人类科学家80年未破难题，能发顶刊了

历史性突破，OpenAI通用推理模型成功破解困扰数学界80年的平面单位距离猜想，成果获菲尔兹奖得主等顶尖数学家认可，称可直接发表于顶级期刊《数学年刊》。