形式化证明 – 量子位

形式化证明

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

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

林樾 2025-05-27

AI数学形式化证明论文

加载更多

热门文章

GPT-5.4意外泄露！OpenAI最新模型瞄准这2大能力突围

@所有人，2026真的需要自己上手用AI了丨年度AI盛会

大模型越聪明，学习机越抢手：科大讯飞T90 Pro定义「真」个性化

阿里千问大模型换将，32岁林俊旸官宣告别

苹果春季新品奔着龙虾来了！AI性能暴涨8倍，8499元起