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

★★アプリでつながる「記者フォロー」★★ 出演した記者の書いた記事や「つぶやき」をご覧頂けます。「おたより」を送ることもできます。出演した記者のページ→ 石倉徹也 https://buff.ly/Hff8Gs4 【番組内容】 数学界最大の論争となっている「ABC予想」。その証明の正否を、コンピューターソフトを使って検証する動きが出てきています。京都大の望月新一教授も「勇気づけられ」、ショルツ氏も威力を実感したという“Lean”とは… もし証明が真なら「数学界が謝罪する」ことになる？ナビゲーターの石倉徹也がやさしく語ります。 【おすすめ】 ABC予想証明の正否、コンピューターで決着か 望月氏が打開策示す https://www.asahi.com/articles/ASTCY1BZVTCYDIFI00XM.html?ref=omny AIは数学者になれるか 数学界に衝撃、証明検証ソフトLean登場 https://www.asahi.com/articles/ASTD333PNTD3DIFI004M.html?ref=omny ABC予想とは？ アニメで解説、世紀の難問 - たし算とかけ算の謎に迫る https://www.asahi.com/special/abc-conjecture/?ref=omny 【出演者】 ナビゲーター 石倉徹也 https://buff.ly/SXOjbC9 MC・音源編集 下地達也 過去の番組一覧 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_lp See omnystudio.com/listener for privacy information.