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

さらに、証明した定理の1つが2021年のMATHコン受賞作品である多面体分割問題と深い関わりがあることを発見し、その定理を応用することにより、受賞作品で未解決となっていた問題を解決しました。

※ラマヌジャン・マシン
イスラエル工科大学の研究チームが開発したマシン。インドの天才数学者シュリニヴァーサ・ラマヌジャンの思考形態をAIがシミュレートし、円周率πやネイピア数eなどに関する新しい式を連分数の形で予想する。

また、山本さんは今回の研究をとおして、まったく関係がないように思えた2つの問題が同じ問題に帰着することを知ったときに心から感動したそうです。その関係性に着目した視点で、さまざまなアプローチに取り組んでいきたいと、今後の展望を述べて研究をしめくくっています。

算数・数学の実用的な技能を測る数検を実施している当協会は、AIが予想した結果の証明に取り組むという現代的な研究スタイルと、過去のMATHコン受賞作品などの情報にも敏感に反応し活用している点を評価して、このたびの「日本数学検定協会賞」の授賞を決定しました。


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

なお、山本さんの受賞コメントと応募作品への審査委員の講評は以下のとおりです。