热点
"形式化" 相关文章
陶哲轩重写20年本科经典教材！Lean编程数学证明，GitHub已放出
智源社区 2025-06-02T10:17:58.000000Z
陶哲轩转发！DeepMind开源「AI数学证明标准习题集」
智源社区 2025-06-01T04:23:38.000000Z
陶哲轩携AI再战数学！o4-mini秒怂弃赛，Claude 20分钟通关
智源社区 2025-05-15T12:44:12.000000Z
Alignment Needs Geniuses
少点错误 2025-04-21T17:32:46.000000Z