热门话题
#
Bonk 生态迷因币展现强韧势头
#
有消息称 Pump.fun 计划 40 亿估值发币，引发市场猜测
#
Solana 新代币发射平台 Boop.Fun 风头正劲
Dylan Field
消除想象与现实之间的差距
虽然多年来它“逻辑上”一直很合理，但对我这个猴子脑来说，数学竟然是我们最早看到超级智能的地方之一，仍然很不可思议......
2025年11月30日
我们正处于数学领域深刻变革的边缘。Vibe 证明来了。
来自 @HarmonicMath 的 Aristotle 刚刚在 @leanprover 中独立证明了 Erdős 问题 #124。这个问题自从在《算术学报》上发表的论文“整数幂的完整集合序列”中被猜想以来，已经开放了近 30 年。
Boris Alexeev 使用更新后的 Aristotle 的测试版运行了这个问题，该版本最近更新以增强推理能力并提供自然语言接口。
数学超级智能正逐分钟接近，我相信它将改变并显著加速数学及所有相关领域的进展。
69.64K
热门
排行
收藏