03 RESEARCH
❯ OpenAI 宣布三项 AI 辅助科研成果,邀请学界参与检验
涉及三个学科OpenAI 宣布,其模型生成了数学、计算机科学和物理学的三项研究结果,涉及局部平滑与 Kakeya 猜想、指数时间假设,以及量子色动力学的数学基础。公司将这些手稿视为需要学界进一步理解和检验的研究材料。
数学和计算机科学在数学方面,OpenAI 称模型给出了适用于所有维度的局部平滑猜想证明,并由此推及 Kakeya 等相关猜想。计算机科学方面,公司声称长期存在的指数时间假设不成立;这一假设关系到某类计算问题是否存在足够快的算法,如果相关论证成立,将影响建立在该假设上的复杂性研究。OpenAI 称,该结果随后经过形式化证明工具 Lean 验证;相关问题的提出者也将参与外部工作组,帮助研究人员检查和解释证明。
物理成果如何处理第三项工作涉及量子色动力学,也就是描述强相互作用的理论。不同于另外两项,OpenAI 让外部合作团队决定物理成果材料的发布方式;公众目前能获得的细节因此不同。公司也明确表示,希望领域专家参与解释这些结果,而不是由模型输出直接替代学术讨论。
三种公开方式根据外部专家建议,OpenAI 公开数学结果的 AI 输出;计算机科学结果既公开输出,也由外部合作组帮助解读;物理结果则由合作组安排发布。公司称不会要求参与者签署保密协议,他们可以讨论中间成果并发表结论。三项结果仍应表述为 OpenAI 的研究主张,尚不能写成学界已普遍确认。
▮ SIGNAL当 AI 能生成复杂论证,如何让研究人员审阅、理解并复用结果,也成为科研工作的一部分。