我认为我们对数学的定义将会发生根本性的变化。 数学家们过去花时间解决复杂的方程式，而自动化使他们能够进行更多抽象的创造性工作。 但尽管计算机、通信和AI取得了所有进展，数学仍然主要是在孤立的环境中用黑板和沙发进行的。大多数合作是在会议上面对面进行的。 这开始发生变化。未来的数学将更像是编写软件。这两者将越来越趋于融合。

我们正处于数学领域深刻变革的边缘。Vibe 证明来了。 来自 @HarmonicMath 的 Aristotle 刚刚在 @leanprover 中独立证明了 Erdős 问题 #124。这个问题自从在《算术学报》上发表的论文“整数幂的完整集合序列”中被猜想以来，已经开放了近 30 年。 Boris Alexeev 使用更新后的 Aristotle 的测试版运行了这个问题，该版本最近更新以增强推理能力并提供自然语言接口。 数学超级智能正逐分钟接近，我相信它将改变并显著加速数学及所有相关领域的进展。

继续前进 🚀