低雷诺数」共找到 1362 篇相关文章

新闻资讯7

DeepSeek刚提到FP8,英伟达就把FP4精度推向预训练,更快、更便宜

DeepSeek提及针对国产芯片的FP8量化设计,引发对大模型量化策略关注。不久后英伟达发力精度量化,将NVFP4策略拓展到预训练阶段,其方案能解决核心挑战,实验证明NVFP4在大规模训练中可行。

机器之心
新闻资讯7

当微信支付开放MCP之后,我却有一点后怕。

微信开放微信支付MCP,补上智能体链路支付短板,使用门槛。作者分享体验,做了多个案例,如一周健康餐智能体。但全量开放或带来风险,如AI自主完成灰产闭环、AI骗AI钱等。

数字生命卡兹克
开源动态8

12.1万高难度学题让模型性能大涨,覆盖FIMO/Putnam等顶级赛事难度,腾讯上海交大出品

腾讯AI Lab与上海交大团队联合推出首个基于自然语言的学定理证明框架与据集DeepTheorem。12.1万道高难度学“特训题”让模型定理证明性能大涨,7B模型性能比肩或超越现有开源和商业模型。

量子位
产品应用7

Cursor改变了写代码的方式,云电脑改变了跑Cursor的方式

AI编程已成核心生产力,但Cursor等工具对硬件要求高,运行卡顿。问题不在电脑配置,而在于AI工具不应挤在常用电脑里。无影云电脑作为‘第二桌面’,能让AI在云端运行,与第一桌面互不干扰。

AI寒武纪
新闻资讯8

驾驭AI的人,才是穿越周期的竞争力|2026极客时间DTDS大会圆满落幕

2026年5月极客时间企业版联合《培训》杂志举办DTDS大会,四位产业一线实践者拆解企业AI转型难题。协鑫科技张诗笳给出AI人才培养体系;赵钰莹发布8大岗位AI技能图谱;广新集团李志刚分享创新加速三步法;黄林给出未来趋势判断与诊断模型。

InfoQ
产品应用8

实测!DeepSeek V4-pro是第一个接近Claude开源模型,前Meta研究员震惊

DAIR.AI创始人、前Meta AI研究员Elvis用DeepSeek - V4 - Pro在Pi框架搭LLM知识库,该模型开箱即用,完成知识密集型多步研究任务表现出色,在开源模型里Agent编程和推理能力强,架构设计让推理快且成本

AI寒武纪
产品应用8

豆包 Seed 2.0 来了:字节模型跨越鸿沟

春节前字节发布豆包大模型 2.0,其在 Text 领域进入榜单前十,视觉能力全球第四且成本。它定位多模态 Agent 模型,有多种能力升级,文中用多个案例展示其强大,还强调字节重原生能力非简单蒸馏。

MacTalk
新闻资讯8

黄仁勋手撕「AI泡沫」论!英伟达570亿铁拳暴击,显卡全断货

英伟达Q3 2026财报显示单季度营收达570亿美元,据中心业务同比狂涨66%。黄仁勋称AI不是泡沫,而是计算范式从通用CPU转向加速式GPU计算的必然。当前多AI公司估值高、收入,英伟达作为‘卖铲人’大获全胜。

新智元
新闻资讯8

Nature公开谷歌IMO金牌模型技术细节!核心团队仅10人,一年给AI编出8000万道学题训练

谷歌DeepMind的IMO金牌模型AlphaProof技术细节公开。团队规模小,核心成员是IMO金牌得主。它把学证明当游戏,用30亿参模型和改进树搜索算法。训练难题靠自动形式化解决,赛场用TTRL突破,已开放使用。

量子位
7

杨植麟预告,Kimi K3要来了

月之暗面团队海外AMA透露Kimi K3相关信息。K3或采用KDA架构,有成本优势;通过开源解决信任问题;将推出不同规格模型;产品打磨注重写作、视觉能力及NSFW内容探索。Kimi性价比模式或改写行业规则。

AI产品自由