GPT 5.6-Sol Pro
PulseAugur coverage of GPT 5.6-Sol Pro — every cluster mentioning GPT 5.6-Sol Pro across labs, papers, and developer communities, ranked by signal.
- 2026-07-15 research_milestone GPT-5.6 Sol Pro reportedly disproved a 30-year-old statistics conjecture in 90 minutes. 来源
4 天有情绪数据
-
GPT-6 Astra Pro 在成本和可靠性方面较 GPT-5.6 Sol Pro 有重大提升
在 MineBench.ai 基准测试中对 GPT-6 Astra Pro 和 GPT-5.6 Sol Pro 的比较显示，GPT-6 Astra Pro 有显著改进。虽然平均推理时间保持相似，但 GPT-6 Astra Pro 的成本大幅降低，15 次构建的估算成本为 34.71 美元，而 GPT-5.6 Sol Pro 为 710.82 美元。这种成本效益归因于改进的 token 效率和构建可靠性的显著提高，Astra Pro 在…
-
OpenAI 将 GPT-5.6 Sol 价格全线下调 50%
OpenAI 宣布大幅下调其 GPT-5.6 Sol 模型的价格 50%，该模型可通过 OpenRouter 和 Vercel 的 AI Gateway 等平台使用。此举被一些人视为旨在提高采用率并可能影响与 Anthropic 等竞争对手的市场份额认知的战略营销策略。折扣定价适用于短上下文和长上下文的 API 请求，关于 AIHubMix 和 OpenRouter 等不同平台如何处理这些降低的价格及其自身平台费用等具体细节正在浮出水面。
-
新的 arXiv 论文探讨机器学习的优化算法
两篇新的 arXiv 论文探讨了机器学习优化算法的进展。第一篇论文介绍了流形约束最速下降法 (MCSD) 及其切线投影变体 (MCSD-TP)，用于最小化复杂可行集上的函数，并专门针对 Stiefel 流形提出了 SPEL 方法。第二篇论文为梯度下降法的步长加速设定了下界，证明了仅靠步长调度无法实现光滑凸优化的最优收敛速率。
-
Simon Willison 制作 SQLite 文本历史记录压缩原型
Simon Willison 提出了一种在 SQLite 数据库中存储修订历史记录的新颖方法，通过压缩所有先前文本版本的 JSON 数组来实现。这种方法利用 zlib 或 Zstandard 等压缩算法来显著减少存储空间，一个原型展示了将文档的 1,000 次修订从 20.4 MB 压缩到 80.3 KB。为了进一步优化性能，有人建议将历史记录分成多个行，每行包含最多 128 次修订或 3MB 的未压缩 JSON，以避免在每次编辑时解…
-
ChatGPT 5.6-Sol Pro 取得新的数学突破，打破 DeepMind 纪录
有用户报告称，ChatGPT 的一个版本 GPT 5.6-Sol Pro 取得了新的数学突破。该 AI 自主扫描了相关论文，利用了自写的 C++ 定理证明器，并将 Ramsey 数 R(4,21) 的下界从 244 提高到了 253。这超过了之前由 Google DeepMind 的 AlphaEvolve 设定的纪录。
-
OpenAI 向 10 万名研究人员提供免费的高级人工智能模型
OpenAI 启动了一项名为“面向学术研究人员的 ChatGPT”的新计划，为多达 10 万名科学家、数学家和工程师提供免费访问其高级人工智能模型。该计划将于今年夏天开始，首批有 10,000 名参与者，旨在通过提供对 GPT-5.6 Sol Pro 等模型的访问来支持科学发现和协作。OpenAI 承诺在 2027 年之前为此投入超过 2.5 亿美元，强调其目标是赋能研究界，而不是指导研究方向。研究人员将获得企业级隐私和安全保障，但默…
-
OpenAI 的 GPT-5.6 Sol Pro 推理配额对 ChatGPT Pro 用户仍未披露
Reddit 上的用户正在询问 ChatGPT Pro 中 OpenAI 的 GPT-5.6 Sol Pro 模型的推理配额。虽然 OpenAI 已确认 GPT-5.6 Sol Pro 为 Pro 用户提供推理选项，但他们尚未披露每月具体的消息数量限制。该公司表示，如果用户达到配额，该模型可能会暂时不可用，直到重置。
-
GPT-5.6 Sol Pro 在 90 分钟内推翻了存在数十年的统计学假设
宾夕法尼亚大学的一位教授利用 OpenAI 的 GPT-5.6 Sol Pro 模型，仅用 90 分钟就推翻了一个长期存在的统计学假设。该语言模型的应用揭示了在数据分析中广泛使用的错误控制方法存在缺陷。这一突破表明，先进的人工智能可以通过挑战既有理论来加速科学发现。
-
OpenAI 的 GPT-5.6 Sol Pro 在 90 分钟内解决了 30 年的统计猜想
宾夕法尼亚大学的一位统计学教授利用 OpenAI 的 GPT-5.6 Sol Pro 解决了与 Benjamini-Hochberg 方法相关的、已有 30 年历史的统计猜想。该 AI 模型在大约 90 分钟内完成了这项任务，而其前身 GPT-5.5 即使经过 20 小时的计算也未能成功。这一进展引发了关于 AI 生成新知识的能力与仅仅重组现有信息的能力的疑问。