「数学专业团队」共找到 3975 篇相关文章
坚决不用行业标准AGENTS.md，Claude Code惹来“封杀令”：Anthropic终于回应了，但开发者更气了
当所有AI编程工具向行业标准靠拢时，Anthropic的Claude Code拒绝支持AGENTS.md格式，引发Shopify CEO公开威胁。开发者多次要求其支持该格式无果，Anthropic回应未让开发者满意，引发争议升级。
大模型推理加速全链路：内存管理、编译优化、量化与并行策略
本文整理自金煜阳博士在QCon大会分享。介绍大模型推理挑战，如规模增大、架构复杂。阐述算子优化、内存管理、量化、异构调度和并行优化方法，还介绍开源推理引擎赤兔在国产芯片的实践成果。
北大联合阶跃星辰提出TensorCast：统一可编程管理大模型张量，推理「首字延迟」最高降低93.2%
随着模型规模增长、新应用兴起，大模型基础设施面临管理「张量状态」挑战。北大、阶跃星辰与北邮联合提出 TensorCast，解耦张量状态，复用管理能力，在多场景测试中表现出色，为大模型基建提供新范式。
100亿美元押注AI：红杉换帅后，寻找“白天鹅”
2026年8月，红杉资本募得约100亿美元。新掌舵人林君睿和帕特接受专访，称当下是“白天鹅”市场。此前红杉经历领导层更替，新团队调整投资决策，还补仓Anthropic，布局AI多环节。
因果发现大模型迎来「理论破局」： DAG-FM 破解异质机制下的因果图识别与涌现难题 | GAIR Paper 116
浙大、清华与稳准智能联合发布因果发现大模型DAG - FM，解决了现有模型缺乏理论基础、易产生非法环路和显存爆炸问题。它在理论上证明因果图可识别，架构上避免环路，处理数据能力强，还将推进特定领域预训练。
2026「中国 AGI 创新影响力机构 TOP 30」发布
过去一年 AI 行业变化溢出模型层，Coding Agent 铺开，视频生成实现商业变现，具身智能供应链成型。Founder Park 从四维度选出「中国 AGI 创新影响力机构 TOP 30」，涵盖多领域团队。
马斯克宣布：Grok学会看片了！无字幕看懂陶哲轩菲奖级难题
马斯克宣布Grok可分析任何视频。它能对伪造视频鉴假溯源，但也有处理画面靠字幕、有幻觉问题和效果不稳定的缺陷。实测中它能理解无字幕视频，还整理访谈内容。这功能虽便利，但引发人类能力退化担忧。
王炸！模型越接越乱，2.9 万 Star OmniRoute 把 290+ 个 AI 供应商压成一个入口
现在接入AI工具麻烦，换模型要改配置，额度、接口等也有问题。OmniRoute是开源AI Gateway，将多家模型供应商统一到一个入口，支持290+ providers等，可解决接入混乱问题。
Loop世界模型论文登顶Hugging Face，来自中国一家初创，周鸿祎陆奇都投了
Prompt还没退场，Loop已开始接管AI叙事。Loop Engineering突然爆火，而Looped World Models（循环世界模型）技术含金量更高，其论文登上Hugging Face Papers当日Top1。该论文由中国初创公司脸谱心智完成，成果显著。
OpenAI 和 Anthropic “杀”红了眼，谷歌成为最大受害者
6月AI人才市场，谷歌7天内损失四位技术元老，分别加入OpenAI和Anthropic。这引发外界关注，有人质疑谷歌AI处境。DeepMind CEO哈萨比斯回应称，判断AGI竞赛输赢不能只看短期，谷歌仍有优势。