形式化证明 – 量子位

形式化证明

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

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

林樾 2025-05-27

AI数学形式化证明论文

加载更多

热门文章

马斯克宣布：量产脑机接口，手术全自动化

「北京版幻方」冷不丁开源SOTA代码大模型！一张3090就能跑，40B参数掀翻Opus-4.5和GPT-5.2

AI正在占领你的视频推荐流

这里还有8个“Manus”：1亿美元ARR，都是ToC

中国“人造太阳”突破密度极限，聚变点火迎来新路径 | Science子刊