热点
"形式化数学" 相关文章
AI+形式化数学：是什么、为什么以及怎么做 | 周三加餐·AI for Math读书会
集智俱乐部 2025-03-12T13:42:01.000000Z
对话DeepSeek研发团队前成员辛华剑：如何用大模型把数学家从细节中解放出来｜甲子光年
甲子光年 2025-02-20T16:24:45.000000Z