Axiom Math、オープンソース数学プロジェクト「Stacks Project」の形式検証を完了

Axiom Mathはマルチエージェントシステムを活用し、オープンソースの数学プロジェクト「Stacks Project」の形式検証を完了したと発表した。約7,654ページに及ぶ内容を、コンピュータ検証済みのLeanコード約1,600万行へと変換した。この成果は代数幾何学分野における形式化数学の空白を埋めるものであり、同社は独自開発の数学モデルを通じて、緩やかな階層構造下でエージェントにタスクを並列割り当てし、参照の整合性を維持させた。Axiomはこの検証成果を強固な基盤とし、今後はバグのないコード検証や科学探究の領域へと順次応用を拡大していく計画だ。