令人興奮!一個人類和AI團隊共同撰寫數學證明的工具。
guille
guille2025年8月30日
今天我們有一篇關於AI和自動定理證明的努力帖(還有一些很酷的項目!)
3.08K