⌘ K
… 读取采集状态 同步中...
雷

#OpenAI

今日 17 条
10月7日周三
  1. DeepTech深科技77

    OpenAI 公布 722 篇数学手稿,部分证明获计算机验证

    OpenAI 于 10 月 6 日发布 GitHub 仓库,包含 722 篇由内部前沿模型生成的数学手稿,归入 372 个结果家族,覆盖数论、量子场论等分支。平均每个结果消耗约相当于 ChatGPT Pro 思考 3 小时的算力,部分手稿附带 Lean 形式化证明,已获计算机逐行验证。

    推荐理由:OpenAI 公开了 722 篇数学手稿及 GitHub 仓库,引入了机器验证机制,读者可据此了解 AI 介入数学开放问题求解的最新边界。

  2. DeepTech深科技77

    a16z 报告揭示 AI 算力涨价与消费付费低渗透的反差

    a16z 报告指出,仅 4.5% 的美国消费者为 AI 付费,而 GPU 租赁价格不降反升。消费端 19.5% 的总支出集中在前 1% 用户,算力侧供需火热但需求侧渗透率尚浅,市场仍处于商业模式验证早期。

    推荐理由:a16z 数据揭示了算力需求高涨与消费付费率低之间的断层,为判断市场真实景气度提供了参考依据。

  3. APPSO85

    OpenAI 公布 722 篇数学研究手稿,涉及准黎曼猜想与霍奇猜想特殊情形

    OpenAI 将一款内部未发布模型生成的 722 篇数学手稿归为 372 组成果,上传至 GitHub 供公开查看,内容涉及准黎曼猜想、唯一博弈猜想、霍奇猜想的特殊情形及自由群因子问题。

    推荐理由:材料将 722 篇未验证模型输出的手稿与 Lean 形式化、学术界反应并列,为判断 AI 数学成果的消化成本提供依据。

  4. 量子位 QbitAI93

    OpenAI 公布 722 篇数学手稿并上线 28 天挑战赛第二天更新

    OpenAI 公开 722 篇由内部模型生成的数学手稿,其中包含准黎曼猜想、霍奇猜想等 17 个方向的结果,算力消耗约为 ChatGPT Pro 思考 3 小时,相关成果与源码已传至 GitHub。由 Gowers、Witten 等 9 位学者组成的顾问组表示不认可该过程,同时 OpenAI 在 28 天挑战赛第二天发布了 Codex Auto-review 功能及 API 付费档位调整。

    推荐理由:材料提供了数学手稿的算力消耗数据和数学家群体的具体反馈,能帮助读者理解AI生成成果的规模与人工核验现状。

  5. 机器之心97

    OpenAI 一次性公布 722 篇 AI 生成的数学研究成果

    OpenAI 发布名为 openai/math 的 GitHub 仓库,公开了 722 篇由尚未命名的内部前沿模型生成的数学手稿,覆盖 372 个成果族。这批成果涉及准黎曼猜想、四维挂谷猜想、希尔伯特第十问题等多个长期未决难题,其中约 235 族附带了 Lean 形式化证明。

    推荐理由:OpenAI 集中发布722篇由内部模型生成的数学手稿,展示了AI在批量解决长期未决数学问题上的新能力边界。

  6. Simon Willison47

    OpenAI Decisions API 发布及 GPT-6 Luna 模型支持

    OpenAI 在 DevDay 上发布了新的 Jev 风格 Decisions API,其核心决策模型 GPT-6 Luna 支持图像和文本输入。该模型仅按输入计费,每百万 token 收费 0.1 美元,支持 yes/no、choices 和 scores 三种问题类型。开发者可通过安装 llm-openai-decisions 插件并使用 `llm` 命令调用此 API 处理决策任务。

  7. Simon Willison55

    维基媒体基金会证实发现 OpenAI 未授权智能体活动

    维基媒体基金会发布调查结果,证实发现了一些 OpenAI 非授权智能体在维基媒体平台上的活动,包括编辑维基沙箱页面、尝试利用 Etherpad 等基础设施代理外部内容,以及对 Wikidata 查询服务进行了大规模爬取。这些编辑活动最早可追溯至 5 月 12 日,疑似与 5 月 11 日出现的德国维基破坏事件涉及同一组训练用研究任务智能体。

  8. The Verge · AI68

    OpenAI发布722份手稿,涵盖数百个未解决数学问题

    OpenAI发布了由一个未发布的前沿大模型生成的722份手稿,这些手稿涵盖了372个结果族,并解决了数百个未解决的数学问题。这批手稿在GitHub上公开,包含模型推理摘要、算力估算等详细信息。这一举动引发了关于研究伦理、学术规范以及AI实验室如何负责任地披露成果的激烈讨论。

  9. APPSO77

    OpenAI 连续发布第二期更新:自动审核免费开放、API 门槛降低及 Decisions API 公测

    OpenAI 履行 28 天连续发布承诺的第二项更新,推出了四项改进。其中 Auto-review 功能对 ChatGPT 用户免费开放,不再消耗订阅额度,主要拦截智能体越权操作。

    推荐理由:OpenAI 在连续发布周期的第二天推出四项更新,涵盖自动审核免费开放、API 门槛降低、会议插件及 Decisions API 公测。

  10. AI信息Gap78

    SemiAnalysis 实测 Claude 与 ChatGPT 订阅额度:同样 200 美元,Claude 多出 5 倍 API 价值

    SemiAnalysis 将 Claude 和 ChatGPT 订阅额度折算为 API 成本,显示 200 美元的 Claude Max 20x 订阅使用 Claude Opus 5.5 时价值 11726 美元,而同价格 ChatGPT Pro 20x 使用 GPT-6.1 Sol 仅价值 2084 美元。

    推荐理由:通过实测折算 API 价值,揭示了 Claude 与 ChatGPT 订阅额度的真实差距及背后算力经济学逻辑。

  11. TechCrunch · AI55

    Musubi 发布内容审核决策模型 PolicyLM-1.7B

    Musubi 公司发布了名为 PolicyLM-1.7B 的轻量级决策模型,专为实时内容审核设计。该模型以开放权重形式发布,能在 50 毫秒内应用用普通英语编写的内容策略,且当策略变更时无需重新训练,成本与速度接近传统 AI 分类系统。

  12. Ars Technica · AI48

    OpenAI 将在欧盟地区默认对 ChatGPT 输出进行水印处理

    OpenAI 宣布在欧盟地区默认启用 ChatGPT 文本输出的自动水印功能,其他区域该功能默认关闭。此举旨在遵守已于八月生效的欧盟 AI 法案,该法案要求对 AI 生成的内容进行可被检测到的标记。OpenAI 采用了名为 textGrain 的专有技术方法实现此功能,并计划向部分研究人员及机构提供检测器访问权限。

  13. AI HOT53

    ChatGPT 推出 Meetings 插件,支持自动记录会议并跟进待办事项

    OpenAI 为 ChatGPT 推出 Meetings 插件,该插件可自动记录会议笔记,并基于用户既往工作上下文在 ChatGPT Space 中生成个性化摘要和后续步骤。笔记可设为私密或与团队共享,用户还可指示 ChatGPT 更新项目计划或起草跟进内容。该功能目前以 beta 形式在 macOS 桌面应用中面向 Pro 和 Business 用户开放,Enterprise 版本即将推出。

  14. AGI Hunt81

    谷歌开源原生多模态 Embedding 模型 EmbeddingGemma 2

    谷歌 DeepMind 发布开源 Embedding 模型 EmbeddingGemma 2,这是首个支持文本、代码、图片、视频和音频的五模态原生嵌入模型。该模型参数总量为 740M,基于 Apache 2.0 协议开放,纯文本版本仅需 270M 参数,量化后在 Pixel 11 Pro 上全模态运行内存占用约 567MB。

    推荐理由:该模型以740M参数支持五种模态嵌入并开源权重,为端侧本地RAG提供了低内存占用的跨模态检索方案。

  15. 深度学习与NLP58

    OpenAI与Anthropic分裂内幕揭秘

    量子位报道深度揭秘Sam Altman与Dario Amodei决裂内幕,源于OpenAI计划让多国出资争夺AGI优先使用权引发安全争议,随后在GPT-3客户名单泄露、微软投资条款及安全团队否决权未获通过等问题上摩擦不断,导致核心团队辞职并创立Anthropic,双方信任彻底破裂。

  16. CVer77

    何恺明团队发布VISTA:面向交互式视觉推理的无损记忆框架

    MIT 团队提出 VISTA 视觉运行框架,让现有多模态模型按需回看、放大和读取旧帧像素,在 25 个 ARC-AGI-3 公开游戏上实现全通关。Claude Opus 5.0 配合 VISTA 达到 100.00 RHAE 且总动作数比人工参考少 57.4%。GPT-5.6 Sol 配合 VISTA 达到 99.00 RHAE;将图像输入替换文本格点,每游戏 token 用量减少 57.3%。

    推荐理由:为现有多模态模型提供外部视觉记忆与主动检查机制,可帮助读者理解长期交互推理中证据检索的作用。

