首頁 > 等式

等式

  • 陶哲軒宣布“等式理論計劃”成功，57天完成2200萬+數學關系證明

    57天，人類和AI合作搞定了4694個等式之間22028942個蘊含關系！大神陶哲軒激動宣布：等式理論計劃，成功。“等式理論計劃”，由陶哲軒本人在2024年9月25日發起，目的是探索按蘊含關系排序的原群（magma）等式理論空間。特別的是，在這個項目里，陶哲軒不僅集合了人類數學家的力量，還把AI工具