热门话题
#
Bonk 生态迷因币展现强韧势头
#
有消息称 Pump.fun 计划 40 亿估值发币，引发市场猜测
#
Solana 新代币发射平台 Boop.Fun 风头正劲
Thomas Bloom
作为Erdős问题网站的所有者/维护者，关于这个#124解决方案的一些评论的讨论：
1) 这是一个很好的证明，由AI从正式声明中提供，没有人类参与，然后在Lean中进行了形式化。这已经很令人印象深刻了！
2025年11月30日
我们正处于数学领域深刻变革的边缘。Vibe 证明来了。
来自 @HarmonicMath 的 Aristotle 刚刚在 @leanprover 中独立证明了 Erdős 问题 #124。这个问题自从在《算术学报》上发表的论文“整数幂的完整集合序列”中被猜想以来，已经开放了近 30 年。
Boris Alexeev 使用更新后的 Aristotle 的测试版运行了这个问题，该版本最近更新以增强推理能力并提供自然语言接口。
数学超级智能正逐分钟接近，我相信它将改变并显著加速数学及所有相关领域的进展。
258
热门
排行
收藏