熱門話題
#
Bonk 生態迷因幣展現強韌勢頭
#
有消息稱 Pump.fun 計劃 40 億估值發幣，引發市場猜測
#
Solana 新代幣發射平臺 Boop.Fun 風頭正勁
Dylan Field
消除想像與現實之間的差距
雖然這在邏輯上已經有意義多年，但對我這顆猴腦來說，數學仍然是我們將看到超智能的第一個地方，真是太瘋狂了...
2025年11月30日
我們正處於數學領域深刻變革的邊緣。Vibe 證明來了。
來自 @HarmonicMath 的 Aristotle 剛剛在 @leanprover 中獨立證明了 Erdos 問題 #124。這個問題自從在期刊 Acta Arithmetica 的論文“完整的整數次方集合序列”中被猜想以來，已經開放了近 30 年。
Boris Alexeev 使用更新至更強推理能力和自然語言介面的 Aristotle 測試了這個問題的 beta 版本。
數學超智能正逐漸逼近，我相信它將改變並顯著加速數學及所有相關領域的進展。
69.69K
熱門
排行
收藏