Featured
OpenAI Astra 是什么？10 项数学研究成果与 ChatGPT 上线事实边界
OpenAI 于 2026 年 8 月 1 日发布 Astra 参与产出的 10 项数学与理论计算机科学结果。本文说明 Astra 是否等于 GPT-6、能否在 ChatGPT 使用、Lean 证书能验证什么，以及目前仍待数学界复核的事实边界。
阅读全文Featured
OpenAI 于 2026 年 8 月 1 日发布 Astra 参与产出的 10 项数学与理论计算机科学结果。本文说明 Astra 是否等于 GPT-6、能否在 ChatGPT 使用、Lean 证书能验证什么，以及目前仍待数学界复核的事实边界。
阅读全文