Reddit网友热议AI攻克500个重要数学难题中的90个，顶尖数学家称其为里程碑。评论区观点分裂：有人惊叹变革将至，有人质疑验证困难、过程不透明，还有人调侃“我明天就解决剩下410个”。兴奋与恐惧交织，争论AI是否真能推动数学进步。