Navier-Stokes existence and smoothness problem
PulseAugur coverage of Navier-Stokes existence and smoothness problem — every cluster mentioning Navier-Stokes existence and smoothness problem across labs, papers, and developer communities, ranked by signal.
1 天有情绪数据
-
加州大学伯克利分校教授因AI放弃评分家庭作业
一位杰出的加州大学伯克利分校数学教授由于AI工具的广泛和复杂使用，已停止给学生家庭作业打分。菲尔兹奖得主Richard Borcherds发现，AI生成的作业持续获得高分，使得传统的评分方法变得毫无意义，并惩罚了诚实的学习者。他现在主要依靠不允许使用电子设备的现场考试来评估学生的理解能力，并承认AI的进步对传统的学术评估构成了重大挑战。
-
OpenAI使用AI代理解决数十年历史的数学难题
据报道，OpenAI已使用数千个代理的暴力破解方法解决了存在数十年的纳维-斯托克斯存在与光滑性问题。这一成就虽然在数学上意义重大，但一些人认为它破坏了数学发现的传统艺术过程。数学家通常像艺术家一样处理问题，寻找模式和理解，而OpenAI的方法则优先考虑计算能力而非深刻的见解。
-
OpenAI千禧年大奖赛证明引发数学家信用纠纷
一项关于千禧年大奖赛问题（特别是纳维-斯托克斯存在性与光滑性问题）潜在解决方案的署名权纠纷已经出现。纽约大学数学家 Tristan Buckmaster 声称他与Anthropic数学家 Levent Alpöge 取得了进展。然而，OpenAI的介入使情况变得复杂，据报道，菲尔兹奖得主现已被卷入这场署名权纠纷。
-
OpenAI 声称 AI 解决了千禧年大奖难题，引发争议 · 追踪 5 个来源
OpenAI 宣布已通过 AI 解决了纳维-斯托克斯千禧年大奖难题，这是一个重大的数学挑战。该解决方案包含一个 Lean 形式的证明，是使用一个未发布的内部模型开发的。这项成就也伴随着争议，因为纽约大学的一位数学家和一位 Anthropic 的员工声称 OpenAI 的工作可能受到了他们自己近乎完成的研究的影响，而他们的研究使用了包括 GPT-5.6 Sol 在内的 AI 工具。