AIが数学や物理の難問で新発見　研究者が証明の検証へ

人工知能じんこうちのう（AI）が、長年ながねん世界中せかいじゅうの科学者かがくしゃを悩なやませてきた数学すうがくや物理学ぶつりがくの難問なんもんを解といたかもしれません。米べいOpenAIは、自社じしゃのAIモデルが「局所平滑化予想きょくしょへいかつかよそう」の証明しょうめいや「指数時間仮説しすうじかんかせつ」の反証はんしょうなど、専門せんもんの研究者けんきゅうしゃも驚おどろく新あたらしい成果せいかを出だしたと発表はっぴょうしました。

発表はっぴょうによると、数学すうがくではあらゆる次元じげんで予想よそうが成なり立たつことを示しめし、コンピューターサイエンスでは多おおくの理論りろんの土台どだいとなってきた仮説かせつが偽ぎであること、つまり正ただしくないことを証明しょうめいしたといいます。AIが作成さくせいした解説かいせつや証明しょうめいは、Leanというシステムで検証けんしょうされ、GitHubで一般いっぱんに公開こうかいされました。

さらに、素粒子そりゅうしの間あいだに働はたらく強つよい力ちからを説明せつめいする「量子色力学りょうししきりきがく」など、物理学ぶつりがくの根本的こんぽんてきな理論りろんについての存在証明そんざいしょうめいも含ふくまれています。OpenAIはこれらの発見はっけんについて自社じしゃの学術的がくじゅつてきな功績こうせきを求もとめず、大学だいがくなどの専門家せんもんかに共同研究きょうどうけんきゅうグループの結成けっせいを依頼いらいしました。成果せいかの公開方法こうかいほうほうもグループごとの判断はんだんに任まかせられており、物理学ぶつりがくチームは自みずから論文ろんぶんにまとめることを選えらびました。

AIが示しめした証明しょうめいが本当ほんとうに正ただしいかや、実際じっさいの技術ぎじゅつにどうつながるかは、これからの検証けんしょうにかかっています。研究者けんきゅうしゃたちは公開こうかいされたデータを詳くわしく調しらべるとともに、AIが大おおきな発見はっけんを生うみ出だす時代じだいにおける研究けんきゅうの進すすめ方かたについても、広ひろく議論ぎろんを呼よびかけています。