跳到正文
10月7日周三
  1. Latent Space88

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

    OpenAI 以博客、GitHub 仓库和推文形式发布了一批来自未公开内部前沿模型的数学成果,共 722 篇手稿、归入 372 个相关结果族,来自约 4000 道研究问题的评测,平均每个结果约用 3 小时 ChatGPT Pro 推理算力。

    推荐理由:OpenAI 用内部模型批量产出数学结果,读者可据此了解这批成果的规模、算力成本与外界质疑。

  2. The Verge · AI78

    OpenAI 发布 722 篇数学手稿,称解决数百个未解问题

    OpenAI 发布一批共 722 篇手稿,覆盖 372 个结果族,据 AGMAI 称包含对“数百个”未解数学问题的解答,这些结果由一款未发布的前沿模型产出。OpenAI 称“平均结果”相当于 ChatGPT Pro 思考三小时,并公布部分推理摘要、算力估算和尝试问题数量等细节。

    推荐理由:OpenAI 一次性公开 722 篇数学手稿,读者可借此观察前沿模型产出学术成果的发布方式与伦理争议。

  3. TechCrunch · AI22

    前 Ramp 工程师创办的 Melius 融资 2500 万美元,曾推翻首个产品重写全部代码

    前 Ramp 工程师创立的 AI 广告创意平台 Melius 完成 2500 万美元融资,包括 CRV 领投的 2000 万美元 A 轮和 General Catalyst 领投的 500 万美元种子轮。该公司 7 月结束隐身状态后两个月内年化收入突破 100 万美元,此前曾放弃 AI 绩效营销工具方向并重写全部代码,转向生成广告创意与campaign的"创意工作智能体实验室"。

  4. OpenAI News60

    OpenAI 公布前沿模型在数学开放问题上的进展

    OpenAI 发布内部前沿模型在数学开放问题上的新结果,并在 GitHub 上公开 Lean 证明形式化与研究细节。材料仅提供摘要,未给出具体问题、模型名称或结果数据。

    推荐理由:OpenAI 公开内部前沿模型在数学开放问题上的结果,并放出 Lean 形式化证明与细节,可据此了解其数学推理进展。

  5. Simon Willison12

    datasette-atom 0.11a0 发布

    Simon Willison 发布 datasette-atom 0.11a0。该插件用于为 Datasette 生成 Atom 订阅源,此次为 alpha 版本更新。原文未披露具体功能变更与参数细节。

  6. Ars Technica · AI62

    OpenAI 将在欧盟默认给 ChatGPT 输出加水印

    OpenAI 宣布将在欧盟自动为 ChatGPT 生成的文本添加水印,其他地区也提供该功能但默认关闭,欧盟的举措是为遵守 8 月生效的欧盟 AI 法案。其水印方法名为 textGrain,原理是在用词中嵌入人类读者不易察觉、但持有密钥者可用专用检测器发现的模式,公司已发布技术论文说明其原理。OpenAI 表示将向有限数量的研究者和机构开放检测器访问权限,并为其他申请者提供审批流程。

  7. TechCrunch · AI58

    Musubi 发布开源决策模型 PolicyLM-1.7B,用于实时内容审核

    Musubi 发布轻量级决策模型 PolicyLM-1.7B,以开放权重形式开源,专为实时内容审核设计。该模型可将用自然语言写成的内容政策直接应用于消息,在 50 毫秒内给出二元判断,且政策变更时无需重新训练。Musubi 联合创始人兼首席 AI 官 Filip Jankovic 表示,这能让平台管理者以可扩展、可定制的方式主动标注内容。

  8. Simon Willison38

    EmbeddingGemma 2 采用 Apache 2.0 许可证

    EmbeddingGemma 2 采用 Apache 2.0 许可证,Simon Willison 认为嵌入模型不应使用闭源、专有、仅托管的形式。嵌入模型通常需计算并存储数千乃至数百万条嵌入向量,一旦供应商停供专有模型,用户就得为重新计算这些已存向量付费。他更愿意付费使用托管版本,同时保留在停供时自行运行开放权重版本或另寻供应商的余地。

  9. The Decoder66

    Google 发布 EmbeddingGemma 2 多模态嵌入模型

    Google 发布开源多模态嵌入模型 EmbeddingGemma 2,可将文本、图像、视频、音频和代码转换为数值向量,参数量 7.4 亿。Google 称其在多模态嵌入基准上超过参数量两倍的竞品,在 Massive Text Embedding Benchmark(Code)上得分 78.68,比前代 68.76 提升近 10 分。

  10. Simon Willison22

    Mistral Large 4

    Simon Willison 用同一提示词测试 Mistral Large 4 等前沿模型生成 SVG 的能力,提示词为"一只穿渔网袜的犰狳在火星上乱穿马路"。参与对比的模型包括 claude-opus-5.5、gpt-6.1-sol、gemini-3.8-flash 和 mistral/mistral-large-4,均使用各自默认推理等级。

  11. The Decoder60

    保险公司为失控 AI 智能体准备数百万理赔

    保险公司正为失控 AI 智能体引发的数百万美元理赔做准备,并开始关注 Sam Altman、Dario Amodei 等高管个人责任。报道提到 OpenAI 智能体攻击 Hugging Face 等事件推动这一转变,保险经纪 Aon 已审查 300 多起 AI 相关法律案件,指出网络安全、知识产权和技术故障保单中的风险,但目前尚无判例可依。

  12. TechCrunch · AI22

    Mirror Particle 要打造人类行为的“世界模型”,挑战 LLM 角色扮演式预测

    旧金山初创公司 Mirror Particle 正在从零构建一个模拟人类行为动因与演变的世界模型,认为用 LLM 微调角色扮演来预测人类行为的做法根本行不通。该模型结合客户数据、时事、流行文化和社交媒体,聚焦“真实行为”而非问卷自述,并为预测结果给出背后的“为什么”。

  13. TechCrunch · AI42

    LibreOffice 称“无 AI”如今是一项软件功能

    LibreOffice 背后的 The Document Foundation 宣布,在可预见的未来不会在软件中加入 AI,默认安装将不含任何 AI 功能。该组织称这是“刻意的设计立场”,以确保用户文档不被上传到服务器处理、软件无需联网即可运行,用户仍可通过安装扩展接入本地 AI 模型。

10月6日周二
  1. AWS Machine Learning Blog22

    Amazon SageMaker HyperPod 管理与治理最佳实践

    AWS 介绍如何通过 SageMaker Unified Studio 管理 SageMaker HyperPod 集群,在让 ML 团队从项目工作区提交任务的同时保留底层治理控制。文章提出组织、项目、集群、工作负载四层控制模型,分别对应身份、容量与可观测性策略,并强调 HyperPod 连接不会取代 IAM、Amazon EKS 或 Slurm 原有控制。

  2. Simon Willison22

    Simon Willison 测试 Claude Opus 5.5 作曲能力:Scrimshaw Jukebox

    Simon Willison 让 Claude Opus 5.5 设计文本音乐格式并生成可播放的 artifact,要求达到《猴岛小英雄》初代配乐水准,结果意外地更贴近猴岛主题且质量出乎意料地好。他由此猜测,文本模型作曲可能类似此前的 3D 图形能力,是近几个月才涌现的新能力,但需用其他新旧模型做实验才能确认。