OpenAIが「GPT-6 Astraより高性能なモデル」を用いて数学の難問「ナビエ・ストークス方程式」の解決を主張、一方で人間の数学者の成果を流用した疑惑も生じる – GIGAZINE 未分類 X Facebook はてブ LINE Pinterest コピー 2026.09.10 高性能内部モデル群で難問解決を主張、Lean形式化済み。費用…このサイトの記事を見る