2022年12月26日
日本数学検定協会、「MATHコン2022」AIが予想した数式の証明に挑んだ高校2年生が受賞
日本数学検定協会は18日、「塩野直道記念 第10回『算数・数学の自由研究』作品コンクール」(MATHコン)の優秀賞「日本数学検定協会賞」を決定し、受賞者を表彰した。
受賞したのは、「Ramanujan Machineによる未解決予想の証明と昨年度のRimse理事長賞受賞作品における未解決問題の解決」という研究作品を応募した東京都の高校2年生山本修真さん。
山本さんは、「ラマヌジャン・マシン」が予想した式のほとんどが証明されていないことから、それらを証明することを研究の目的に掲げ、実際にいくつかの予想を証明することに成功。さらに、証明した定理の1つが2021年のMATHコン受賞作品である多面体分割問題と深い関わりがあることを発見し、その定理を応用することにより、受賞作品で未解決となっていた問題を解決した。
ラマヌジャン・マシンは、イスラエル工科大学の研究チームが開発したマシン。山本さんの研究は、AIが予想した結果の証明に取り組むという現代的な研究スタイルと、過去のMATHコン受賞作品などの情報にも敏感に反応し活用している点が評価された。
関連URL
最新ニュース
- 8割以上の学生が「将来に向け資格を取得したい」と回答 =アビタス調べ=(2025年4月4日)
- Classi、保護者連絡サービス「tetoru」の自治体連絡機能が東京・北区教委に導入(2025年4月4日)
- コドモン、東京都荒川区の保育所10施設にICTサービス「CoDMON」導入(2025年4月4日)
- 長野県中野市とコドモン、保育DXに関する連携協定を締結(2025年4月4日)
- 大学受験、「どうせ無理」と周囲から言われながらも合格した人の“秘策”とは =A.ver調べ=(2025年4月4日)
- AI英会話アプリ「スピーク」、⽇本⼈の英語 実は訪⽇外国⼈は理解できている説検証(2025年4月4日)
- 東北大学、社会人向け講義「実践的量子ソリューション創出論」受講生募集(2025年4月4日)
- 東京科学大学、社会人向けMOT講座「エッセンシャルMOT夏季集中コース」受講生募集(2025年4月4日)
- 関西外国語大学、外国語学部の学生が生成AIを利用した語学学習システムの研究成果を発表(2025年4月4日)
- 三谷産業、生徒の出欠管理システム「neconome」を金沢大附属高校と開発(2025年4月4日)