（カガク #11）ABC予想証明の正否、コンピューターで決着か… ショルツ氏も威力を実感した“Lean”ってなに？

★★アプリでつながる「記者フォロー」★★出演した記者の書いた記事や「つぶやき」をご覧頂けます。「おたより」を送ることもできます。出演した記者のページ→　石倉徹也 https://buff.ly/Hff8Gs4【番組内容】数学界最大の論争となっている「ABC予想」。その証明の正否を、コンピューターソフトを使って検証する動きが出てきています。京都大の望月新一教授も「勇気づけられ」、ショルツ氏も威力を実感したという“Lean”とは… もし証明が真なら「数学界が謝罪する」ことになる？ナビゲーターの石倉徹也がやさしく語ります。 【おすすめ】ABC予想証明の正否、コンピューターで決着か　望月氏が打開策示すhttps://www.asahi.com/articles/ASTCY1BZVTCYDIFI00XM.html?ref=omnyAIは数学者になれるか　数学界に衝撃、証明検証ソフトLean登場https://www.asahi.com/articles/ASTD333PNTD3DIFI004M.html?ref=omnyABC予想とは？　アニメで解説、世紀の難問 - たし算とかけ算の謎に迫るhttps://www.asahi.com/special/abc-conjecture/?ref=omny 【出演者】ナビゲーター 石倉徹也 https://buff.ly/SXOjbC9MC・音源編集 下地達也過去の番組一覧https://www.asahi.com/special/podcasts/?pgid=kagakuwohiraku 【おねがい】朝日新聞ポッドキャストは、みなさまからの購読料で配信しています。番組継続のため、会員登録をお願いします！ http://t.asahi.com/womz【朝ポキ情報】アプリで記者と対話 http://t.asahi.com/won1交流はdiscord https://bit.ly/asapoki_discordおたよりフォーム https://bit.ly/asapoki_otayori朝ポキTV https://www.youtube.com/@asapoki_officialメルマガ https://bit.ly/asapoki_newsletter広告ご検討の企業様は http://t.asahi.com/asapokiguide番組検索ツール https://bit.ly/asapoki_cast最新情報はX https://bit.ly/asapoki_twitter番組カレンダー https://bit.ly/asapki_calendar全話あります公式サイト https://bit.ly/asapoki_lpSee omnystudio.com/listener for privacy information.