黎曼猜想啥的,能搞吗?
1974年解决的四色定理就是ai解决的第一个数学难题。去年deepmind公司发了好几篇ai解决数学难题的文章,其中有一一篇是寻找更少步骤的矩阵乘法计算方式,一举突破了50多年数学界没有突破的现状。