OpenAI 发布了 377 个数学问题的解，涵盖代数、数论、理论计算机科学、数学逻辑和拓扑学，此前其声称求解了价值 100 万美元百万美元难题的 Navier-Stokes 方程。这些结果使用了一个尚未发布的高级 AI 模型，并使用 Lean 验证系统进行审查，每个解的平均计算时间约为三小时。OpenAI 表示，它整合了由新泽西州普林斯顿高等研究院主持的独立咨询委员会的反馈，该委员会包括哈佛数学家梅兰妮·伍德。该委员会敦促透明，呼吁发布 AI 提示和思维链，并批评 AI 公司在未解问题上测试专有模型。尽管存在这些担忧，OpenAI 仍在内部测试，研究负责人 Dan Roberts 表示这有助于构建更好的工具。纽约大学数学家 Tristan Buckmaster 警告称，AI 可能利用数学家的先前工作来完成证明，这引发了关于 AI 辅助发现中的信用和原创性的担忧。
来源: New York Times Top Stories · 由HeadlinesBriefing整理摘要