热点
"Automated Theorem Proving" 相关文章
首个面向大模型的形式化数学竞赛正式启动：推动AI数学推理迈向可验证新高度
我爱计算机视觉 2025-10-27T08:53:42.000000Z
MIT affiliates win AI for Math grants to accelerate mathematical discovery
MIT News - Artificial intelligence 2025-09-22T19:49:33.000000Z