跳到正文
10月15日周四
  1. IT之家80

    中国科学家首次用书生-S2大模型攻克三维Ghys猜想

    上海人工智能实验室访问学者许地生团队依托书生科学多模态大模型S2,通过人机协同完成了困扰数学界30余年的三维Ghys猜想证明,相关论文已在arXiv发布,形式化代码在GitHub公开。北京大学董彬教授、刘若川院士团队利用SHEAF框架对证明完成形式化验证。

    推荐理由:中国科学家首次使用书生-S2大模型完成三维Ghys猜想证明,验证了人机协同解决世界级数学难题的新范式。

  2. TechCrunch · AI70

    Ricursive Intelligence 开发AI设计芯片技术应对算力危机

    Ricursive Intelligence 创始人 Anna Goldie 和 Azalia Mirhoseini 在 TechCrunch Disrupt 上展示了其AI芯片设计技术,该技术可自动化和加速芯片设计过程。他们开发的AI系统能够从迭代中学习并改进设计,发现非常规布局以超越传统方法,如之前开发的AlphaChip系统产生的环形芯片布局。

  3. 钛媒体80

    Anthropic推出自研代码管理系统Scion

    Anthropic以7名工程师、5个月时间从零构建内部版本控制系统Scion及配套代码审查工具Antique,成功将整个单体代码仓库从Git整体迁移。Scion针对AI编程带来的合并量暴涨(4个月增长12倍)进行了优化,采用'客户端永远在线'设计,基础设施占用比旧Git镜像方案少约200倍,检出速度由分钟级降至秒级。

    推荐理由:Anthropic自研Git替代品Scion,揭示了AI编程带来的代码管理挑战与解决方案。

10月14日周三
  1. IT之家55

    SK海力士预测:到2030年AI基础设施性能规模将增长约20倍

    SK海力士开发总管安炫在韩国半导体大展上预测,到2030年AI基础设施性能规模将增长约20倍。他指出AI推理市场在任务复杂度、上下文长度和推理请求量三个维度快速扩张,导致存储器需求激增,特别是KV Cache容量膨胀成为性能瓶颈。SK海力士正推进3D堆叠DRAM和高带宽闪存HBF等下一代存储技术研发,目标是将HBF带宽做到同代HBM的50%左右,同时实现约10倍容量扩容。

  2. Latent Space70

    Google 发布 Gemini 4 Argon 模型

    Google 发布了 Gemini 4 Argon 模型,面向编码、知识工作、企业工作流和网络安全防御。该模型通过 Gemini API、Gemini 平台、Google AI Pro 和 Ultra 以及 Gemini 应用中的 AI 模式提供访问。定价为每百万输入/输出 token 2/10 美元,缓存输入可享受 95% 折扣。

  3. 钛媒体70

    Edge AI Daily 早报:AI行业动态与战略布局

    Edge AI Daily早报汇总了Google、Meta、OpenAI、英伟达等科技巨头在AI领域的最新动态,包括模型发布、资本投入、技术突破和市场反应。Google开放Gemini 4 Argon模型并大幅降价,Meta发布Muse Wonder模型并投入巨资,OpenAI推出GPT-6全球路由和交互界面,英伟达在欧洲追加20亿美元投资并参与OCP标准制定。

  4. Hugging Face Blog78

    LiquidAI 发布 LFM2.5-24B-A2B 推理模型

    LiquidAI 发布 LFM2.5-24B-A2B 推理模型,这是一个24B参数但仅2B活跃参数的模型,专为在设备上快速、私密运行智能体而设计。该模型在16项基准测试中表现出色,在工具使用和智能体工作流方面领先或匹敌更大规模的模型,推理速度在Apple M5 Max上达到184 tok/s,在NVIDIA B300 GPU上可达21K输出tok/s。

    推荐理由:模型以2B活跃参数实现推理能力,在设备上运行速度快且成本低,适合构建本地智能体。

  5. AWS Machine Learning Blog70

    AWS在Amazon SageMaker AI上实现MoE模型的内核工程优化

    AWS详细介绍了在Amazon SageMaker AI上对Mixture-of-Experts (MoE)模型的内核优化技术,包括Swap-AB矩阵转置优化、FP8张量量化后端路由选择以及Triton JIT重新编译消除等方法,这些优化使MoE模型在H200上实现了高达10%的吞吐量提升和9%的首个token生成速度提升。

    推荐理由:原文详细介绍了AWS在SageMaker AI上对MoE模型的内核优化技术,提供了具体实现方法和性能提升数据。