纽约大学数学家宣布三项AI辅助证明

IT时代网9月9日消息，据TechCrunch报道，纽约大学数学教授 Tristan Buckmaster 于当地时间周二宣布三项证明，围绕理论数学领域一个重大悬置问题给出初步结果。这项工作与 Anthropic 数学家 Levent Alpöge 合作完成，过程中同时用上了 Codex 与 Claude 两款 AI 工具。

成果之外还有风波。Buckmaster 在声明中写道，这个故事还有另一部分，说实话他非常不希望与之有牵连——按其说法，OpenAI 的平行攻关在其成果公开发表之前，便建立在他们的工作之上，学术竞争与优先权主张由此缠成一团。

几乎同一时间，OpenAI 也公布了由内部系统产出的纳维-斯托克斯问题相关成果，并表示在对方公开发布之前，己方从未通过任何渠道接触其工作。两大 AI 巨头在同一片数学前沿正面相遇，AI 辅助数学研究的竞争烈度可见一斑。

编辑：林一舟