热点
"形式化证明" 相关文章
陶哲轩重写20年本科经典教材！Lean编程数学证明，GitHub已放出
硅星人Pro 2025-06-02T04:56:27.000000Z
形式化证明与大模型：共创可验证的AI数学未来｜量子位直播
智源社区 2025-05-29T02:27:56.000000Z
形式化证明与大模型：共创可验证的AI数学未来｜量子位直播
量子位 2025-05-27T04:36:10.000000Z
陶哲轩携AI再战数学，o4-mini秒怂弃赛，Claude 20分钟通关
36kr 2025-05-14T12:14:05.000000Z
Kimina-Prover 预览版：基于强化学习的大规模形式化推理模型
月之暗面 Kimi 2025-05-13T16:37:32.000000Z
DeepSeek-AI Released DeepSeek-Prover-V2: An Open-Source Large Language Model Designed for Formal Theorem, Proving through Subgoal Decomposition and Reinforcement Learning
MarkTechPost@AI 2025-05-01T19:55:40.000000Z
DeepSeek研究员在线爆料：R1训练仅用两到三周，春节期间观察到R1 zero强大进化
华尔街见闻 - 资讯 - undefined 2025-02-04T23:56:18.000000Z