AIが解く世界の難問 · 計算機科学の理論 · arXiv · 2026-10-20
一次法のための開発・AI支援コード生成ツール FOMTools
原題: FOMTools: Development and AI-Assisted Code Generation for First-Order Methods
パラメトリックな線形および凸二次最適化のための一次法アルゴリズムを開発・解析・配備するオープンソースのPythonパッケージ、FOMToolsが提示された。最悪ケースの性能は混合整数検証問題で解析され、確率的な性能は GPU 上のバッチシミュレータで評価される。同じアルゴリズム記述から、組み込みハードウェア、マルチコアCPU、GPU向けのソルバーコードが生成される。コーディングエージェントがC言語またはCUDAへの変換と最適化を行い、生成コードは参照実行と比較して検証される。生成されたソルバーはNumPy実装より最大で2桁速いとされる。