跳到正文

技术方向

数据与训练 最新动态

训练侧的门道:数据集构建、合成数据、预训练与后训练方法、算力与训练成本。

16 条精选近 30 天 16 条共收录 88 条

更新

数据与训练的精选

今天10月16日周五第 1–16 条
  1. Google DeepMind62

    Google DeepMind 用 Google Antigravity 加速抗菌肽发现

    Google DeepMind 介绍其智能体开发平台 Google Antigravity 如何用于抗菌肽发现,把原本分散在多个数据库的检索压缩到一次会话中。平台借助 ProtNLM 模型从氨基酸序列预测生物功能,扫描 UniProt 中数百万条此前未表征的蛋白质,并找到一条对呼吸道感染相关病原体有预测活性的新型抗菌肽候选,目前正进行湿实验验证。

    推荐理由:原文给出智能体科研工作台与 3D 结构查看器的协作方式,读者可据此判断生物发现流程如何被压缩进单次会话。

10月15日周四
  1. The Decoder84

    GPT-6-Astra 在 TheoPhysEval 上解出 50 道物理研究题中的 49 道,单题成本不到 3 美元

    一项新基准测试让商用 AI 智能体在无人类提示下解答理论物理研究题,运行在 OpenAI Codex 环境中的 GPT-6-Astra 答对 50 题中的 49 题(98%),平均单题成本不到 3 美元,整套基准约 116 美元。

    推荐理由:这份基准把日常科研计算交给商用智能体实测,并给出各模型得分与单题成本,可对照自身研究流程。

  2. Latent Space78

    Modal 年化收入达 10 亿美元,完成 15.75 亿美元 D 轮融资

    Modal 年化经常性收入突破 10 亿美元,以 157.5 亿美元估值完成 7.5 亿美元 D 轮融资,由 Accel 领投,用量同比增长超过 15 倍。其 2023 年推出的 Sandboxes 产品目前单独年化收入约 3 亿美元,累计启动近 30 亿个沙箱,可扩展至百万级并发,用例覆盖后台 Agent、强化学习和 vibecoding 平台。

    推荐理由:Modal 以 10 亿美元年化收入和 157.5 亿美元估值完成 D 轮,可对照其沙箱产品三年来的用量增长。

  3. 雷锋网84

    上海AI实验室书生-S2助力三维Ghys猜想证明并通过Lean形式化验证

    上海人工智能实验室访问学者许地生团队依托书生科学多模态大模型S2,通过人机协同完成三维Ghys猜想证明,北京大学董彬、刘若川团队用SHEAF框架完成全部四个主定理的Lean形式化验证。攻关中书生-S2完成7批接续推演,问题图从15个节点扩展到389个,输出上千页推导;形式化验证约5天、峰值100个智能体并行、产出约55万行Lean代码。相关论文已发布在arXiv,形式化代码在GitHub公开。

    推荐理由:读者可看到人机协同攻关数学难题的完整流程,以及形式化验证如何为AI产出的证明提供严格检查。

  4. 雷锋网78

    华为首款逻辑折叠芯片麒麟9050量产,Mate 90 Pro Max端侧可跑30B MoE模型

    华为在终端创新技术沟通会上披露,首款量产逻辑折叠芯片麒麟9050 Pro已随Mate 90系列落地,通过跨层布局缩短关键路径,晶体管密度提升53.5%。对比搭载麒麟9030 Pro的Mate 80 Pro Max,Mate 90 Pro Max的CPU主频提升12.7%、性能提升25%,GPU性能提升40%、功耗降低45%,NPU算力提升140%、功耗降低66%。

    推荐理由:华为首款量产逻辑折叠芯片麒麟9050 Pro的技术细节与实测数据,可了解跨层布局如何转化为端侧AI与影像能力。

10月14日周三
  1. Latent Space78

    Dyna 联创 Jason Ma 谈 Dyna-2:百万小时人类视频预训练的世界动作模型

    Dyna Robotics 联合创始人兼首席科学家 Jason Ma 在 Latent Space 播客中介绍了 Dyna-2 世界动作模型,该模型在超过一百万小时人类视频上预训练,能预测未来视频并据此生成机器人动作,架构为 diffusion transformer 加 flow matching。

    推荐理由:Dyna 联合创始人详解世界动作模型如何用百万小时人类视频预训练,并给出真实部署与硬件瓶颈的一线判断。

