形式化证明 – 量子位

形式化证明

形式化证明与大模型：共创可验证的AI数学未来｜量子位直播

本周四晚20:00，一起来聊聊AI数学吧～

林樾 2025-05-27

AI数学形式化证明论文

加载更多

热门文章

去年归国的徐梦迪，成了清华姚班班主任

AI本地部署不如官方版的元凶找到了：734个依赖包，每一个都可能坑

Claude开始训练Claude！4美元一小时，跑赢150美元人类研究员

20ms把PDF变成Markdown！开源OCR神器快了近300倍

Coding不再是程序员专属！阿里Qoder这波有点绝