「国内大厂」共找到 5345 篇相关文章
英伟达巧用8B模型秒掉GPT-5，开源了
英伟达携手港大开源Orchestrator-8B小模型，在HLE测试中分数超GPT - 5，成本低且速度快。它靠ToolOrchestra训练法，协调工具解题。此赛道已有多项研究，小模型实用优势明显。
99个最佳免费AI编程智能体与平台，2025年11月最新版
文章介绍了 99 个免费 AI 编程智能体与平台，含神级工具、国内科技巨头产品等类别。这些工具永久免费、开源或有云积分，适合学生、开发者等，能以 0 成本获得生产级 AI 编程技术栈。
百度CTO王海峰：AGI曙光已现，Scaling Law仍有效｜新智元十周年峰会
新智元十周年峰会，百度CTO王海峰分享AI发展。回顾十年，从AlphaGo到如今大模型爆发，AGI曙光已现。他指出AI具通用性和全面性，百度内部超45%新增代码由AI生成，Scaling Law仍有效。
刚刚！Thinking Machines Lab ｜ 长文揭开LLM推理不确定性真相！
Thinking Machines Lab发布《克服LLM推理中的不确定性》，揭示大语言模型推理不确定性原因，并非“并发 + 浮点”假设那么简单，主要是负载及batch size不确定所致，还给出让核函数有批次不变性的方法及实验结果。
估值200亿，小米、宁德时代看中的半导体独角兽冲刺IPO
6月30日，芯迈半导体递表港交所拟上市。该公司专注功率半导体，获小米、宁德时代等投资，估值达200亿。不过近三年营收下滑、亏损加大，依赖大客户，此次IPO有“输血”意味，扭亏是核心问题。
内存涨价，千元机的天塌了
去年下半年起存储芯片涨价，因AI基础设施需求爆发，三大存储芯片厂产能被榨干。消费级产品供应受挤压，中低端手机成最大受害者，各厂商搁置低价产品线，中低端市场持续萎缩。
通用LLM压缩算法，居然藏视频编码里！2.5bit实现4bit性能，硬件无缝支持
LLM.265研究发现，视频编码器是高效的大模型张量编码器，现成视频编解码硬件压缩AI模型数据效率高。它灵活控制码率、可压缩多种张量，还能利用GPU硬件加速。实验显示其压缩效果显著。
Kimi K2发布两天即“封神”？80%成本优势追平Claude 4、打趴“全球最强AI”，架构与DeepSeek相似！
国内独角兽月之暗面发布开源模型 Kimi K2，推出两天就在 OpenRouter 超越 xAI 的 Grok 4。它成本优势大，能力泛化和实用性强，编码、Agent 工具调用等方面表现出色，架构与 DeepSeek 相似。
碾压DeepSeek V3！开源AI Agent专属模型，1万亿参数、工具使用能力超强
国内大模型平台月之暗面开源了模型Kimi - K2，这是混合专家模型，总参数1万亿。它针对AI Agent优化，工具使用能力强。测试显示其性能碾压DeepSeek V3等模型，训练流程还有独特技术创新。
小扎千亿挖人名单下一位：硅谷华人AI高管第一人
扎克伯格带队重金诚聘AI人才，还想召回旧部。其中Bill Jia是硅谷大厂AI领域职级最高华人，2023年从Meta转投Google。Meta今年Llama 4发布遇挫，正重组团队、成立实验室并大量挖人。