從開放網路上發現值得讀的內容，收藏真正重要的。AI 為你摘要、串連、整理你所知道的一切。
本文探討人工智慧在定理證明領域的爭議，對比使用Lean等工具的形式化方法，以及依賴語言模型進行人工評分的非形式化方法，特別是在國際數學奧林匹克競賽的背景下。
暫無內容
— Hacker News
相關文章
Acorn 與 AI 輔助定理證明之未來
8 個月前
謊言、該死的謊言與證明：形式方法並非無懈可擊
Lesswrong · 3 個月前
學習 Lean 定理證明器：第一部分
2 個月前
AI 中的非確定性問題的三種解決方案
7 個月前
Lean4：解析定理證明器及其在AI領域的新興競爭優勢
5 個月前
