陶哲轩牵头AHM声明抵制OpenAI数学发布
OpenAI于10月6日在GitHub公开约722份、归为372个“结果家族”的数学手稿,称这些结果出自同一内部模型,覆盖约8000个开放问题,成功率约5%,平均每题约消耗ChatGPT Pro级别三小时算力。由菲尔兹奖得主陶哲轩领衔的人类数学协会(AHM)随后发表声明,称一次性放出700多份文件“不是学术展示,而是权力展示”,呼吁数学家停止与OpenAI合作;理论计算机科学家Scott Aaronson称其为“Mathocalypse”。发布后已有3份手稿被撤回,据报其中一份证明存在符号错误,另两份依赖其结果。
AI批量产出数学成果与学界验证、理解能力之间的张力,首次演变为公开抵制与科研规范的正面争论。
Fields Medalist Terence Tao, who chairs the group, shared the statement as a guest post on his blog, while also outlining a "Math 2.0" era on Mastodon in which solving problems should no longer be the main focus of the discipline. Complexity theorist Scott Aaronson described the situation as a "Mathocalypse" on his blog.
The AHM statement escalates a months-long debate. OpenAI had already caused a stir by claiming an internal model solved more than 100 open math problems in a single month, including an approach to the Navier-Stokes Millennium Problem. In response to growing criticism, OpenAI set up the advisory group AGMAI at the Institute for Advanced Study, though the group explicitly has no say over the pace of the company's internal research.
AHM sees the release as a show of force
The AHM says OpenAI has already ignored the central premise of AGMAI's advice, which held that advanced math problems shouldn't be tested on internal models. "Mathematicians did not ask for this work to be done," the statement reads, describing the release of more than 700 files at once as "not a demonstration of scholarship, but a demonstration of power."
#OpenAI#Association for Human Mathematicians#AGMAI#Institute for Advanced Study#Anthropic#ChatGPT Pro#Lean#GitHub