形式化证明 – 量子位

形式化证明

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

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

林樾 2025-05-27

AI数学形式化证明论文

加载更多

热门文章

爱诗科技完成3亿美元C轮融资，鼎晖领投，开启“实时交互”视频生成新纪元

499上门装龙虾的人，开始赚299卸载龙虾的钱了

国内唯一入选的 AI 浏览器！QQ浏览器登上 a16z 全球 AI 应用榜单

阿里云发布手机“一键养虾”产品JVS Claw：3分钟实现养虾自由

全球首款手机龙虾秒光，OpenClaw创始人称愿与百度共同开发龙虾