arXiv論文：AIがコンパイラの見逃した高速化を発見——最良モデルは93.3%の課題で性能向上に成功

結論から言うと、C/C++コードに隠れた意味や前提をAIに読ませると、通常のコンパイラだけでは見つけにくい高速化を提案できる可能性が示された。2026年8月4日にarXivへ提出された未査読論文は、実行して確かめられる評価セット「SeGaBench」を公開した。

内訳は人工的に作った100件と実際のソースに基づく20件で、低水準の前提、データ構造の決まり、高水準な処理への置き換えを含む。各課題には、隠された高速化条件、正解例、動作と意味を確かめる検証器、再現可能な速度測定手順が付く。研究チームは5つの大規模言語モデルに各課題5回答を作らせた。

最も強いモデルは回答の94.8%で正しい成果物を生成し、83.3%で1.05倍以上の高速化を達成。課題単位では93.3%で性能向上に成功した。ただし正しく動く案でも、理想的な正解例との速度差を一部しか埋めないことが多かった。開発者には、AIを「正解を決める人」ではなく、コンパイラが試せない変換候補を出す役として使い、テストと速度測定で採否を決める方法が現実的だ。

注意点は120件中100件が人工課題で、実際の大規模ソフトでも同じ成功率になるとは限らないこと。査読前の著者報告であり、契約条件や未定義動作を壊していないかも個別に検証する必要がある。