品玩11月25日讯，知名华裔数学家陶哲轩近日宣布，等式理论计划成功。该计划由陶哲轩本人在 2024 年 9 月 25 日发起，目的是探索按蕴含关系排序的原群（magma）等式理论空间。 在这个项目里，陶哲轩不仅集合了人类数学家的力量，还把AI ...