首页 > 等式

等式

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

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

热门文章