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