AI攻破80年数学难题这Ai是妥妥的要替代人的大脑么？始终就是一个工具啊