AI启示录

24 天干完人类半个世纪的数学伟业！4310 万行代码重写巨型数学定理，一万五千页人类数学证明，被 AI24 天重新校验，还找出老论证漏洞，轰动数学圈！AI 完成有限单群分类定理形式化，魔群谜题迎来机器核验，人类耗费 50 年的 “数学元素周期表”，如今交给 AI 彻底重验#AI #AI科研 #抖音精选App征稿中 #抖音精选App知识充电站 #AI数学 @抖音科技 @抖音精选App官方账号