2022年12月26日
日本数学検定協会、「MATHコン2022」AIが予想した数式の証明に挑んだ高校2年生が受賞
日本数学検定協会は18日、「塩野直道記念 第10回『算数・数学の自由研究』作品コンクール」(MATHコン)の優秀賞「日本数学検定協会賞」を決定し、受賞者を表彰した。
受賞したのは、「Ramanujan Machineによる未解決予想の証明と昨年度のRimse理事長賞受賞作品における未解決問題の解決」という研究作品を応募した東京都の高校2年生山本修真さん。
山本さんは、「ラマヌジャン・マシン」が予想した式のほとんどが証明されていないことから、それらを証明することを研究の目的に掲げ、実際にいくつかの予想を証明することに成功。さらに、証明した定理の1つが2021年のMATHコン受賞作品である多面体分割問題と深い関わりがあることを発見し、その定理を応用することにより、受賞作品で未解決となっていた問題を解決した。
ラマヌジャン・マシンは、イスラエル工科大学の研究チームが開発したマシン。山本さんの研究は、AIが予想した結果の証明に取り組むという現代的な研究スタイルと、過去のMATHコン受賞作品などの情報にも敏感に反応し活用している点が評価された。
関連URL
最新ニュース
- 「高校デビュー」、イメチェンにかける平均予算は月1万5302円=リクルート調べ=(2025年4月14日)
- 大阪・関西万博に「行く・行くつもりで検討中」と答えた子育て世帯は約26%=いこーよファミリーラボ調べ=(2025年4月14日)
- オーディーエス、2025年度 鳥取県GIGAスクール運営支援センター業務を受託(2025年4月14日)
- 東京電機大学、「医療機器国際展開技術者育成講座」参加申し込みを開始(2025年4月14日)
- 敬心学園、オリジナル学習システム「KEISHIN.net」が日本医専に導入(2025年4月14日)
- 総合学院テクノスカレッジ、「AERA特別授業」を東京都立東久留米総合高校で実施(2025年4月14日)
- ダイナム、小中生向けワークショップ「eスマートボールで学ぶゲームづくり」実施(2025年4月14日)
- 業務の改善、やさしい勉強会#8「社会を支える“税金”の仕組み~暮らしと未来をつなぐお金の話~」30日開催(2025年4月14日)
- NextTeachers、中高教員向けオンライン研修「セルフ授業改善のための視点10選」24日開催(2025年4月14日)
- MIXI、日本科学未来館で「コミュニケーションロボット博」26日開催(2025年4月14日)