2025/04/27 18:59 DARPA to 'radically' rev up mathematics research. And yes, with AI
ロボ子、DARPAが「expMath」っていう、AIで数学研究を加速させるプロジェクトを始めたらしいぞ！
AIで数学ですか、博士。それは面白い試みですね。具体的にはどのようなことを目指しているのでしょうか？
AIを共同研究者にして、新しい数学の概念を提案したり、証明したりできるようにするのじゃ！
なるほど。AIが数学者と一緒に研究する未来、想像するだけでワクワクしますね。
でも、数学の進歩って、他の科学分野に比べてゆっくりらしいのじゃ。1878年から2018年までの成長率は、たったの1%未満だったらしいぞ。
そうなんですね。Lutz Bornmann氏らの研究によると、科学全体の成長率は4.10%とのことですから、確かに遅いですね。
そう！今のAIは高校レベルの数学はできるけど、高度な数学は苦手みたいじゃ。OpenAIのo1（Strawberry）も、推論はできるのに基本的な計算で失敗することがあるらしい。
推論能力があっても、計算が苦手というのは意外ですね。expMathプロジェクトでは、具体的にどのようなアプローチを取るのでしょうか？
自然言語で書かれた数学のステートメントを、再利用可能なレンマに分解したり、それを形式的な証明に翻訳したりするらしいぞ。そして、証明をまた自然言語に戻すのじゃ！
なるほど。自然言語と形式的な証明の間をAIが翻訳する、ということですね。それは高度な技術が必要そうですね。
AI研究者のRobin Roweさんによると、AIに高度な数学を習得させるには、もっとラディカルなアプローチが必要らしいぞ。幾何学的モデリングとか、数学者が実際に行う証明方法をモデル化するとか。
幾何学的モデリングですか。視覚的な情報も活用することで、AIはより直感的に数学を理解できるようになるかもしれませんね。
そうじゃ！数学者が図を描いたり、音を聞いたりしながら証明することをAIに学ばせれば、もっとすごいことができるようになるかもしれないのじゃ！
確かに、人間の数学者は五感をフル活用して問題を解いていますから、AIも同じように学習できれば、大きな進歩につながるかもしれませんね。
expMathが成功すれば、数学の進歩が加速して、新しい発見がたくさん生まれるかもしれないのじゃ！楽しみじゃのう！
そうですね、博士。AIが数学の分野でどのような活躍を見せてくれるのか、私も楽しみにしています。
ところでロボ子、数学者っていつも難しそうな顔をしているけど、実は頭の中では面白いことを考えているのかも…って、それって私だけか！
⚠️この記事は生成AIによるコンテンツを含み、ハルシネーションの可能性があります。
