花30秒用manim代码制作解释勾股定理的动画,一次完成无错误。

为了玩上这样的模型,有人花上10多万元,组7台M4 Pro Mac mini+1台M4 Max Macbook Pro的家用超算。

总计496G显存(64*7+48),才能跑起个4bit量化版,但属实算得上“家用AGI”配置了。

另一个极端是选择R1数据蒸馏版Qwen 1.5B小模型,小到浏览器就能跑,每秒能输出60个tokens。

与此同时,各种榜单也在抓紧测试,纷纷跑出了结果。
R1正横扫各大榜单。
首先是LiveBench,与LiveCodeBench一样,题目是随时间更新的,所以相对受认可。
R1的表现在o1-preview到o1之间,其中只有数据一项超过o1。

不过再带上成本成本约1/30这个条件看,又是不一样的感觉,给老哥整无语了。
唯一的抱怨是上下文窗口太短。

o1系列一战成名的ARC-AGI,测试结果分为公开数据和私有数据两部分。
DeepSeek R1在私有数据上解决了15.8%的问题,与DeepSeek-V3相比翻倍还多。
公开数据上更是解决了20.5%的问题,与DeepSeek-V3相比上涨约46%。

总的来看,DeepSeek-R1表现与o1-preview相近,但稍低。

但同样,带上几毛钱就能解决一道题,o1系列至少要10块钱这个背景来看,又是不一样的感觉。

考验任务规划能力的PlanBench,同样的剧本再次上演。

在开发者Xeophon自己的个人测试上,甚至超过了o1-preview。

同一个测试上,R1数据蒸馏的Qwen 32B,与DeepSeek-V3,GPT-4o和Gemini Flash处于同一水平。

最后,还有人从中看到新的创业机会。
谁来构建一个平台,能轻松地在DeepSeek R1上进行OpenAI风格的强化微调。
至少在短期内,是一个巨大的机会。
R1在正确数据和微调方法下,可能在特定任务上大幅提升。

参考链接:
[1]https://x.com/alexocheema/status/1881561143736664180
[2]https://x.com/reach_vb/status/1881809400995934640
[3]https://livebench.ai/#/[2]https://x.com/arcprize/status/1881761987090325517
[4]https://x.com/TheXeophon/status/1881443117787984265
三星计划在2025年大幅削减其晶圆代工部门的投资规模,设备投资预算削减幅度达到50%
5.6Tbps DDoS攻击刷新世界记录!被成功防下来了
华硕与AdGuard达成合作:支持Wi-Fi 7的路由器中内置AdGuard DNS服务
高通骁龙8 Elite 2将继续由台积电代工:将支持ARM的SME指令集
希捷推出Exos M 36TB:Exos M 3+平台,实现每TB功耗减少60%的卓越能效
三星电子的第六代10纳米级1c DRAM制程开发进度出现延迟
玄派P2系列鼠标发布:全系内置500mAh电池,支持有线、2.4G无线和蓝牙三模连接
华硕推出TX GAMING B860M WIFI天选主板,首发到手价为1419元
量产卷轴屏笔电登场,英特尔、AMD、英伟达以及高通等厂商相继公布全新的产品



