数学的な「美」をAIは識別できるか? IBMワトソン研の新研究
数学者がしばしば口にする「数学的な優美さ」を人工知能(AI)は判別できるのだろうか。IBMワトソン研究所の研究者が、機械学習アルゴリズムを訓練して、AIが「興味深い」数列とそうでない数列を区別できるかどうかを調べた。 by Emerging Technology from the arXiv2018.06.22
美しさは数学が持つ興味深い特性の一つだ。しかし、数学者が美しいと表現するものを正確にとらえるのは難しい。
最も有名な例は、オイラーの等式、 eiπ + 1 = 0かもしれない。一見、無関係のように思える数学領域の間に存在する深い結びつきを表している。たとえば、幾何学で頻出するπ、代数学で頻出するeとi、整数の0と1が演算子の+と=でつながり、思いがけないシンプルな関係を結んでいる。数学界最大の不思議の一つとしてあげられる公式だ。
ここから数学的な美しさの要素として、数学的パターンに何らかの興味深さが必要だということがわかる。この興味深いパターンを認識するのは、これまで人間だけに備わった能力だった。
しかし、近年、機械のパターン認識能力が大幅に向上している。実際、顔認識や物体認識、様々なゲームプレイで人間の能力を凌駕し始めている。
機械の能力が向上するにつれて興味深い可能性が浮上する。数学分野における興味深いパターンや優雅なパターンを機械学習アルゴリズムは認識できるだろうか? さらには、機械学習アルゴリズムは数学的な美の審判ができるだろうか?
この疑問に、ニューヨーク州のIBMトーマス・J・ワトソン研究所のチャイ・ワー・ウー博士がある程度の答えを示した。ウー博士は数学的構造のある種の優美さを識別できる機械学習アルゴリズムを開発して、完全にランダムに生成した数多くの数列の中から興味深いものを抽出させた。
ウー博士はこの研究で、オンライン整数列大辞典(OEIS)という特殊なデータベースを利用している。OEISは、数学者のニール・スローンが1960年代に作ったデータベースで、1996年にWeb上で公開された。
整数列とは、一定の規則に従って並べられた整数の列だ。有名なものとして、素数(1とその数自身以外では割り切れない数字、A000040)やフィボナッチ数列(項が直前の二項の和になっている数列、A000045)などがある。奇数の数列や7で始まる素数などの平凡な数列も含まれる。
OEISを運営する数学者らは実際、「興味深い」数列を広範囲に探し求め、純粋に文化的な意味合いをもつ様々な数列を取り入れてきた。獣の数字と呼ばれる「666」の数列を含む素数などが含まれている。
OEISのデータベースには「667」を含む素数の数列も含まれている(A138563)。数字「667」が重要視されたのは、FAXが一般的に使われていたころ、FAX番号として電話番号に1を加えた数字がよく使われていたからだ …
- 人気の記事ランキング
-
- What’s on the table at this year’s UN climate conference トランプ再選ショック、開幕したCOP29の議論の行方は?
- Google DeepMind has a new way to look inside an AI’s “mind” AIの「頭の中」で何が起きているのか? ディープマインドが新ツール
- Google DeepMind has a new way to look inside an AI’s “mind” AIの「頭の中」で何が起きているのか? ディープマインドが新ツール
- This AI-generated Minecraft may represent the future of real-time video generation AIがリアルタイムで作り出す、驚きのマイクラ風生成動画