{"api":"discoveria/1","endpoint":"/api/evenements.json","genere_le":"2026-10-18T17:58:45Z","source":{"depot":null,"commit":"f47441d0f03f4d0804cda52a2f84062a6b9a228f"},"licence":{"id":"CC-BY-4.0","url":"https://creativecommons.org/licenses/by/4.0/","attribution":"DiscoverIA"},"schema_donnees":2,"donnees":{"evenements":[{"id":"karagila-lean-2026-10-10","type":"reaction-blog","titre":"Asaf Karagila, 'Why I don't trust Lean code from AI'","date":{"valeur":"2026-10-10","precision":"jour","note":"Oct 10 2026 (flux)"},"avancees":[],"rattachement":"editorial","source":{"url":"https://karagila.org/2026/lean/","fiabilite":"PAGE","consulte_le":"2026-10-11","citations":[],"repost":null}},{"id":"retraction-watch-2026-10-08","type":"presse","titre":"Retraction Watch : OpenAI withdraws three preprints a day after releasing 722 manuscripts","date":{"valeur":"2026-10-08","precision":"jour"},"avancees":["oai-math-release-2026-10-06","oai-withdrawn-weil-classes-2026-10-07"],"rattachement":"editorial","source":{"url":"https://retractionwatch.com/2026/10/08/openai-withdraws-preprints-722-manuscripts-unsolved-math-problems/","fiabilite":"PAGE","consulte_le":"2026-10-11","citations":["roughly 50% of the results were released unconfirmed"],"repost":null}},{"id":"proofsandprompts-100-reactions","type":"agregat-reactions","titre":"Proofs and Prompts : 100+ reactions to 100+ solutions","date":{"valeur":"2026-10-08","precision":"jour"},"avancees":["oai-math-release-2026-10-06"],"rattachement":"editorial","source":{"url":"https://proofsandprompts.com/2026/10/08/100-reactions-to-100-solutions/","fiabilite":"PAGE-WF","consulte_le":"2026-10-11","citations":[],"repost":null}},{"id":"ahm-statement-2026-10-07","type":"contestation-institutionnelle","titre":"Déclaration de l'Association for Human Mathematics sur la publication OpenAI du 6 octobre","date":{"valeur":"2026-10-07","precision":"jour","note":"2026-10-07 (flux Tao 'pubDate' ; la page ahmath.org est non datée mais dit 'Yesterday, on October 6th, 2026')"},"avancees":["oai-math-release-2026-10-06"],"rattachement":"editorial","source":{"url":"https://www.ahmath.org/statements","fiabilite":"PAGE","consulte_le":"2026-10-11","citations":["Releasing over 700 files at once is not a demonstration of scholarship"],"repost":"https://terrytao.wordpress.com/2026/10/07/ahm-statement-on-openais-october-6-release-of-mathematical-documents/"}},{"id":"nature-news-2026-10-07","type":"presse","titre":"Nature : OpenAI posts 700 maths preprints online: mathematicians are up in arms","date":{"valeur":"2026-10-07","precision":"jour","note":"2026-10-07 (mis à jour 2026-10-09)"},"avancees":["oai-math-release-2026-10-06"],"rattachement":"editorial","source":{"url":"https://www.nature.com/articles/d41586-026-03196-8","fiabilite":"PAGE","consulte_le":"2026-10-11","citations":["staggering"],"repost":null}},{"id":"washington-post-2026-10-07","type":"presse","titre":"Washington Post : OpenAI releases progress on more than 300 math research problems","date":{"valeur":"2026-10-07","precision":"jour","note":"2026-10-07 (URL)"},"avancees":["oai-math-release-2026-10-06"],"rattachement":"editorial","source":{"url":"https://www.washingtonpost.com/technology/2026/10/07/openai-releases-progress-more-than-300-math-research-problems/","fiabilite":"SNIPPET","consulte_le":"2026-10-11","citations":[],"repost":null}},{"id":"aaronson-mathocalypse-2026-10-07","type":"reaction-blog","titre":"Scott Aaronson, 'The Mathocalypse'","date":{"valeur":"2026-10-07","precision":"jour","note":"Wed, 07 Oct 2026 (flux RSS) ; mises à jour 2026-10-09"},"avancees":["oai-math-release-2026-10-06"],"rattachement":"editorial","source":{"url":"https://scottaaronson.blog/?p=10169","fiabilite":"PAGE","consulte_le":"2026-10-11","citations":["no human has understood just about any of these proofs yet"],"repost":null}},{"id":"tao-blog-oct-2026","type":"reaction-blog","titre":"Billets de Terence Tao : Math 2.0 (2026-10-10), Hales sur Lean et fiabilité (2026-10-09), Bloom sur les changements du site erdosproblems.com (2026-10-06), Hexagon (2026-10-06)","date":{"valeur":"2026-10-06","precision":"jour","note":"2026-10-06 à 2026-10-10"},"avancees":["oai-math-release-2026-10-06","antieau-hodge-numbers-hexagon"],"rattachement":"editorial","source":{"url":"https://terrytao.wordpress.com/feed/","fiabilite":"PAGE","consulte_le":"2026-10-11","citations":["excessive emphasis on automated solving of open problems by AI"],"repost":null}},{"id":"bastounis-lost-in-translation-2026-10-06","type":"contestation-technique","titre":"Navier-Stokes lost in translation : Lean ne garantit pas la correction de la preuve en langage naturel","date":{"valeur":"2026-10-06","precision":"jour"},"avancees":["oai-navier-stokes-2026-09-08"],"rattachement":"editorial","source":{"url":"https://arxiv.org/abs/2610.08144","fiabilite":"PAGE","consulte_le":"2026-10-11","citations":["the formalised Lean proof does not correspond to the NL proof"],"repost":null}},{"id":"leiden-declaration-2026-06","type":"contexte","titre":"Leiden Declaration (juin 2026), critique des annonces d'entreprises IA par communiqué ; endossée par l'IMU selon un résumé","date":{"valeur":"2026-06","precision":"mois"},"avancees":[],"rattachement":"editorial","source":{"url":null,"fiabilite":"SNIPPET","consulte_le":"2026-10-11","citations":[],"repost":null}}]}}