日本数学検定協会、「MATHコン2022」AIが予想した数式の証明に挑んだ高校2年生が受賞

日本数学検定協会は18日、「塩野直道記念第10回『算数・数学の自由研究』作品コンクール」(MATHコン)の優秀賞「日本数学検定協会賞」を決定し、受賞者を表彰した。

「日本数学検定協会賞」オンライン表彰式の様子

受賞したのは、「Ramanujan Machineによる未解決予想の証明と昨年度のRimse理事長賞受賞作品における未解決問題の解決」という研究作品を応募した東京都の高校2年生山本修真さん。

山本さんは、「ラマヌジャン・マシン」が予想した式のほとんどが証明されていないことから、それらを証明することを研究の目的に掲げ、実際にいくつかの予想を証明することに成功。さらに、証明した定理の1つが2021年のMATHコン受賞作品である多面体分割問題と深い関わりがあることを発見し、その定理を応用することにより、受賞作品で未解決となっていた問題を解決した。

ラマヌジャン・マシンは、イスラエル工科大学の研究チームが開発したマシン。山本さんの研究は、AIが予想した結果の証明に取り組むという現代的な研究スタイルと、過去のMATHコン受賞作品などの情報にも敏感に反応し活用している点が評価された。