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