形式化证明 – 量子位

形式化证明

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

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

林樾 2025-05-27

AI数学形式化证明论文

加载更多

热门文章

OpenAI推理之父最新访谈！数学只是多智能体时代的开胃菜

DeepSeek知乎独家发文，首次公开V4.1 Agent训练“大本营”DSec

OpenAI光速上新GPT-6.1 Sol！一晚上25项更新，都在这里了

DeepSeek官方开源昇腾基础组件，与昇腾共建高效易用的AI芯片软件生态

Manus 2.0回来了！给AI配手机号和钱包，还能拉群干活