📖 AI 总结

OpenAI在宣布完成纳维-斯托克斯方程证明后，又传出在另一道千禧年难题上取得“实质性进展”，外界普遍猜测目标是霍奇猜想。文章围绕这一系列事件，披露了OpenAI与纽约大学数学家Tristan Buckmaster之间的合作争议：OpenAI曾提出多种方案，包括让Buckmaster先发表欧拉方程成果、由其担任主要作者重新整理论文，以及公开推荐百万美元奖金归属，但明确不希望其任职于Anthropic的合作者Alpöge出现在最终论文中。Buckmaster认为这是“收买”，双方矛盾激化。文章还指出，这项突破建立在数学家Diego Córdoba和Luis Martínez-Zoroa此前提出的核心策略之上，而OpenAI借助上万Agent将原本可能耗时十年的研究压缩到几天完成，由此引出成果归属的争议。