AI热榜 纽约大学数学教授特里斯坦·巴克马斯特周二宣布了三项证明，并对理论数学中未解决的主要问题之一做出了初步发现。
这些发现是与人类数学家 Levent Alpöge 合作并使用 Codex 和 Claude AI 模型得出的，其本身意义重大，但也伴随着围绕 OpenAI 试图解决同一问题的不同寻常的争议。
“这个故事还有另一部分，”巴克马斯特在他的书中写道。
声明 宣布证据，“老实说，我非常希望我不必担心这一点。
”根据声明，OpenAI 在公开之前的工作基础上开展了一项平行工作，导致了一系列学术竞争和相互矛盾的主张。
Buckmaster 发表声明后不久，OpenAI 发布了 纳维-斯托克斯存在性和平滑问题的完整证明 ，巴克马斯特的发现已朝着这个方向迈出了一步。
据 OpenAI 称，这一证据是由一个未发布的下一代模型发现的，该模型在过去一周解决了一系列不同的未解决问题。
总而言之，为期一周的工作消耗了 3000 亿个输出代币——如果收费的话，计算价值为 2250 万美元 按照目前的阿斯特拉费率 。
纳维-斯托克斯存在性和光滑性问题是七大问题之一
🔗 原始来源
如果你要核对细节，可以再看原文： TechCrunch AI原文链接