DeepSeek 拉满了啊，瞄准推理能力狠狠发力。又开源了一个数学定理证明模型。通过构建类似 AlphaGo 的封闭图学习环境，在高中和大学的数学定理测试中都获得了非常好的结果。

发布时间: 2024-08-16 22:10:16

1分

数据加载中

关注推特

收听电报

2

1

0

DeepSeek 拉满了啊，瞄准推理能力狠狠发力。
又开源了一个数学定理证明模型。
通过构建类似 AlphaGo 的封闭图学习环境，在高中和大学的数学定理测试中都获得了非常好的结果。
IT技术
( twitter.com )

5个月前由歸藏(guizang.ai) 提交

点击图片查看原图

Markdown支持

评论加载中...

您可能感兴趣的：更多

1

2

1

1

DeepSeek好强哇，互联网搜索功能准确，而且快速，一点都不差 poe 和 kimi 啊。
IT技术
( twitter.com)

24天前 • Andy Stewart • -- 点击 0 评论

2

2

1

1

酷！DeepSeek刚刚开源了了DeepSeek V2.5的最终版微调模型： DeepSeek-V2.5-1210，新增联网搜索功能
提升了数学、代码、写作、角色扮演等能力
优化了文件上传功能
新增联网搜索功能
#DeepSeek #LLM
时政
( twitter.com)

1个月前 • AIGCLINK • -- 点击 0 评论

3

2

1

1

DeepSeek V3 预览版低调发布，但是非常牛逼。
一句话重点：编程能力超过 Claude Sonnet 3.5。
这还只是预览版。
测试的基准是 Aider 的多语言基准，一个用于衡量模型编程能力的基准，具体介绍放在图2，官网放到回复里了。
几个模型的得分
- 62% o1
- 48% DeepSeek V3 预览
- 45% Claude
- 38%
IT技术
( twitter.com)

26天前 • orange.ai • -- 点击 0 评论

4

2

1

1

在我整体的场景测试下，国内最强的两个模型分别是 Deepseek 和 Yi-Large，Yi-Large 的知识水平更高一些，但从指令跟随能力来说，Deepseek 要略强一筹。出于好奇，看了些 Deepseek 团队的访谈，感觉这真是极其另类的存在
IT技术
( wallstreetcn.com)

5个月前 • kevinzhow • -- 点击 0 评论

5

2

1

1

DeepSeek Chat 和 DeepSeek Coder 两个模型已经合并升级为新模型为 DeepSeek V2.5。这事奔学Claude 3.5去的。代码能量很强，价格骨折，随便造。
时政
( twitter.com)

4个月前 • Tony Zhu • -- 点击 0 评论

6

3

2

2

Deepseek 2.5 发布了，2.0 用了挺久的了，效果真的挺不错的，编程推理也是强项，而且最重要的是便宜，今天感受了下 2.5，感觉更强大了。
IT技术
( twitter.com)

2个月前 • Viking • -- 点击 0 评论

7

2

1

1

刚注意到Cursor（AI编程）软件，可以增加deepseek-coder模型了，这很好啊，可以用白菜价模型了。
时政
( twitter.com)

5个月前 • Michael Anti • -- 点击 0 评论

8

2

1

1

看来是deepseek？
IT技术
( twitter.com)

昨天 • 宝玉 • -- 点击 0 评论

9

3

2

2

不仅台湾战斗机瞄准并且随时准备击落中国侵略者的飞机；
台湾国的军舰也瞄准并随时准备击沉中国侵略者的舰艇。
时政
( twitter.com)

8个月前 • Inty热点新闻 • -- 点击 • 下载视频 0 评论

00:00:59

0.11304 Second , Gzip Enable.本网所有言论均来自网络，不代表本网站立场。联系方式: admin@bad.news

©2012.11.21 bad.news All rights reserved. 社区自动运营第 -- 年零 -- 天
This site is protected by reCAPTCHA and the Google Privacy Policy and Terms of Service apply.

关注推特