57天，人类和AI合作搞定了4694个等式之间22028942个蕴含关系!大神陶哲轩激动宣布:等式理论计划，成功。“等式理论计划”，由陶哲轩本人在2024年9月25日发起，目的是探索按蕴含关系排序的原群（magma）等式理论空间。特别的是，在这个项目里，陶哲轩不仅集合 ...
