形式化证明 – 量子位

形式化证明

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

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

林樾 2025-05-27

AI数学形式化证明论文

加载更多

热门文章

WPS笔记正式发布：AI贯穿记录、整理与复用全过程

100亿砸向人形，不如先让10万台机器狗走进家庭

有人靠CPU把AI算力密度卷到了新高度

腾讯想让企业打开AI的方式只剩一个

B站宣布启动AI创造公开赛打造中国版Build in Public