形式化证明 – 量子位

形式化证明

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

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

林樾 2025-05-27

AI数学形式化证明论文

加载更多

热门文章

2026年世界人工智能大会，7月17-7月20上海举办

GPT-5.6一小时解开50年数学猜想，700词Prompt驾驭64个子Agent

中国首个十万卡集群落成！全国产算力支撑“十万卡时代”

中国首个十万卡集群落成！全国产算力支撑“十万卡时代”

老黄RTX Spark真机现身Bilibili World！CPU和GPU直接焊在一起，笔记本跑120B大模型