"形式化证明"最新资讯 | 量子位

形式化证明

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

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

林樾 2025-05-27

AI数学形式化证明论文

加载更多

热门文章

2.4万亿参数原生全模态，文心5.0一手实测来了

李飞飞最新长文火爆硅谷

机器人“会用手”了！银河通用首破手掌任意朝向旋转难题

这届清华特奖机器人含量爆表！丘成桐（国内版）现身点评

稚晖君最新188机器人，阅后撤回了