今天我們有一篇關於AI和自動定理證明的努力帖(還有一些很酷的項目!)
18.34K