我们正处于数学领域深刻变革的边缘。Vibe证明时代已经到来。 来自@HarmonicMath的Aristotle刚刚在@leanprover中独立证明了Erdős问题#124。这个问题自发表在《Acta Arithmetica》期刊上的论文“整数幂集的完备序列”中提出以来,已经悬而未决近30年。 Boris Alexeev使用Aristotle的测试版运行了这个问题,该测试版最近进行了更新,拥有更强大的推理能力和自然语言界面。 数学超级智能正以惊人的速度逼近,我相信它将改变并极大地加速数学及其所有相关领域的发展。
Risk and Disclaimer:The content shared by the author represents only their personal views and does not reflect the position of CoinWorldNet (币界网). CoinWorldNet does not guarantee the truthfulness, accuracy, or originality of the content. This article does not constitute an offer, solicitation, invitation, recommendation, or advice to buy or sell any investment products or make any investment decisions
No Comments
edit
comment
collection22
like31
share