OpenAI数学解答未达领域专业标准

数学顾问委员会AGMAI指出，OpenAI本周发布的719份数学证明未完全遵循其建议，仅10份附有模型推理链，且存在自然语言证明与Lean代码不一致的问题。剑桥大学等机构研究者指出，模型证明在翻译环节存在偏差，缺乏人类理...

OpenAI发布722篇AI生成数学研究成果

OpenAI发布由未公开AI模型生成的722篇数学论文，内容跨越约20个数学子领域，涉及黎曼猜想、矩阵乘法优化、偏微分方程等方向，部分论文包含可供计算机快速验证的Lean证明文件。

OpenAI组建数学顾问团队，其AI已破解百余道数学难题

OpenAI宣布在普林斯顿高等研究院设立数学与AI顾问组，旨在为数学家提供对公司数学研究的意见渠道。OpenAI同时声称其内部模型已解决超过100个数学开放性问题，但该顾问组无权干预公司内部研究节奏。

OpenAI被指抢先发布数学证明引发学界争议

NYU数学家Buckmaster称其团队关于Navier-Stokes问题的研究成果在公开前被泄露给OpenAI，后者随即动用大量算力抢先发布完整证明，引发关于AI辅助数学研究伦理的争议。