10月6日,OpenAI一次公布700多篇由AI生成的数学研究稿件,展示模型解答数学难题的进展,并承诺出资支持后续研究。这批成果引来数学界关注,也招来对发布方式的批评。

10月8日至10日,数学讨论网站Proofs and Prompts汇集了上百条回应。博洛尼亚大学数学系副教授恩里科·法蒂根蒂说,自己每天用AI查文献、试想法、辅助教学,这次却很生气:学生或同行交来难以读懂的论文,他会要求对方先改好,为什么换成AI生成的稿件,数学家就得接手整理?菲尔兹奖得主、加州大学洛杉矶分校数学教授陶哲轩同样看到新证明里巧妙的想法,但成果公布了,却找不到参与其中的人来回答问题、讲解方法。
OpenAI的节奏此前已在加快。今年6月,奥尔特曼与首席科学家雅各布·帕霍茨基把“自动化AI研究员”列为公司目标,预计到2028年3月,相当一部分研究可能由AI系统与人类研究者共同完成。8月1日,公司公布数学与理论计算机科学领域十项进展。9月8日,它公开了纳维–斯托克斯证明及形式化版本,表示无意申领千禧年大奖。
10月8日,数学家马特·贝克在博客里提到,一名他曾指导的博士生发邮件问:“未来还有人类数学家的位置吗?”他虽批评发布方式,却认为部分附有机器可检查证明的成果令人惊叹。把这些不满都归为“怕丢饭碗”,就绕开了真正的问题:能不能把成果整理好,让愿意参与的人接着做?慕尼黑大学博士后M. Levent Doğan在9月18日回应数学家公开信时指出,学术机构长期奖励论文产出,如果真认为理解比结果数量重要,就该把这种认识落实到招聘、资助和期刊实践中。









