OpenAI本周发布了数百份声称解决世界级数学难题的解答,但这些成果未能满足数学咨询团体AGMAI制定的相关标准。AGMAI在9月底发布的指导原则首项建议为"停止在专有模型上测试高级数学问题",然而OpenAI明确表示正在使用专有模型进行评估。剑桥大学和伦敦国王学院的研究论文指出,OpenAI模型在将自然语言证明翻译…
OpenAI宣布在普林斯顿高等研究院成立数学与人工智能咨询小组,为数学家提供参与公司数学研究的渠道。该咨询小组由9位数学家组成,成员无需获得报酬,拥有自主发表意见和控制成员资格的权限,但明确不具有影响OpenAI数学研究进度的权力。
一位获得数学博士学位的毕业生近日分享了其在AI时代从事数学研究的经历与思考。该研究者在2026年8月与Claude Opus合作完成了关于Artin-Schreier curves的数学论文,并将其提交至Math for AI Safety Repository。在这一合作过程中,作者指出Claude Opus在论文…