令人兴奋!一个人类和AI团队共同撰写数学证明的工具。
guille
guille2025年8月30日
今天我们有一篇关于AI和自动定理证明的努力帖(还有一些很酷的项目!)
3.08K