OpenAI 在 GitHub 发布 372 个 AI 生成的数学证明结果
OpenAI 在 GitHub 上发布由内部前沿模型生成的 372 项新数学结果，涵盖重要算法改进和与黎曼猜想相关的进展，其中每项结果据称解决了开放问题或取得实质性进展。
推荐理由：文章梳理了 OpenAI 公开 372 个 AI 生成数学证明的做法与学界分歧，读者可以了解形式化验证如何应对审稿瓶颈。
#OpenAI
#OpenAI
今日 3 条The Decoder精选AI 评分7777 Latent SpaceAI 评分7272 Latent Space AINews：OpenAI 发布内部模型产出的 722 篇数学论文，Mistral Large 4 与多款开源模型同周登场
Latent Space 发布 2026 年 10 月 5 日至 6 日一期 AI 新闻汇总，头条为 OpenAI 公开内部前沿模型产出的 722 份数学手稿。
The Verge · AI精选AI 评分7676 OpenAI 发布722篇数学手稿，涵盖数百个开放问题解答
OpenAI 发布722篇数学手稿，覆盖372个结果族，据 AGMAI 称包含对"数百"个开放问题的解答，成果由一个未发布的前沿模型产生。手稿发布在 GitHub 仓库并附论文修订与引用协议，还包括模型推理摘要、算力估算，OpenAI 称平均每个结果相当于 ChatGPT Pro 三小时的思考量。
推荐理由：报道给出722篇手稿的规模、问题数量和算力估算，读者可据此了解这批数学成果的实际内容与学界争议。
Latent SpaceAI 评分3434 AINews 周报：GPT-6.1 Sol 与 Sonnet 5.5 重塑性价比前沿
OpenAI 发布 GPT-6.1 Sol，定价 $2/$10 per million input/output tokens，Agent Arena 排名第 5，比 GPT-6 Sol 便宜 39% 且得分高 1.52 分，比 Astra 便宜 81%。
Latent SpaceAI 评分7373 Gemini 4 Argon 发布：GDM 对标 Astra/Fable，输出上限达 1M token
Google DeepMind 发布 Gemini 4 Argon，主打编码、企业知识工作与网络防御，在 19 项基准中 13 项排名第一，输出上限从 64K 提升至 1M token，定价 $4/$20（限时五折 $2/$10），目前仅向 Fairwind 项目的政府用户和可信网络防御者开放。
The DecoderAI 评分7575 Google 发布 Gemini 4 Argon，逼近 OpenAI 与 Anthropic 但未明显领先
Google 发布 Gemini 4 Argon，是其七个多月来首个前沿模型， introductory 定价为每百万输入 token $2、输出 $10，缓存输入约 95% 折扣。
Simon WillisonAI 评分2828 GPT 6.1 Sol：以五分之一的价格提供接近 Astra 级的智能
GPT 6.1 Sol 以约五分之一的价格提供接近 Astra 的智能水平。
OpenAI News精选AI 评分6868 OpenAI 发布 GPT-6.1 Sol
OpenAI 发布 GPT-6.1 Sol，面向编码、计算机操作和专业工作场景，智能水平接近 Astra，API 输入和输出 token 价格为 Astra 标准价的五分之一。
推荐理由：原文给出了 GPT-6.1 Sol 的定位和价格对比，读者可以据此评估它相对 Astra 的成本优势。
Latent SpaceAI 评分5454 Latent Space AINews：Opus 5.5 发布后社区好评集中在其解说视频能力
Latent Space 发布 9 月 24 至 25 日的 AINews 周报，主题称 Claude Opus 5.5 发布后社区反馈积极，尤其在纯代码生成解说视频方面接管了时间线。
Latent Space精选AI 评分8484 Anthropic 发布 Claude Opus 5.5，OpenAI 同日跟进降价 50% 的 GPT-6 Sol 和 Luna
Anthropic 发布 Claude 5.5 家族首个模型 Claude Opus 5.5，称多数任务达到 Fable 5.1 水平、比 Opus 5 快约 30% 且每任务便宜 40%，token 定价从 $5/$25 降至 $4/$20，并成为 Claude Code 与 Claude 应用的默认模型。
推荐理由：原文汇总了 Opus 5.5 的定价、评测与争议细节，包括第三方拆解显示 40% 降价在 max effort 下并不成立。
Simon Willison精选AI 评分8585 Anthropic 发布 Claude Opus 5.5，OpenAI 随后推出 GPT-6 Sol 与 GPT-6 Luna，新一轮价格战开启
Anthropic 发布 Claude Opus 5.5，约一小时后 OpenAI 发布 GPT-6 Sol 和 GPT-6 Luna。
推荐理由：作者实测了三家新模型并整理完整价格表，读者可以据此比较新一轮降价幅度和各档模型的实际表现。
OpenAI News精选AI 评分7373 OpenAI 发布 GPT-6 Sol 和 Luna 两款模型
OpenAI 发布 GPT-6 Sol 和 Luna 两款模型，将前沿智能带入日常工作，两款模型在能力与成本之间提供不同平衡。
推荐理由：官方发布两条产品线定位信息，读者可据此了解两个新模型在能力与成本上的不同取舍。
Latent SpaceAI 评分6161 Latent Space 访谈 TypeSafe AI CEO Diogo Almeida：Jev、System One 模型与 RLCD
Latent Space 播客对话 TypeSafe AI CEO Diogo Almeida，讨论其新发布的 Jev 模型及发布视频约 38M 次观看的热度。
OpenAI NewsAI 评分2424 V7 基于 GPT-5.6 Luna 实现成本降低 78% 且准确率提升
V7 使用 GPT-5.6 Luna 后成本降低 78%，同时准确率得到提升。它还能将企业分散的文件转化为智能体可用的上下文，用于完成带来源链接的复杂工作。
OpenAI News精选AI 评分6969 OpenAI 发布 GPT-6 Astra：面向商业场景的下一代模型
OpenAI 发布 GPT-6 Astra，定位为面向商业的最强模型，具备高级推理和计算机使用能力，写作与设计判断也更强。
推荐理由：官方发布了面向商业场景的新模型，提到推理、计算机操作和写作设计判断，读者可据此评估其在工作流中的定位。