Maryna Viazovska’s proofs of sphere packing formalized with AI
玛丽娜·维亚佐夫斯卡。图片来源：EPFL 2026。为 EPFL 教授 Maryna Viazovska 赢得 2022 年菲尔兹奖的证明达到了一个新的里程碑：通过数学家和人工智能工具之间的合作，通过计算机完成了它们的形式化。 2016 年，Maryna Viazovska 解决了 8 维球体堆积问题，证明了 E₈ 晶格 [...]
UCLA team awarded $5 million DARPA contract to develop AI for math advancement
ALPHA 团队包括菲尔兹奖得主陶哲轩 (Terence Tao)，其目标是改变数学发现的形成、形式化和验证方式。
Cram Less to Fit More: Training Data Pruning Improves Memorization of Facts
本文在 ICLR 2026 基础模型导航和解决数据问题研讨会上被接受。大型语言模型 (LLM) 可能很难记住其参数中的事实知识，通常会导致幻觉和在知识密集型任务中表现不佳。在本文中，我们从信息论的角度将事实记忆形式化，并研究训练数据分布如何影响事实准确性。我们表明，每当训练数据事实中包含的信息量超过模型时，事实准确性就不是最佳的（低于容量限制）......
