FormulaOne AIベンチマークでGPT-5やGrok4などトップモデルが0点。AAIが開発した220のグラフ構造動的計画問題を含み、トポロジー・幾何学・組み合わせなどの複雑分野をカバー。....