<?xml version='1.0' encoding='UTF-8'?>
<?xml-stylesheet href="/rss/stylesheet/" type="text/xsl"?>
<rss xmlns:content='http://purl.org/rss/1.0/modules/content/' xmlns:taxo='http://purl.org/rss/1.0/modules/taxonomy/' xmlns:rdf='http://www.w3.org/1999/02/22-rdf-syntax-ns#' xmlns:itunes='http://www.itunes.com/dtds/podcast-1.0.dtd' xmlns:googleplay="http://www.google.com/schemas/play-podcasts/1.0" xmlns:dc='http://purl.org/dc/elements/1.1/' xmlns:atom='http://www.w3.org/2005/Atom' xmlns:podbridge='http://www.podbridge.com/podbridge-ad.dtd' version='2.0'>
<channel>
  <title>postipod</title>
  <language>fr-fr</language>
  <generator>microfeed.org</generator>
  <itunes:type>episodic</itunes:type>
  <itunes:explicit>true</itunes:explicit>
  <atom:link rel="self" href="https://pods-postite-com.pages.dev/rss/" type="application/rss+xml"/>
  <link>https://pods-postite-com.pages.dev</link>
  <itunes:author>postite</itunes:author>
  <itunes:image href="https://pub-c136082c4fa749649cd34e9269307ad4.r2.dev/pods-postite-com/production/images/channel-d521a0c4946b5fc2429ae1d220195395.png"/>
  <image>
    <title>postipod</title>
    <url>https://pub-c136082c4fa749649cd34e9269307ad4.r2.dev/pods-postite-com/production/images/channel-d521a0c4946b5fc2429ae1d220195395.png</url>
    <link>https://pods-postite-com.pages.dev</link>
  </image>
  <copyright>©2024</copyright>
  <itunes:block>Yes</itunes:block>
  <itunes:complete>Yes</itunes:complete>
  <itunes:category text="Arts">
    <itunes:category text="Books"/>
  </itunes:category>
  <item>
    <title>[listen_playlist]Ce que cette IA vient d&apos;écrire va changer la science</title>
    <guid>6WMKdaWh_lX</guid>
    <pubDate>Mon, 12 Oct 2026 00:10:25 GMT</pubDate>
    <itunes:explicit>false</itunes:explicit>
    <description>
      <![CDATA[📩 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

Le 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.

722 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 ?

Dans cette vidéo :
• 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 ;
• cinq textes ouverts : la feuille infinie à colorier, π, l'hypothèse de Riemann, la multiplication de matrices et le 10e problème de Hilbert ;
• le signe moins, et l'histoire de l'enveloppe de Dyson, Lieb et Simon : même les meilleurs se trompent ;
• Lean, le vérificateur de preuves, et la vérification indépendante du « mur » de Riemann ;
• les réactions : Terence Tao, Kevin Buzzard, l'Association for Human Mathematics, les médaillés Fields du groupe consultatif, les étudiants ;
• ce qui devient précieux quand la réponse devient moins rare.


Chapitres :
00:00 722 textes de maths publiés d'un coup
01:14 Une avalanche jamais vue
02:37 722 textes, ça veut dire quoi ?
04:04 La feuille infinie à colorier
05:30 π, un nombre plus sage que prévu
07:46 Riemann, l'énigme à un million de dollars
09:51 Les calculs au cœur de ChatGPT
11:08 Hilbert : une machine qui démontre ses propres limites
12:23 Et des centaines d'autres résultats
13:40 Trop beau pour être vrai ? L'histoire de l'enveloppe
15:39 Lean, le vérificateur qui ne devine rien
17:13 Le mur de Riemann revérifié de l'extérieur
17:53 Ce que craint Terence Tao
18:47 Les mathématiciens divisés
20:46 Ce qui devient précieux

Sources :
• OpenAI, l'annonce (06/10) : https://openai.com/index/sharing-ai-progress-in-mathematics/
• Le dossier openai/math (textes, preuves Lean, retraits du 08/10) : https://github.com/openai/math
• La vérification indépendante du mur de Riemann : https://github.com/davegoldblatt/openai-zeta-proof-check
• Scientific American (06/10) : https://www.scientificamerican.com/article/openai-unleashes-hundreds-more-math-results-upon-a-field-already-in-shock/
• Terence Tao (Mathstodon, 06/10) : https://mathstodon.xyz/@tao/117395267721642920
• Le groupe consultatif AGMAI (06/10) : https://agmai.org/statement-oct6/
• L'Association for Human Mathematics (07/10) : https://www.ahmath.org/statements
• Kevin Buzzard (01/10) : https://xenaproject.wordpress.com/2026/10/01/to-grieve-or-not-to-grieve/
• Álvaro Lozano-Robledo, « What should we tell our students? » (08/10) : https://terrytao.wordpress.com/2026/10/08/what-should-we-tell-our-students/
• Hexagon, l'archive de Ben Antieau : https://hexagonmath.org
• 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/

#IA #OpenAI #Mathématiques]]>
    </description>
    <link>https://www.youtube.com/watch?v=Rw8HYzPLfR8</link>
    <itunes:image href="https://pub-c136082c4fa749649cd34e9269307ad4.r2.dev/pods-postite-com/production/media/image-68f2643a2b7a0fff9554634e5b019eb4.jpg"/>
    <enclosure url="https://pub-c136082c4fa749649cd34e9269307ad4.r2.dev/pods-postite-com/production/media/audio-6cd09682a81e25321d0ffa6ae6a4c241.mp3" type="audio/mpeg"/>
    <itunes:duration>00:22:44</itunes:duration>
  </item>
</channel>
</rss>