注册    登录   
今天看啥  ›  专栏  ›  机器之心

7B级形式化推理与验证小模型，媲美满血版DeepSeek-R1，全面开源！

机器之心  · 公众号  · AI  · 2025-03-08 12:18
    

原文地址： 访问原文地址
总结与预览地址：访问文章预览/总结
文章地址： 访问文章快照
推荐文章
爱可可-爱生活  ·  【当数学证明超越人类理解，真理还属于我们吗？】菲尔兹奖得主陶哲轩-20260820071548
14 小时前
新智元  ·  离谱！晒出Claude退订截图就送你200刀：Cursor抢人抢疯了
昨天
AIGC视界  ·  AI 编程工具学不完？根本不是你的问题，是缺一套能打的实战体系
昨天
量子位  ·  奥特曼瘫坐叫停“GPT-6”训练！太强触发最高安全警报
昨天
爱可可-爱生活  ·  【DeepSeek V4不缺智商，缺的是一套“工作流管理”】De-20260818210207
2 天前
5G与6G  ·  通感一体化空口关键技术研究报告
1 年前
科技日报  ·  半价、免票！全国多景区官宣
1 年前
飞石投研  ·  飞石期货复盘（4-29）放假了~
1 年前
蔚蓝轨迹 Rail  ·  【新签】阿尔斯通获超3亿欧元地铁现代化改造合同/斯洛伐克RS Lease首购非西门子交通机车/澳大利亚1500米铁路侧线建设合同
1 年前
关于   移动版   ·   TodayRss海外   ·   RSS之家   ·   卧龙AI搜索
今天看啥 - 公众号rss, 微信rss, 微信公众号rss订阅, 稳定的RSS源
© 2025 ~ 沪ICP备11025650号