「AI生成数学」共找到 11096 篇相关文章
算力租赁要变天了
去年华尔街就算力巨头折旧问题起争议，大空头Michael Burry称其通过延长AI服务器折旧周期虚增利润。随着英伟达GPU迭代周期缩短，折旧时间应缩短。Coreweave靠出租GPU盈利，以其为抵押物的巨额贷款引发争议。Meta出租闲置算力或冲击Coreweave等公司。
Kimi K2.6背后的Agent Database：Agent-native 时代的数据 Infra 竞争，跟过去 30 年有何不同
TiDB Cloud 成 Kimi K2.6 供应商，为其 Agent 建站服务提供支持。Kimi K2.6 由 Agent 完成在线应用构建，与其他 AI 建站应用不同，它全托管且用户无需技术背景。该合作解决了成本和基础设施难题，展现了 Agent-native 时代数据 Infra 竞争的新特点。
谷歌全线开挂！Gemini 3 Deep Think夺多项推理SOTA，Gemini亚洲新团队也官宣了
谷歌的Gemini 3 Deep Think模式正式上线，推理能力显著加强，在ARC - AGI、HLE等多项权威测评中夺魁，仅向Google AI Ultra订阅用户开放。同时，谷歌DeepMind将在新加坡成立新的Gemini研究团队，由95后华人科学家Yi Tay带队。此外，谷歌还推出了Google Workspace Studio。
Claude时代终结？LMArena实测DeepSeek R1编程得分超Opus 4，但月暗称其新模型更胜一筹
在闭源模型主导的AI环境下，开源的DeepSeek - R1（0528）在LMArena测试中表现亮眼，编程得分超Claude Opus 4，引发社区关注与讨论。不过LMArena曾被指责偏袒，其联合创始人反驳。此外，月之暗面新模型Kimi - Dev - 72B编程成绩超R1。
全行业两年攒下百万小时数据，影溯想 1 个月生产完：全国首个具身仿真数采中心落地杭州
空间智能公司影溯在杭州落地全国首家具身仿真数采中心，试图摆脱依赖人工实拍的传统数采，目标实现月产百万小时级的机器人训练数据。
把黄仁勋的小黄鸭训练放在本地！国产端侧600T算力即将到来
国产 GPU 厂商天数智芯展示端侧设备彤央 TY1200，标称算力 300 TOPS，可在本地完成机器人仿真训练全流程，实测大模型吞吐超越英伟达 Thor T5000。
阿里巴巴与Apple达成合作，将千问集成至Apple智能
阿里巴巴与苹果达成合作将千问接入 Apple 智能，中国用户可在 Siri、写作工具及视觉智能中直接调用，12月随系统更新正式向中国用户推出。
王小川：医疗行业对大模型有三大刚性要求，但通用模型一条都不达标
5月22日百川智能展示医疗大模型Baichuan - M4与AI家庭医生「百小医」。王小川指出通用大模型用于医疗有问题，医疗对大模型有低幻觉、强循证、会提问的刚性要求，而通用模型不达标。Baichuan - M4表现出色，百小医也有独特定位和优势，且与三家顶尖医院合作成果显著。
清华&智谱唐杰HarnessPro：更强，更便宜
清华大学与智谱唐杰团队开源 Agent 运行层优化框架 HarnessPro。它通过自动调整外部执行策略，在代码修复基准 SWE-Bench Pro 上将单任务成本降低 53%。
Google让大模型学会睡觉！千万Token长文本实验，知识写进参数
Google Research提出持续学习框架Sleep，让大模型在离线睡眠阶段把短期记忆转化为长期参数。测试中，问答准确率从31.9%提高到48.9%。