形式化证明 – 量子位

形式化证明

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

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

林樾 2025-05-27

AI数学形式化证明论文

加载更多

热门文章

智谱新模型，490 tokens/s！

DeepSeek Bot来了！民间版，DSH装个插件就能用

超清双2亿，掌中电影机，荣耀Magic9 系列正式发布，售价4499元起

TRAE终于把Code和Work合并了

何恺明团队发布多模态Harness框架