Peter Scholze
PulseAugur coverage of Peter Scholze — every cluster mentioning Peter Scholze across labs, papers, and developer communities, ranked by signal.
3 天有情绪数据
-
数学界使用Lean软件验证了菲尔兹奖得主的计算
菲尔兹奖得主Peter Scholze对他在与Dustin Clausen合作的研究中，其技术计算尚未得到普林斯顿和哈佛等机构同行的彻底审查表示担忧。当Lean社区一丝不苟地验证了这份六页的文件，确认其准确性后，情况发生了变化。这一耗时六个月的验证过程包括逐行检查，确保了该工作的数学严谨性。
-
数学家陶哲轩呼吁AI放缓步伐，称存在“证明消化不良”
著名数学家陶哲轩公开表达了对模型公司快速、不受控制的AI发展步伐的担忧。他认为，尽管AI正在迅速解决复杂的数学问题，但理解、传播和将这些证明融入更广泛知识的关键步骤却被忽视了。这种“证明消化不良”可能会扼杀数学创造力，并导致未来AI训练的数据污染。针对这些担忧以及25位菲尔兹奖得主的相关抗议，OpenAI已成立一个咨询小组，以帮助管理AI驱动的数学研究的审查和传播，但该小组不会就内部进展提供建议。
-
OpenAI 发布 700 多个 AI 生成的数学证明，引发争议
OpenAI 已在 GitHub 上发布了大量 AI 生成的数学证明，包括用于机器验证的正式化。这些结果以相对较低的计算预算实现，在数学界引发了敬畏和担忧。虽然一些人认为这是自动推理的一个分水岭时刻，也是数学发现的潜在范式转变，但另一些人则担心其对该领域的规范、进展速度以及 AI 可能贬低人类数学贡献的潜在影响。
-
英伟达开源IMO金牌AI数学推理系统 · 跟踪1个来源
英伟达已开源其在2026年国际数学奥林匹克竞赛（IMO）中获得金牌的完整数学推理系统。该系统名为Nemotron 3 Ultra，不仅取得了高分，还包含了模型检查点、训练数据、推理代码以及200个新问题的基准测试。此次发布值得关注的是，它提供了从训练到推理的整个流程，而不仅仅是一个更强的模型，这正值数学家们担忧AI生成的证明速度超过验证速度之际。
-
Anthropic 寻求 2 万亿美元 IPO，AI 实验室推动放缓发展
据报道，Anthropic 正在为 10 月份进行的大规模 2 万亿美元 IPO 做准备，这得益于强劲的收入增长和高利润率，英伟达（Nvidia）正考虑进行重大投资。与此同时，微软（Microsoft）继 Anthropic 和 OpenAI 之后，也主张放慢人工智能（AI）的发展速度，以解决对齐和安全问题，并为其 AI 模型引入了行为准则。AI 行业也日益出现分歧，数学家们对 AI 实验室在未经充分验证的情况下急于声称取得数学突破表…
-
菲尔兹奖得主因研究不端和目标不一致与人工智能公司发生冲突
二十五位菲尔兹奖得主（数学界的最高荣誉）签署了一项声明，指出人工智能公司的目标与数学界的数学研究目标严重脱节。此前，加州理工学院的数学家们在一封公开信中指责人工智能公司存在研究不端行为，因为它们在未经适当署名或验证的情况下发布人工智能生成的结果。OpenAI 已因这些担忧撤回了对一个人工智能辅助数学黑客松的赞助，这凸显了人工智能发展与学术数学研究之间日益增长的紧张关系。
-
OpenAI 因对人工智能在数学领域作用的反对而退出加州理工学院数学马拉松 · 追踪 8 个来源
在大量数学家对人工智能在数学领域“严重不匹配”及其对该领域潜在的破坏性影响表示担忧后，OpenAI 已撤销对加州理工学院数学马拉松的赞助。数学家的公开信强调了人工智能研究实践中的问题，导致 OpenAI 决定撤回其资助。尽管 OpenAI 撤资，但该活动预计将继续获得包括 Anthropic 和 DARPA 在内的其他支持者的支持，尽管 OpenAI 每支队伍 10,000 美元的贡献的确切财务影响尚不确定。