邓煜论AI数学证明的学术规范

发生了什么

2026年10月25日，菲尔兹奖得主邓煜在论坛演讲中，对近期某AI公司发布的数学证明成果提出质疑。邓煜指出，该公司在10月6日公布的300多个问题及700多篇文章中，存在拒绝公布思维链、缺乏正确性保证及数据使用权争议等问题。他认为，AI公司应遵循学术规范，建立贡献认定与可追溯机制，并建议通过开源模型确保数学界对研究工具的自主掌控。