熱門話題
#
Bonk 生態迷因幣展現強韌勢頭
#
有消息稱 Pump.fun 計劃 40 億估值發幣，引發市場猜測
#
Solana 新代幣發射平臺 Boop.Fun 風頭正勁
Paata Ivanisvili
數學教授@UCI。探索人工智慧在數學中可以（和不能）做什麼。
安裝 Aristotle。獲取 API 金鑰。從你的終端運行它。選擇數學中的任何開放問題並以自然語言輸入到 aristotle 中！幾個小時後，它將產生完整的正式 lean 證明，或者可能失敗。👏
2025年11月30日
我們正處於數學領域深刻變革的邊緣。Vibe 證明來了。
來自 @HarmonicMath 的 Aristotle 剛剛在 @leanprover 中獨立證明了 Erdos 問題 #124。這個問題自從在期刊 Acta Arithmetica 的論文“完整的整數次方集合序列”中被猜想以來，已經開放了近 30 年。
Boris Alexeev 使用更新至更強推理能力和自然語言介面的 Aristotle 測試了這個問題的 beta 版本。
數學超智能正逐漸逼近，我相信它將改變並顯著加速數學及所有相關領域的進展。
85.3K
熱門
排行
收藏