OpenAI 计划在 GitHub 一次性发布数百个 AI 求解的数学难题结果，数学家批评其绕过学术规范

OpenAI 计划于周二在 GitHub 上一次性发布数百个未解数学问题的求解结果，此前该公司在 8 月曾召集约 40 名数学家讨论 AI 能力超越人类后的应对方式。据与会者回忆，OpenAI 当时暗示其模型已解决数百个长期悬而未决的数学问题，并承诺不会一次性全部发布，但数学家建议以论文形式发布以便消化和验证，西北大学数学家 Bryna Kra 称这一建议被忽视。OpenAI 发言人 Lindsay McCallum 表示，公司正依据高等研究院数学与人工智能咨询小组的建议负责任地发布下一批结果，尚未确定发布时间。Kra 提到，社区今年已建立 Hexagon 和 Palomar 等工具应对机器辅助证明的增加，但 OpenAI 未改变发布方式，也与 4000 多名数学家签署的 Leiden 宣言不符。