{"version":"https://jsonfeed.org/version/1.1","title":"postipod","home_page_url":"https://pods-postite-com.pages.dev","feed_url":"https://pods-postite-com.pages.dev/json/","description":"","icon":"https://pub-c136082c4fa749649cd34e9269307ad4.r2.dev/pods-postite-com/production/images/channel-d521a0c4946b5fc2429ae1d220195395.png","favicon":"https://pods-postite-com.pages.dev/assets/default/favicon.png","authors":[{"name":"postite"}],"language":"fr-fr","expired":true,"items":[{"id":"6WMKdaWh_lX","title":"[listen_playlist]Ce que cette IA vient d'écrire va changer la science","attachments":[{"url":"https://pub-c136082c4fa749649cd34e9269307ad4.r2.dev/pods-postite-com/production/media/audio-6cd09682a81e25321d0ffa6ae6a4c241.mp3","mime_type":"audio/mpeg","duration_in_seconds":1364}],"url":"https://www.youtube.com/watch?v=Rw8HYzPLfR8","content_html":"📩 Chaque jour, l'actu IA décryptée et comment vous en servir, dans ma newsletter gratuite The Upgrade. En vous inscrivant cette semaine, vous recevez le guide pour apprendre à utiliser Claude : https://theupgrade.news/guides\n\nLe 6 octobre, sans conférence ni keynote, OpenAI met en ligne un dossier de 722 textes de mathématiques, écrits presque tous par une IA interne que personne ne peut utiliser. Dedans : le nombre π, un problème posé par Hilbert en 1900, et l'énigme la plus célèbre des mathématiques, l'hypothèse de Riemann, à un million de dollars.\n\n722 textes, ce n'est pas 722 grands problèmes résolus. Deux jours plus tard, trois textes sont retirés à cause d'un signe moins. Alors, qui va relire tout ça ? Et que devient la science quand les réponses arrivent plus vite qu'on ne peut les comprendre ?\n\nDans cette vidéo :\n• ce que contient vraiment le dossier d'OpenAI : 722 textes, 372 familles de résultats, 17 domaines, environ 4 000 problèmes soumis à une IA interne ;\n• cinq textes ouverts : la feuille infinie à colorier, π, l'hypothèse de Riemann, la multiplication de matrices et le 10e problème de Hilbert ;\n• le signe moins, et l'histoire de l'enveloppe de Dyson, Lieb et Simon : même les meilleurs se trompent ;\n• Lean, le vérificateur de preuves, et la vérification indépendante du « mur » de Riemann ;\n• les réactions : Terence Tao, Kevin Buzzard, l'Association for Human Mathematics, les médaillés Fields du groupe consultatif, les étudiants ;\n• ce qui devient précieux quand la réponse devient moins rare.\n\n\nChapitres :\n00:00 722 textes de maths publiés d'un coup\n01:14 Une avalanche jamais vue\n02:37 722 textes, ça veut dire quoi ?\n04:04 La feuille infinie à colorier\n05:30 π, un nombre plus sage que prévu\n07:46 Riemann, l'énigme à un million de dollars\n09:51 Les calculs au cœur de ChatGPT\n11:08 Hilbert : une machine qui démontre ses propres limites\n12:23 Et des centaines d'autres résultats\n13:40 Trop beau pour être vrai ? L'histoire de l'enveloppe\n15:39 Lean, le vérificateur qui ne devine rien\n17:13 Le mur de Riemann revérifié de l'extérieur\n17:53 Ce que craint Terence Tao\n18:47 Les mathématiciens divisés\n20:46 Ce qui devient précieux\n\nSources :\n• OpenAI, l'annonce (06/10) : https://openai.com/index/sharing-ai-progress-in-mathematics/\n• Le dossier openai/math (textes, preuves Lean, retraits du 08/10) : https://github.com/openai/math\n• La vérification indépendante du mur de Riemann : https://github.com/davegoldblatt/openai-zeta-proof-check\n• Scientific American (06/10) : https://www.scientificamerican.com/article/openai-unleashes-hundreds-more-math-results-upon-a-field-already-in-shock/\n• Terence Tao (Mathstodon, 06/10) : https://mathstodon.xyz/@tao/117395267721642920\n• Le groupe consultatif AGMAI (06/10) : https://agmai.org/statement-oct6/\n• L'Association for Human Mathematics (07/10) : https://www.ahmath.org/statements\n• Kevin Buzzard (01/10) : https://xenaproject.wordpress.com/2026/10/01/to-grieve-or-not-to-grieve/\n• Álvaro Lozano-Robledo, « What should we tell our students? » (08/10) : https://terrytao.wordpress.com/2026/10/08/what-should-we-tell-our-students/\n• Hexagon, l'archive de Ben Antieau : https://hexagonmath.org\n• Google DeepMind, niveau or aux Olympiades (2025) : https://deepmind.google/blog/advanced-version-of-gemini-with-deep-think-officially-achieves-gold-medal-standard-at-the-international-mathematical-olympiad/\n\n#IA #OpenAI #Mathématiques","content_text":"📩 Chaque jour, l'actu IA décryptée et comment vous en servir, dans ma\nnewsletter gratuite The Upgrade. En vous inscrivant cette semaine, vous recevez\nle guide pour apprendre à utiliser Claude : https://theupgrade.news/guides Le 6\noctobre, sans conférence ni keynote, OpenAI met en ligne un dossier de 722\ntextes de mathématiques, écrits presque tous par une IA interne que personne ne\npeut utiliser. Dedans : le nombre π, un problème posé par Hilbert en 1900, et\nl'énigme la plus célèbre des mathématiques, l'hypothèse de Riemann, à un million\nde dollars. 722 textes, ce n'est pas 722 grands problèmes résolus. Deux jours\nplus tard, trois textes sont retirés à cause d'un signe moins. Alors, qui va\nrelire tout ça ? Et que devient la science quand les réponses arrivent plus vite\nqu'on ne peut les comprendre ? Dans cette vidéo : • ce que contient vraiment le\ndossier d'OpenAI : 722 textes, 372 familles de résultats, 17 domaines, environ 4\n000 problèmes soumis à une IA interne ; • cinq textes ouverts : la feuille\ninfinie à colorier, π, l'hypothèse de Riemann, la multiplication de matrices et\nle 10e problème de Hilbert ; • le signe moins, et l'histoire de l'enveloppe de\nDyson, Lieb et Simon : même les meilleurs se trompent ; • Lean, le vérificateur\nde preuves, et la vérification indépendante du « mur » de Riemann ; • les\nréactions : Terence Tao, Kevin Buzzard, l'Association for Human Mathematics, les\nmédaillés Fields du groupe consultatif, les étudiants ; • ce qui devient\nprécieux quand la réponse devient moins rare. Chapitres : 00:00 722 textes de\nmaths publiés d'un coup 01:14 Une avalanche jamais vue 02:37 722 textes, ça veut\ndire quoi ? 04:04 La feuille infinie à colorier 05:30 π, un nombre plus sage que\nprévu 07:46 Riemann, l'énigme à un million de dollars 09:51 Les calculs au cœur\nde ChatGPT 11:08 Hilbert : une machine qui démontre ses propres limites 12:23 Et\ndes centaines d'autres résultats 13:40 Trop beau pour être vrai ? L'histoire de\nl'enveloppe 15:39 Lean, le vérificateur qui ne devine rien 17:13 Le mur de\nRiemann revérifié de l'extérieur 17:53 Ce que craint Terence Tao 18:47 Les\nmathématiciens divisés 20:46 Ce qui devient précieux Sources : • OpenAI,\nl'annonce (06/10) : https://openai.com/index/sharing-ai-progress-in-mathematics/\n• Le dossier openai/math (textes, preuves Lean, retraits du 08/10) :\nhttps://github.com/openai/math • La vérification indépendante du mur de Riemann\n: https://github.com/davegoldblatt/openai-zeta-proof-check • Scientific American\n(06/10) :\nhttps://www.scientificamerican.com/article/openai-unleashes-hundreds-more-math-results-upon-a-field-already-in-shock/\n• Terence Tao (Mathstodon, 06/10) :\nhttps://mathstodon.xyz/@tao/117395267721642920 • Le groupe consultatif AGMAI\n(06/10) : https://agmai.org/statement-oct6/ • L'Association for Human\nMathematics (07/10) : https://www.ahmath.org/statements • Kevin Buzzard (01/10)\n: https://xenaproject.wordpress.com/2026/10/01/to-grieve-or-not-to-grieve/ •\nÁlvaro Lozano-Robledo, « What should we tell our students? » (08/10) :\nhttps://terrytao.wordpress.com/2026/10/08/what-should-we-tell-our-students/ •\nHexagon, l'archive de Ben Antieau : https://hexagonmath.org • Google DeepMind,\nniveau or aux Olympiades (2025) :\nhttps://deepmind.google/blog/advanced-version-of-gemini-with-deep-think-officially-achieves-gold-medal-standard-at-the-international-mathematical-olympiad/\n#IA #OpenAI #Mathématiques","image":"https://pub-c136082c4fa749649cd34e9269307ad4.r2.dev/pods-postite-com/production/media/image-68f2643a2b7a0fff9554634e5b019eb4.jpg","date_published":"2026-10-12T00:10:25.211Z","_microfeed":{"is_audio":true,"is_document":false,"is_external_url":false,"is_video":false,"is_image":false,"web_url":"https://pods-postite-com.pages.dev/i/listenplaylistce-que-cette-ia-vient-decrire-va-6WMKdaWh_lX/","json_url":"https://pods-postite-com.pages.dev/i/6WMKdaWh_lX/json/","rss_url":"https://pods-postite-com.pages.dev/i/6WMKdaWh_lX/rss/","guid":"6WMKdaWh_lX","status":"published","duration_hhmmss":"00:22:44","date_published_short":"Sun Oct 11 2026","date_published_ms":1791763825211}}],"_microfeed":{"microfeed_version":"0.1.2","base_url":"https://pods-postite-com.pages.dev","categories":[{"name":"Arts","categories":[{"name":"Books"}]}],"subscribe_methods":[{"name":"RSS","type":"rss","url":"https://pods-postite-com.pages.dev/rss/","image":"https://pods-postite-com.pages.dev/assets/brands/subscribe/rss.png","enabled":true,"editable":false,"id":"klmDAyc7Bv7"},{"name":"JSON","type":"json","url":"https://pods-postite-com.pages.dev/json/","image":"https://pods-postite-com.pages.dev/assets/brands/subscribe/json.png","enabled":true,"editable":false,"id":"AXFCGvT-TkO"},{"name":"Apple Podcasts","type":"apple podcasts","url":"podcast:://pods-postite-com.pages.dev/rss/","image":"https://pods-postite-com.pages.dev/assets/brands/subscribe/apple.jpg","enabled":true,"editable":true,"id":"dk2AoEQ3ppl"}],"description_text":"","itunes:explicit":true,"copyright":"©2024","itunes:type":"episodic","itunes:block":true,"itunes:complete":true,"items_sort_order":"newest_first"}}