OpenAIは、内部開発中の次世代主要モデル『Astra』が、数学と理論計算機科学における未解決の10件の問題で新たな成果を上げたと発表しました。これはITmedia AI＋の報告によるものです。

この成果のためにかかった計算コストは、Solの換算で約2000ドル相当とされています。さらに、証明支援ツール『Lean』を用いた形式的証明がGitHub上で公開されており、透明性と再現性が確保されています。

日本の金融市場でも、AIの進展はアルゴリズム取引やリスク解析に影響を与えるため、OpenAIの技術革新は注目に値します。