OpenAI 发布 370 余项数学成果引发学界担忧

OpenAI 于周二发布 370 多项数学结果，涵盖代数、理论计算机科学与数学逻辑等方向，展示其最先进 AI 模型的能力。此前该公司用 AI 求解 Navier-Stokes 方程，引发领域内担忧，认为前沿实验室不应在数学界无法访问的专有模型上测试最难的数学问题。普林斯顿高等研究院表示不认可这一做法，指出 AI 可以输出提示者本人无法理解、验证或负责的数学论证，并呼吁在负责任的学术产出中保留人类对数学的理解。OpenAI 宣布将与高等研究院合作，让数学家在其推进方式上有发言权，但未表示会停止用这些高难度问题测试模型。纽约大学数学家 Tristan Buckmaster 对《纽约时报》表示，提示 AI 求解方程的人可能提供了帮助模型得出结论的信息。