Bruxelles, 9 octobre 2026
Sept cent vingt-deux manuscrits mathématiques produits par l'intelligence artificielle d'OpenAI, publiés d'un seul coup : c'est le chiffre que Numerama rapportait jeudi 8 octobre.
L'Association for Human Mathematics ne s'est pas arrêtée au chiffre : elle a appelé ses pairs à cesser toute collaboration avec OpenAI. La formule « Ce n'est pas une démonstration d'érudition, mais de force » vise la publication de plus de sept cents fichiers d'un seul coup. Terence Tao, médaillé Fields en 2006, a repris l'appel de l'Association sur son blog.
Le même jour, The Decoder rapportait dans Some mathematicians call for OpenAI boycott EN que plus de sept cents manuscrits avaient été mis en ligne et que trois d'entre eux avaient déjà été retirés, à cause d'une erreur de signe. Selon The Decoder, c'est OpenAI qui les a retirés : trois retraits sur plus de sept cents.
Les chiffres du 7 et du 8 octobre ne se superposent pas. The Decoder avait signalé la veille, dans OpenAI dumps 372 AI-generated math proofs on GitHub EN, que 372 résultats avaient été déposés sur GitHub, dont beaucoup accompagnés de formalisations Lean, pour environ trois heures de calcul ChatGPT Pro en moyenne chacun. Le lendemain, le même site parlait de plus de 700 manuscrits, et Numerama de 722 : aucune des sources ne dit si les 372 résultats de GitHub font partie de ces 722 manuscrits.
Chez Zenity Labs, des chercheurs ont montré qu'un seul agent public, et une seule requête EN, suffisaient à prendre le contrôle de tous les agents du même compte AWS. L'attaque passait par Bedrock AgentCore : un agent public, mis à disposition de tous, devenait porte d'entrée pour l'ensemble du compte. Selon le site, AWS a depuis corrigé en partie la faille et resserré les permissions accordées par défaut aux agents.
Le vendredi 9 octobre, le Syndicat national des journalistes appelait à la grève dans les neuf quotidiens du groupe EBRA. Le plan contesté prévoit de réduire les effectifs de près de 10 % et de recourir davantage à l'IA, comme le rapporte Le Monde.
Le moteur de recherche berlinois Ecosia a annoncé qu'il abandonnait Mistral pour des modèles chinois, la semaine même où la start-up française présentait Large 4. Dans ses raisons, Ecosia invoque la qualité, la souveraineté et l'énergie nucléaire française, ce que relève Numerama. Numerama nomme les remplaçants, hébergés par la plateforme allemande Melious : Qwen (Alibaba), GLM (Z.ai) et Kimi (Moonshot AI).
Au 8 octobre, des mathématiciens demandaient à leurs pairs de cesser toute collaboration avec l'entreprise, et trois textes avaient déjà disparu pour une erreur de signe.
— John Linotte · Section des Billets · Bruxelles · mmxxvi