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

摘要:鱼羊 一水 发自 凹非寺量子位 | 公众号 QbitAI57天,人类和AI合作搞定了4694个等式之间22028942个蕴含关系!大神陶哲轩激动宣布:等式理论计划,成功。

鱼羊 一水 发自 凹非寺量子位 | 公众号 QbitAI57天,人类和AI合作搞定了4694个等式之间22028942个蕴含关系!大神陶哲轩激动宣布:等式理论计划,成功。GitHub:https://github.com/teorth/equational_theories参考链接:[1]https://mathstodon.xyz/@tao/113522452070896956[2]https://teorth.github.io/equational_theories/[3]https://terrytao.wordpress.com/2024/10/12/the-equational-theories-project-a-brief-tour/— 完 —

来源:田田说科学

相关推荐