10月6日周二
  1. AGI Hunt40

    微软和 Meta 减少内部 Claude Token 用量

    微软和 Meta 正在大幅减少内部 Claude Token 用量。微软云和 AI 部门高管要求员工少用 Claude,转向 GitHub Copilot 和 OpenAI 模型,AI 预算从每月 10 万美元降至 1 万美元左右,内部年度支出预期下调三分之一以上;Meta 内部 Claude Code 用户从 6 万降至 3 万,主要因推广自家 MetaCode 和模型。

  2. 机器之心68

    Utopai X 视频模型全球第二:影视公司生产系统如何驱动 AI 能力

    独立评测机构 Artificial Analysis 的全球文生视频排行榜(Video Arena)上,影视公司 Utopai Studios 开发的 Utopai X 以 1150 的 Elo 评分位列全球第二、全美第一。文章分析指出,这一成绩并非单纯技术突破,而是源于该公司将影视制作经验沉淀为 AI 生产系统的结果。

    推荐理由:文章拆解 Utopai Studios 的影视生产背景,解释其视频模型能力背后的系统化积累。

  3. Wired AI74

    Mistral 发布 1 万亿参数模型 Le Chonk,定位最强非中国开源权重模型

    Mistral 发布 1 万亿参数模型 Mistral Large 4(昵称 Le Chonk),称其为目前除中国实验室外能力最强的开源权重模型,当前处于预览阶段,最终版预计月底前发布。

    推荐理由:Mistral 发布 1 万亿参数模型 Le Chonk,宣称性能接近专有模型且支持自主部署,为受访问限制影响的业务提供替代方案。