Maryna Viazovska
PulseAugur coverage of Maryna Viazovska — every cluster mentioning Maryna Viazovska across labs, papers, and developer communities, ranked by signal.
1 天有情绪数据
-
英伟达开源IMO金牌AI数学推理系统 · 跟踪1个来源
英伟达已开源其在2026年国际数学奥林匹克竞赛（IMO）中获得金牌的完整数学推理系统。该系统名为Nemotron 3 Ultra，不仅取得了高分，还包含了模型检查点、训练数据、推理代码以及200个新问题的基准测试。此次发布值得关注的是，它提供了从训练到推理的整个流程，而不仅仅是一个更强的模型，这正值数学家们担忧AI生成的证明速度超过验证速度之际。
-
菲尔兹奖得主因研究不端和目标不一致与人工智能公司发生冲突
二十五位菲尔兹奖得主（数学界的最高荣誉）签署了一项声明，指出人工智能公司的目标与数学界的数学研究目标严重脱节。此前，加州理工学院的数学家们在一封公开信中指责人工智能公司存在研究不端行为，因为它们在未经适当署名或验证的情况下发布人工智能生成的结果。OpenAI 已因这些担忧撤回了对一个人工智能辅助数学黑客松的赞助，这凸显了人工智能发展与学术数学研究之间日益增长的紧张关系。
-
AI 验证了复杂的素数定理，为代码验证铺平道路
Axiom Math 成功使用其 AI 系统 AxiomProver 验证了“246 定理”的证明，这是数论中与素数相关的一个重要进展。这标志着 AI 辅助数学研究的一个里程碑，展示了 AI 确保复杂证明正确性的潜力，并进而扩展到 AI 生成代码的正确性。与之前的形式化不同，Axiom Math 专注于为未来的数学研究创建可重用组件。
-
AI生成的数学证明缺乏人类洞察力，阻碍理解
数学家David Bessis认为，虽然AI可以为数学定理生成形式化证明，但这些证明往往缺乏对人类理解至关重要的解释性洞察。他强调，发现过程和由此产生的清晰度比定理本身更有价值，而AI生成的证明无法提供这种好处。Bessis以Math Inc对Maryna Viazovska工作的自动形式化为例，说明AI产生了技术上正确但难以理解的结果，这可能会阻碍而非促进数学进步。