AI Agent Gauss在一周内独立完成了菲尔兹奖成果的形式化证明,生成20万行代码,成为历史上最大规模的Lean形式化项目。该成果验证了8维和24维最优球体堆积问题,并修正了原论文中的错误,标志着自动形式化领域的重要突破。
在高中时,我和同学们学习了玛丽亚姆·米尔扎哈尼的《数论》,她是首位获得菲尔兹奖的女性,激励了无数伊朗女性在STEM领域取得成就。今天,我向她和所有打破障碍的伊朗女性致敬。
北大校友王虹与Joshua Zahl成功证明了困扰数学界百年的挂谷猜想,陶哲轩对此表示激动。若王虹获奖,将成为首位中国籍女性菲尔兹奖得主,此成果引发热议,标志着她在数学界的重要突破。
完成下面两步后,将自动完成登录并继续当前操作。