Deepseek发布新模型​​​这啥？介绍还是空的。deepseek真要在节

又仁看科技 2025-04-30 17:53:40

Deepseek发布新模型 ​​​ 这啥？介绍还是空的。deepseek真要在节前发模型了？[哆啦A梦吃惊]

huggingface.co/deepseek-ai/DeepSeek-Prover-V2-671B

DeepSeek-Prover-V1.5是专为 Lean 4 定理证明设计的开源语言模型。V2应该是其升级版。DeepSeek-Prover-V1.5的介绍： 用大模型把数学家从细节中解放出来

AI创造营 ​​​

0 阅读：1

猜你喜欢

又仁看科技

又仁看科技

感谢大家的关注

作者最新文章

1
 [doge]deepseek说的对啊，原来俺这么优秀
2
一个java教学项目：mini-cat ,简易版本的 tomcat 实现。git
3
一个开源的 Markdown -> 公众号排版的工具github.com/tia
4
Transformer教学项目：fun-transformergithub.co
5
一篇关于提示工程（Prompt Engineering）的综述论文arxiv.o
6
huggingface发布了交互式电子书《超大规模实战手册：在 GPU 集群上训
7
开源电子书《高并发的哲学原理》课在线阅读和下载pdf：pphc.lvwenhan
8
每个SRE工程师都应该知道的知识系列： biriukov.dev/这个网站上作者
9
Kimi似乎节奏和DeepSeek同步起来了，上次发kimi1.5时间和deep
10
"2024 YR4"小行星在2032年撞击地球的概率上升到 3.1%

热门分类

推荐 热榜 军事 NBA 体育 社会 明星八卦 娱乐 财经 科技 汽车 历史 国际 游戏 动漫 公益 搞笑 商业 互联网 数码 国际足球 房产 家居 时尚 科学探索 职场 育儿 股票 教育 影视 情感 热点 中国军情 武器 中国南海 中国足球 亚洲杯 科比 综合体育 CBA 投资 楼市 大咖秀 外汇 创业 风口 SUV 豪车 概念车 优惠 新能源 美国 欧洲 朝日韩 俄罗斯 孕期 街拍 恋爱攻略 婚姻 正能量

科技TOP

1
说刘强东作秀的，你们让王兴也秀一个噻，或者你们自己做一天体验一下。一个千亿身价的
2
曝iPhone19Pro外形颠覆现在就已经预测了，2027年的iPhone1
3
这么老的苹果还在用​​​
4
上强度了！某些APP装傻充愣，就是不兼容鸿蒙系统，死抱着安卓。工信部看不过眼了，
5
手机续航排行榜！便宜手机电池越来越大，这是什么套路？手机​​​
6
格力电器董明珠董事长的“海归论”，遭到一些人的批评和质疑，个人觉得大可不必。
7
刚刚！#一加13T#首销10分钟破两亿！这手机我也用了几天，最大的感受是真爽，单
8
预算2000元适合买什么手机？这次机型供参考，性价比和当年小米1999不相上下。
9
好消息好消息好消息，国行三星GalaxyZFold6已获得OneUI7更
10
3大家有没有想换手机3000元左右三台非常不错的手机大家关注了没有真我G

科技最新文章

1
刚刚！#一加13T#首销10分钟破两亿！这手机我也用了几天，最大的感受是真爽，单
2
#家长可一键启动APP未成年模式#【#移动互联网未成年人模式发布#】4月29日上
3
现在的手机续航就是个"数字魔术秀"！厂商把电池从5000mAh吹到7500mA
4
今天遇到个美团骑手，我顺口问：“京东外卖都给交五险一金了，你们怎么不跳槽过去？”
5
小米时隔十年重夺中国智能手机第一刚看到这个消息，小米之前几年都是全球第三，国内第
6
老婆买的华为Mate70仅仅只用了2天就给我了，她说不适合她，我心里暗暗窃喜，
7
雷军没有说谎，这已经不是挑衅了！台积电和美国现在都想余承东给一个解释，因为通过拆
8
国内三大旗舰手机已发布谁才是你心中最强的Ultra手机​​​
9
太拼了！荣耀GTPro刚发布两天，系统更新直接甩出王炸！4月25日推送的Mag
10
华为二小姐，华为二小姐