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

作品コンクールは、全国の小学生・中学生・高校生を対象に、日常生活や社会で感じたさまざまな疑問を算数・数学の力を活用して解決する、あるいは、算数・数学の学びを発展させて新たな数理的課題を探究するなかで気づいたことやわかったこと、自らの解決の方法などをレポートにまとめ、作品として応募するコンクールです。テーマは自由で、毎年さまざまなテーマの自由研究作品が集まります。なお、今年2022年の応募作品数は、合計16,500件でした(2021年は17,429件)。

■AIが予想した数式の証明に挑んだ高校2年生が受賞
本コンクールに2016年から協賛している当協会は、すべての応募作品のなかから、とくに算数・数学の研究として優れたレポート1作品に優秀賞として「日本数学検定協会賞」を授与しています。今年2022年の「日本数学検定協会賞」は、AI(人工知能)を使った「ラマヌジャン・マシン※」が予想した数式の証明に挑んだ、東京都在住の山本修真(やまもと しゅうま／応募当時16歳、高校2年生)さんが受賞しました。山本さんは、「ラマヌジャン・マシン」が予想した式のほとんどが証明されていないことから、それらを証明することを今回の研究の目的に掲げ、実際にいくつかの予想を証明することに成功しました。