我们正处于数学领域深刻变革的边缘。Vibe证明时代已经到来。
来自@HarmonicMath的Aristotle刚刚在@leanprover中独立证明了Erdős问题#124。这个问题自发表在《Acta Arithmetica》期刊上的论文“整数幂集的完备序列”中提出以来,已经悬而未决近30年。
Boris Alexeev使用Aristotle的测试版运行了这个问题,该测试版最近进行了更新,拥有更强大的推理能力和自然语言界面。
数学超级智能正以惊人的速度逼近,我相信它将改变并极大地加速数学及其所有相关领域的发展。