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

＜山本修真(やまもと しゅうま)さんの受賞コメント＞


「日本数学検定協会賞」受賞者の山本修真さん

このたびは、「日本数学検定協会賞」というたいへん名誉な賞にご選出いただき、ありがとうございました。「MATHコン」運営のみなさま、研究の助言をいただいた「数理空間トポス」チューターの方々、都立西高校の先生方に心から感謝申し上げます。本研究で扱った予想は、高校で習う「三項間漸化式」に「変数係数」という“スパイス”を加えた、シンプルですが奥の深い問題です。ぜひ本作品を読み、「ラマヌジャン・マシン」の未解決予想に取り組む「同志」が1人でも生まれてくれればと思います。研究に取り組むうえで大切にしたことは、「巨人の肩の上に立つ」ことです。先人たちの積み重ねてきたものを知る重要性を、研究をとおして痛感しました。
今は巨人の足首にしがみつくだけで精一杯ですが、これからも学ぶことを忘れずに研究に励んでいきたいと思います。

＜審査委員の講評＞
「ラマヌジャン・マシン」とよばれるAIによる予想(未解決問題)を数学的に証明した結果、昨年度のRimse理事長賞受賞作品における未解決問題を解決したという作品です。