OpenAI GPT-6 Astra 将素数间隔上界推进至 186
GPT-6 Astra 将素数间隔上界从 246 推进到 186，并完成形式化验证，标志 AI 开始参与数学研究。
OpenAI 发布 GPT-6 Astra，并宣布其在有界素数间隔问题上取得新突破：将已知上界从 246 降至 186，且通过 Lean 形式化验证。这一结果由模型自主给出，或意味着 AI 正从辅助解题走向参与数学研究。该突破由北大数院校友、OpenAI 研究员苏炜杰见证并公布。
GPT-6 Astra 将素数间隔上界从 246 推进到 186，并完成形式化验证，标志 AI 开始参与数学研究。
OpenAI 发布 GPT-6 Astra，并宣布其在有界素数间隔问题上取得新突破：将已知上界从 246 降至 186，且通过 Lean 形式化验证。这一结果由模型自主给出，或意味着 AI 正从辅助解题走向参与数学研究。该突破由北大数院校友、OpenAI 研究员苏炜杰见证并公布。