2026-09-17 21:49:54
OpenAIのAstra後継モデル、未解決の数学問題を解決したと報じられる
OpenAIのCEOであるサム・アルトマン氏と社長のグレッグ・ブロックマン氏によると、同社の社内モデル「Post-Astra」は、世界トップクラスの数学者でさえ解けなかった問題を解決したという。アルトマン氏は、SalesforceのCEOであるマーク・ベニオフ氏との会話の中で、GPT-5.6は世界の数学者の上位1~2%に相当する能力を持つ一方、Post-Astraモデルはそれをも上回るレベルにあると述べた。 先週、OpenAIは約1,500万ドル相当の計算資源を使い、ナビエ–ストークス方程式に関する問題を証明したと報じられた。Leanによる形式検証を経た、166ページに及ぶ証明を生成したという。ブロックマン氏はまた、残る5つの未解決問題の一つである、別のミレニアム懸賞問題についても進展を発表した。