韓国の数学者が開発過程に参加した国際研究チームが、グーグル・ディープマインドの数学人工知能（AI）エージェント「アレテイア（Aletheia）」を活用し、世界的な数学難題13件に対する解答を提示した。
8日、数学界によれば、キム・サンヒョン高等科学院教授、チョン・ジュニョク米ブラウン大学教授、タン・ルオン・グーグル・ディープマインド主任研究員、トニー・フェン米バークレー大学教授らが含まれる国際共同チームは、先月グーグル・ディープマインドの数学AIエージェント「アレテイア」を用いて世界的な数学難題13件に解答を示した。研究結果は先月29日、論文事前公開サイト「アーカイブ（arXiv）」で初めて公開された。
古代ギリシャ語で「真理」を意味するアレテイアは、グーグルの大規模言語モデル（LLM）に基づく数学AIエージェントである。グーグルの生成AIであるGeminiの高度推論モード「ディープシンク」に基づく数学研究エージェントだ。
研究陣はアレテイアを用い、2024年12月の約1週間、エルデシュ問題のうち未解決状態にある問題700件を検討した。エルデシュ問題は、20世紀で最も影響力のある人物の一人と評価されるハンガリー出身の数学者エルデシュ・パールが提示した組合せ論、数論分野の問題群である。全1179件のうち約700件がなお未解決のままだ。エルデシュ問題の解決は、数学分野におけるAIの解法能力を測るベンチマークとして活用される。
研究チームによれば、アレテイアは13件の問題について意味のある解法を導出した。とりわけ1051番問題の解法に関しては、アレテイアが提示した手法を基に別個の論文を作成できるほど意味のある成果と評価される。
キム・サンヒョン教授は「AIと数学者がアイデアをやり取りしながら研究者水準の結果を出した」と述べ、「数千年にわたり積み上げてきた数学コミュニティの秩序を土台にAIを活用することが、人類に有益な方向になる」と語った。