ソルバー生成エージェント・参照解

今日のご案内 ☕✨ # 前回は「何と比べた数字か」「どの範囲で合格したか」を見た。今回はもう一歩進めて、その合格を「誰が、何を基準に出したのか」に軸を移す。OpenFOAMを動かすエージェント「CFD Forge」の研究では、証拠だけを見て判断した言語モデルが、検出可能な13件の異常のうち12件を受け入れ、決めておいたチェックに判定を任せると1件も通らなかった。フラッター境界の研究は、代理モデルの安定判定に「誤りは最大1.6％」という較正済みの保証を付けた。前回取り上げた最適化手法の比較の続きとして、同じNSGA-IIでも実装によって結果が変わるという論文も出た。 産業側では、Fermioniqの解法生成エージェント、SiemensとNVIDIAのエアランゲン工場、Toyota Material Handling Europeの仮想試運転、Voltaiの半導体向けマルチフィジックス、日立の設備保全AIが並ぶ。「最大85％」「最大50％」「32倍」と数字は大きいが、比べた相手や対象の工程はそれぞれ違い、効果の数字が出ていない発表もある。後半はニューラル演算子と原子力熱流動の代理モデルを、同じ見方で並べる。 1. CFDエージェントの合否は決定的なチェックが出す、言語モデルだけでは13件中12件の異常を受け入れた # Oza氏、Johnson氏、Barati Farimani氏は、OpenFOAMを使い、技術者の依頼から格子作成、ソルバー実行、診断、報告までを運ぶエージェント「CFD Forge」を報告した。言語モデルは依頼の解釈、証拠の読み取り、問題の原因の推定、決められた選択肢からの対処の提案を担う。一方、結果を受け入れるかどうかはモデルに任せず、流れの種類ごとに登録した決定的なチェックが明示的な基準で判定する。検証では、記録した36のシミュレーション状態（一部は診断値を意図的に改変）を同じモデルに2通りの設定で再生した。チェック結果なしで証拠から判断させると、検出可能な13件の異常のうち12件を3回の繰り返しすべてで受け入れた。CFD Forgeのチェックが判定すると、受け入れた異常は0件だった。 💡 注目しておきたい理由: 「平均抗力が落ち着いてソルバーも完了したのに、横力の振動はまだ成長していた」という乱流立方体の例は、受入条件を一つの指標で書く危うさを示している。著者は、2つの設定はプロンプトも違うこと、固定ルールでも同じ判定に達したことを書き、モデルの価値は判定ではなく自由度の高い作業の側にあるとまとめている。実証の対象は収縮拡大ノズルと2次元の前向きステップで、判定実験も36状態の再生にとどまる。