ニュースの現場から

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

05 Jan 2026

Audio

Description

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

Transcription

This episode hasn't been transcribed yet

Help us prioritize this episode for transcription by upvoting it.

0 upvotes

🗳️ Sign in to Upvote

Popular episodes get transcribed faster

Other recent transcribed episodes

Transcribed and ready to explore now

13:00H | 21 DIC 2025 | Fin de Semana

01 Jan 1970

Fin de Semana

10:00H | 21 DIC 2025 | Fin de Semana

01 Jan 1970

Fin de Semana

12:00H | 20 DIC 2025 | Fin de Semana

01 Jan 1970

Fin de Semana

2ª PARTE | 06 ENE 2026 | EL PARTIDAZO DE COPE

01 Jan 1970

El Partidazo de COPE

3ª PARTE | 22 ENE 2026 | EL PARTIDAZO DE COPE

01 Jan 1970

El Partidazo de COPE

3ª PARTE | 04 MAR 2026 | EL PARTIDAZO DE COPE

01 Jan 1970

El Partidazo de COPE

Comments

There are no comments yet.

Please log in to write the first comment.

Report any issue

ニュースの現場から

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

This episode hasn't been transcribed yet

Other recent transcribed episodes

13:00H | 21 DIC 2025 | Fin de Semana

10:00H | 21 DIC 2025 | Fin de Semana

12:00H | 20 DIC 2025 | Fin de Semana

2ª PARTE | 06 ENE 2026 | EL PARTIDAZO DE COPE

3ª PARTE | 22 ENE 2026 | EL PARTIDAZO DE COPE

3ª PARTE | 04 MAR 2026 | EL PARTIDAZO DE COPE

Sign in to Audioscrape

Share this moment