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)，其目标是改变数学发现的形成、形式化和验证方式。