10月9日周五
  1. The Decoder82

    数学家呼吁抵制 OpenAI,AI 生成证明涌入数学界

    数学界部分人士呼吁抵制 OpenAI,起因是 OpenAI 一次性放出 700 多个文件,声称内部模型一个月内解决了 100 多个未解数学问题。菲尔兹奖得主 Terence Tao 在博客转发相关声明并提出 Math 2.0 时代,认为解题不应再是该学科的主要衡量标准;Scott Aaronson 则称这一局面为 Mathocalypse。

    推荐理由:数学界对 OpenAI 批量放出 AI 证明的抵制与 Tao 的 Math 2.0 判断,呈现 AI 冲击基础学科的一种具体路径。

10月8日周四
  1. Microsoft Research66

    微软研究院开源 Agent Lightning v1.0:3500 行轻量级智能体 RL 框架

    微软研究院开源 Agent Lightning v1.0,一个约 3500 行代码的轻量级智能体强化学习框架,提出 Harnessed Agentic RL 范式,让部署时使用的同一 agent harness 直接参与训练,无需在训练框架内重新实现智能体。

    推荐理由:微软研究院开源 Agent Lightning v1.0,给出真实 harness 参与 RL 训练的思路与 3500 行代码实现,可迁移到自有智能体训练流程。

10月7日周三
  1. Latent Space88

    OpenAI 内部模型发布 722 篇数学手稿,称解决 500 个公开数学难题中的 90 个

    OpenAI 从一个未公开的内部前沿模型发布了一批数学成果,公开在 GitHub 仓库中,包含 722 篇手稿、分为 372 个相关结果族,来自约 4000 道研究问题的评测,平均每个结果约用 3 小时 ChatGPT Pro 思考算力。

    推荐理由:OpenAI 内部模型一次产出 722 篇数学手稿,读者可据此了解 AI 做数学的规模、算力成本与外界质疑。

10月6日周二
  1. The Decoder80

    宁德时代与腾讯领投 DeepSeek 新一轮融资,公司计划 2027 年 IPO

    据 Bloomberg 报道,DeepSeek 即将完成至少 120 亿美元的新一轮融资,宁德时代和腾讯出资份额最大,最初目标约 75 亿美元、估值约 750 亿美元,最终总额可能接近 150 亿美元。

    推荐理由:DeepSeek 融资规模与投资方阵容的变化,以及 2027 年 IPO 计划,可帮助读者判断其资金与算力布局走向。

9月30日周三
  1. Google DeepMind60

    Google DeepMind 推出 SynthID Bio,为 AI 生成蛋白质嵌入可验证水印

    Google DeepMind 发布 SynthID Bio,将水印技术引入合成生物学,把不可感知的签名直接嵌入生物代码,使水印不仅能在数字模型上验证,也能在合成出的实体蛋白质上验证,同时保持其生物功能。

    推荐理由:SynthID 水印从图像扩展到合成生物,读者可了解 AI 生成蛋白质的可验证溯源思路与落地边界。

9月29日周二
  1. Microsoft Research66

    微软研究院推出 Quine:面向生物学复杂性的 AI 研究系统

    微软研究院发布 Quine,一个面向生物学复杂性的 AI 研究系统,由跨模态生物世界模型和连接科学工具、文献、湿实验与研究者的交互式 harness 组成。该系统与 Broad Institute 合作用于胰腺导管腺癌研究,从数千个化合物中筛选出可驱动肿瘤细胞状态转变的候选物,最高排名化合物在湿实验中产生了最大的预期状态转变,整个筛选到验证过程仅用一个周末。

    推荐理由:微软研究院公开 Quine 的生物世界模型与实验闭环,并给出胰腺癌化合物筛选的湿实验验证结果。

  2. TechCrunch · AI80

    AMD 将以 82 亿美元收购李飞飞的 World Labs

    AMD 宣布以 82 亿美元收购 World Labs,后者专注理解物理现实的深度学习模型。World Labs 创始人李飞飞将加入 AMD 出任执行副总裁兼首席科学家,双方去年已建立推理优化与训练合作。World Labs 首款产品 Marble 可用于制作娱乐体验,也能生成机器人训练所需的模拟环境,交易预计在年底前完成,尚待监管批准。

    推荐理由:这笔 82 亿美元收购把世界模型与芯片路线绑在一起,读者可据此观察 AMD 与 Nvidia 在 AI 芯片生态上的竞争走向。

9月22日周二