人工知能が複雑な数学の問題を解決

人工知能じんこうちのうはもはや単たんなるテキストや画像がぞうの生成せいせいにとどまらず、複雑ふくざつな数学的すうがくてき問題もんだいを解とくことで人類じんるいの知見ちけんの境界きょうかいを広ひろげています。

2024年ねん、Google DeepMindのAlphaProofとAlphaGeometry 2は国際数学こくさいすうがくオリンピックで銀ぎんメダル級きゅうの成果せいかを収おさめ、高度こうどな論理的ろんりてき推論能力すいろんのうりょくを実証じっしょうしました。

注目ちゅうもくすべき成果せいかとして、長年ながねん未解決みかいけつであったエルデシュ予想よそうの解明かいめいや、平面へいめん単位距離問題たんいきょりもんだいに関かんする80年前ねんまえからの予想よそうの反証はんしょうに成功せいこうしたことが挙あげられます。

パターンマッチングに依存いぞんしていた初期しょきのモデルとは異ことなり、これらの新あたらしいシステムは「長期的推論ちょうきてきすいろんエージェント」として機能きのうします。

Leanなどの形式的検証けいしきてきけんしょうツールを利用りようすることで、全すべての論理ろんりステップが数学的すうがくてきに正ただしいことを保証ほしょうし、AIのハルシネーションのリスクを防ふせいでいます。

単純たんじゅんな計算けいさんから自律的発見じりつてきはっけんへのこの移行いこうにより、AIは人間にんげんの研究者けんきゅうしゃが見落みおとす可能性かのうせいのある広大こうだいな数学すうがくの道筋みちすじを探求たんきゅうできるようになります。

この進歩しんぽは物理学ぶつりがくや工学こうがくなどの分野ぶんやにおけるブレイクスルーを加速かそくさせると期待きたいされる一方いっぽう、数学者すうがくしゃの間あいだでは激はげしい議論ぎろんを呼よんでいます。

我々われわれは、AIが深ふかく分析的ぶんせきてきな発見はっけんのパートナーとして機能きのうする新あたらしい時代じだいを目撃もくげきしています。