2022年12月26日
日本数学検定協会、「MATHコン2022」AIが予想した数式の証明に挑んだ高校2年生が受賞
日本数学検定協会は18日、「塩野直道記念 第10回『算数・数学の自由研究』作品コンクール」(MATHコン)の優秀賞「日本数学検定協会賞」を決定し、受賞者を表彰した。
受賞したのは、「Ramanujan Machineによる未解決予想の証明と昨年度のRimse理事長賞受賞作品における未解決問題の解決」という研究作品を応募した東京都の高校2年生山本修真さん。
山本さんは、「ラマヌジャン・マシン」が予想した式のほとんどが証明されていないことから、それらを証明することを研究の目的に掲げ、実際にいくつかの予想を証明することに成功。さらに、証明した定理の1つが2021年のMATHコン受賞作品である多面体分割問題と深い関わりがあることを発見し、その定理を応用することにより、受賞作品で未解決となっていた問題を解決した。
ラマヌジャン・マシンは、イスラエル工科大学の研究チームが開発したマシン。山本さんの研究は、AIが予想した結果の証明に取り組むという現代的な研究スタイルと、過去のMATHコン受賞作品などの情報にも敏感に反応し活用している点が評価された。
関連URL
最新ニュース
- 学校~保護者間の連絡、デジタル化は「教員」41%、「保護者」46%=LINEヤフー調べ=(2025年2月18日)
- プログラミングスクール受講者、93.6%が「オンライン授業だけで学習」=GMOメディア調べ=(2025年2月18日)
- 年収の高い企業は「志望度が上がる」と回答した20代が約9割 =学情調べ=(2025年2月18日)
- 73.2%の学生がインターンシップ・仕事体験と、学業・定期試験の両立で苦労=マイナビ調べ=(2025年2月18日)
- 横浜市、教員採用試験にSPI3導入した【春チャレンジ選考試験】実施(2025年2月18日)
- エン・ジャパン、茨城県の「教員」採用プロジェクトを開始(2025年2月18日)
- 埼玉工業大学、自動運転サービス社会実装に向け「自動運転専攻 ティアフォー連携室」新設(2025年2月18日)
- ⽇本⼯学院⼋王⼦専⾨学校内に「オートデスクイノベーションセンター」を共同開設(2025年2月18日)
- TENHO、北海道函館工業高校に「AI共創型探究学習プログラム」を提供開始(2025年2月18日)
- 情報オリンピック日本委員会、中高生対象「第24回日本情報オリンピック」成績優秀者を決定(2025年2月18日)