一道数学难题被 AI 宣布“解出”后,谁来判断它是否重要、证明是否完整,又该何时公开?9月21日,OpenAI宣布成立数学与人工智能顾问组,由普林斯顿高等研究院承办,希望让数学家参与公司数学研究的成果评估与发布协调。此时,OpenAI还声称,同一款内部模型已解决数学多个领域的逾100个开放问题——即尚无公认解答的问题;这些成果的分量与可靠性仍要逐一独立验证。
据 TechCrunch 报道,顾问组首批有9名数学家,成员不领取报酬,可主动提出意见、公开表达立场,并自行决定成员构成。但这份“独立”有明确边界:顾问组没有决策权,也不能放慢或改变OpenAI内部数学研究的节奏。换句话说,它更像连接公司与数学界的正式接口,而不是裁决成果真伪的审查机构。机器验证即使通过,也不能替代同行评审;外界仍需确认形式化命题是否对应原问题,并检查证明与成果归属。