等式理论计划

陶哲轩宣布“等式理论计划”成功，人类AI协作，57天完成2200万+数学关系证明

57天，人类和AI合作搞定了4694个等式之间22028942个蕴含关系!大神陶哲轩激动宣布:等式理论计划，成功。“等式理论计划”，由陶哲轩本人在2024年9月

新闻快报