OpenAI、ナビエ・ストークス方程式の証明に数千のAIエージェント使用

OpenAIは、数千のAIエージェントを用いてナビエ・ストークス方程式の存在と滑らかさの問題に取り組んだと発表した。同社の証明は、ナビエ・ストークス方程式が非現実的な条件下で流体が爆発し得ることを示すものだという。

ナビエ・ストークス方程式は19世紀に粘性流体の流れを記述するために考案された。現在では航空機設計における空気の流れのモデル化など、工学分野で広く使われている。

数学者のJuspreet Singh Sandhu氏（コロラド州立大学）とJared Speck氏（ヴァンダービルト大学）がこの結果に関わっている。Wiredが報じた。

純粋数学と応用の歴史

G・H・ハーディは1940年、第二次世界大戦中に『ある数学者の弁明』を著し、数学は応用から切り離され、それ自体のために追究されるべきだと論じた。しかし数論は後に、電子メールや銀行口座を保護する暗号プロトコルに不可欠なものとなった。