OpenAI一次公开372项数学成果, 学界要求先拿出证据

摘要

OpenAI在GitHub上公布其新模型产生的372项成果，称每一项都解决或大幅推进了数学或理论计算机科学中的重大公开问题，其中包括四维Kakeya猜想的解法、对部分重要计算机算法的改进，以及朝Riemann猜想的实际进展。许多结果已在Lean（可校验证明逻辑的编程语言）中通过验证。OpenAI发言人告诉《Scientific American》，这款尚未公开的模型几乎所有结果都是对单个AI智能体的一个提示词作答所得；这与此前Navier-Stokes问题的解法不同——后者由一万个智能体组成的群体协作完成，耗费数百万美元算力。麻省理工学院数学家Andrew Sutherland表示，在OpenAI发布模型、结果可被复现之前，应把