获菲尔兹奖的高维最优球堆积问题相关数学研究成果，如今由人类与AI人工智能协作完成了形式化验证。图源：Quanta Magazine2022年7月，乌克兰数学家 Maryna Viazovska（玛丽娜·维亚佐夫斯卡） 荣获菲尔兹奖（该奖项被广泛誉为 “数学界的诺贝尔奖”），这一消息曾轰动一时。她不仅是该奖项 86 ...