每条发布 = 一张工具卡 · 命中 "新工具 / 产品更新 / 模型发布 / 平台" 标签(itemType=tool_release)· 按时间排序
据 Scott Aaronson 整理，OpenAI 在顾问组推荐下一次性公开 372 项数学突破结果，其中包括 Subhash Khot 的唯一游戏猜想（UGC）证明、L=BPL、Fourier 变换整数乘法低于 O(n log n) 的新上界、Unitary Synthesis 问题的正面解答、Parity 不在 QAC0 等，部分配有 Lean 证书。
推荐理由：原文列出 372 项数学突破与所用算力、问题类型，可帮助读者判断新模型在深度推理上的实际边界。
OpenAI 宣布 GPT-6 开始向 ChatGPT 推送，Plus、Pro 等付费用户使用 GPT-6 Sol，免费和 Go 用户使用 GPT-6 Luna，分别替换此前的 GPT-5.6 版本。
推荐理由：报告给出了青少年安全评测里的具体回退项，用户可以据此判断免费版在敏感话题上的实际表现。
GPT-6 在 ChatGPT 全球上线，并随附 Intelligent UI，提供更快响应以及可直接探索和使用的可视化与交互体验。
推荐理由：原文给出 GPT-6 在 ChatGPT 中全球上线并附带 Intelligent UI 的关键事实，读者可据此了解新模型与交互形态的落地范围。
已经到底了