Clay Mathematics Institute
PulseAugur coverage of Clay Mathematics Institute — every cluster mentioning Clay Mathematics Institute across labs, papers, and developer communities, ranked by signal.
1 天有情绪数据
-
AI的认知投降与Navier-Stokes方程解的争议
在工作场所越来越多地依赖Copilot等AI工具，导致了一种被称为“认知投降”的现象，即个人可能会失去批判性思维和解决问题的能力。这种依赖也可能在不成比例的加薪的情况下增加工作量，使雇主受益而损害员工。最近出现了一个争议，当时OpenAI声称已经解决了Navier-Stokes方程，这是一个千禧年难题，可能会掩盖数学家Tristan Buckmaster和Levent Alpöge的独立进展。
-
OpenAI发布AI生成的数学证明；Mistral、Reflection AI推出开源模型
OpenAI发布了由未发布的尖端模型生成的数百个数学证明，引发了关于在数学领域分享AI进展的争论。这些证明涵盖了372个主题家族，由解决了千禧年大奖难题的同一模型生成。与此同时，Mistral AI和Reflection AI分别推出了新的开源模型“Le Chonk”和“Beam”，在开源AI领域将其定位为中国现有模型的有力替代品。
-
七项千禧年大奖难题仍有六项未解决
克莱数学研究所设立的七个复杂数学挑战——千禧年大奖难题，至今仍大部分未被解决。自设立以来，只有庞加莱猜想一个问题得到了解决。其余六个问题继续挑战着全球的数学家，其解决方案将获得丰厚奖励。
-
OpenAI 发布 700 多个 AI 生成的数学证明，引发争议
OpenAI 已在 GitHub 上发布了大量 AI 生成的数学证明，包括用于机器验证的正式化。这些结果以相对较低的计算预算实现，在数学界引发了敬畏和担忧。虽然一些人认为这是自动推理的一个分水岭时刻，也是数学发现的潜在范式转变，但另一些人则担心其对该领域的规范、进展速度以及 AI 可能贬低人类数学贡献的潜在影响。
-
OpenAI声称解决了千禧年大奖难题之一，但引发争议 · 跟踪1个来源
OpenAI声称在解决七个千禧年大奖难题之一的Navier-Stokes存在性与光滑性方程方面取得了重大突破。该公司表示，一个未发布的内部模型，其能力超过GPT-6 Astra，通过近10,000个代理的庞大网络实现了这一壮举。然而，这一声明引发了争议，包括数学家Tristan Buckmaster和Levent Alpöge提出的不公平竞争和归属争议指控，他们声称自己的相关工作未得到适当承认。克雷数学研究所尚未正式承认该解决方案，此…
-
AI 蓄势待发，将攻克百万美元数学难题
人工智能可能很快将着手解决复杂的数学挑战，有可能解开克雷数学研究所千禧年大奖难题中的一道。这七个问题每个都设有 100 万美元的奖金，代表了数学中最深刻的未解之谜。AI 在模式识别和复杂计算方面日益增长的能力表明，它可能成为推动数学理解和潜在解锁这些著名难题解决方案的强大工具。
-
OpenAI声称解决了千禧年大奖纳维-斯托克斯方程问题
OpenAI宣布已解决纳维-斯托克斯方程的存在性与光滑性问题，这是克雷数学研究所设立的七个千禧年大奖难题之一。该公司表示，其内部前沿LLM在88小时的工作中取得了这一突破，解决方案定于2026年9月8日公布。
-
纳维-斯托克斯千禧年大奖难题初步解决，审查正在进行中
Clay数学研究所宣布，数学领域的一项重大挑战——纳维-斯托克斯问题——已初步得到解决。该问题是七个千禧年大奖难题之一，每个难题的奖金为100万美元。目前，正式的审查程序正在进行中，以验证该解决方案。
-
Clay 数学研究所解决 Navier-Stokes 问题；Usenet 存档上线
Clay 数学研究所宣布了一项与 Navier-Stokes 问题相关的新举措，这是流体动力学中的一个重要挑战。另外，一个 Usenet 回溯存档搜索引擎已上线，提供对历史 Usenet 数据的访问。
-
AI协助解决重大数学难题，包括费马大定理和纳维-斯托克斯方程
数学家们利用AI在两个重大的数学挑战中取得了重大突破。在一个案例中，AI聊天机器人Claude的一个先进原型被用于创建第一个计算机验证的费马大定理代码。另外，OpenAI宣布，在其数学家的指导下，10,000个自主AI代理成功解决了纳维-斯托克斯方程，这是千禧年大奖难题之一。
-
纽约大学数学家指控 OpenAI 在数学问题竞赛中不道德地使用人工智能
围绕 OpenAI 在一项重大数学问题上的涉嫌行为出现了一场争议。纽约大学数学家 Tristan Buckmaster 与 Anthropic 数学家 Levent Alpöge 一起宣布了千禧年大奖难题的证明，特别是纳维-斯托克斯方程的存在性与光滑性问题。他们声称，关于他们进展的信息被分享给了 OpenAI，后者随后据称利用其强大的计算资源率先解决了该问题，可能是在受到数学家方法的影响之后。OpenAI 数学研究主管 Sebasti…
-
OpenAI声称取得数学突破，但围绕署名和学术规范的争议不断 · 追踪10个来源
OpenAI宣布了一项重大的数学突破，声称其AI模型已经解决了Navier-Stokes存在性与光滑性问题，这是七个千禧年大奖难题之一。这项据称耗费数百万计算能力的成就，却被争议所掩盖。数学家Tristan Buckmaster和Levent Alpöge声称，在得知他们相关进展后，OpenAI急于解决该问题，并且OpenAI可能不当使用了他们的工作。OpenAI否认访问特定用户数据，但承认去标识化的使用数据可能改进了其模型，这引发了…
-
OpenAI声称解决纳维-斯托克斯方程，但面临抄袭争议 · 追踪10个来源
OpenAI宣布了纳维-斯托克斯千禧年大奖难题的一个潜在解决方案，声称其AI系统利用约10,000个代理和大量的计算资源，已在流体动力学中证明了有限时间奇点。然而，这一声明伴随着争议，研究人员Tristan Buckmaster和Levent Alpöge声称OpenAI可能利用了他们未发表的作品和AI辅助研究。争论的焦点在于数据使用、署名权以及形式数学证明的定义，Clay数学研究所仍将该问题列为未解决。