722篇手稿、372道数学难题,平均每个结果只花了约三小时的ChatGPT Pro用量——这是OpenAI这次公布的规模。但真正耐人寻味的是方法:据OpenAI告诉《Scientific American》,几乎每一篇论文都是用单一提示交给单一AI代理人完成的。
这批手稿全数上传到GitHub,由OpenAI新成立的顾问小组「数学与人工智能咨询委员会」(Advisory Group on Mathematics and Artificial Intelligence,AGMAI)确认。上个月OpenAI已先表态,称其模型「解决了横跨数学多数领域、超过100个长期悬而未决的问题」,这次等于把具体清单摊开。公司表示提出成果的是一个尚未对外发布的ChatGPT先导模型。
OpenAI声称的重点成果包括四维Kakeya猜想的解答、若干关键电脑算法的改良,以及在黎曼猜想上的进展——这三者任何一个若经证实,都足以成为数学界的大事。公司在发布文字中写道,这次先以GitHub保存库形式公开,附带论文修订与引用的机制,「同时仍在寻找符合委员会准则的其他社区托管方案」,并承诺未来的发布会在引用规范、数学论述与呈现方式上做得更完整。






