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

★★アプリでつながる「記者フォロー」★★
出演した記者の書いた記事や「つぶやき」をご覧頂けます。「おたより」を送ることもできます。出演した記者のページ→　石倉徹也 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.