# OpenAI revendique une réfutation et lance GPT-6.1 Terra > OpenAI affirme que ses modèles ont réfuté l’Exponential Time Hypothesis, puis lance GPT-6.1 Terra, un modèle moins cher pour automatiser les logiciels. Type : Actualité IA · Catégorie : Stratégie · Publié le 2026-10-27 · Signal IA - Order & Chaos · Secteur : Comptabilité Source : https://www.orderchaos.eu/signal-ia/actu/openai-revendique-une-refutation-et-lance-gpt-61-terra Tags : openai, modèles, automatisation, recherche, productivité, chatgpt --- ## En résumé - OpenAI affirme que ses modèles ont réfuté l’Exponential Time Hypothesis. - Lean a vérifié le résultat présenté par OpenAI le 17 octobre 2026. - GPT-6.1 Terra coûte 1 dollar par million de jetons en entrée. **Le signal :** OpenAI affirme que Lean a vérifié la réfutation de l’Exponential Time Hypothesis le 17 octobre 2026. **[OpenAI](/signal-ia/actu/ethan-mollick-revele-la-puissance-de-gpt-55-pro) revendique une réfutation** de l’Exponential Time Hypothesis, une hypothèse informatique formulée autour de la satisfiabilité booléenne. L’entreprise affirme que ses modèles ont trouvé le contre-exemple le 16 octobre 2026. Un programme de vérification nommé Lean aurait contrôlé le résultat dès le lendemain. Cette hypothèse sert de base à des centaines de travaux sur les bases de données et la biologie computationnelle. Sa réfutation rendrait ouvertes plusieurs limites de vitesse actuellement utilisées dans ces domaines. OpenAI présente toutefois ses manuscrits comme des données de recherche brutes. Un groupe d’experts doit encore examiner la signification exacte du résultat. Il est dirigé par Russell Impagliazzo, Ramamohan Paturi et Ryan Williams. **Une vérification indépendante** doit donc suivre cette annonce. Impagliazzo et Paturi figurent parmi les trois chercheurs ayant proposé l’Exponential Time Hypothesis. Leur groupe doit déterminer si la démonstration produite par une machine réfute réellement l’hypothèse. OpenAI indique aussi que transformer cette réfutation en logiciels plus rapides nécessitera d’importants travaux supplémentaires. La physique avance selon un calendrier distinct. Un groupe dirigé par le prix Nobel David Gross retient son résultat sur la chromodynamique quantique pendant la rédaction de sa propre présentation. OpenAI a accepté de financer une conférence consacrée à ces travaux. Le verdict du groupe sur l’ETH constituera donc le prochain test public de cette démonstration automatisée. ## OpenAI lance GPT-6.1 Terra **GPT-6.1 Terra cible l’[automatisation](/signal-ia/actu/chatham-valide-une-transaction-en-moins-de-4-minutes)** des logiciels de bureau. Le modèle observe un écran, clique, saisit du texte et passe d’une application à l’autre. OpenAI cite notamment la lecture de factures entrantes et leur saisie dans un logiciel de comptabilité. Terra coûte 1 dollar par million de jetons en entrée et 5 dollars par million de jetons en sortie. Ces tarifs représentent la moitié de ceux de GPT-6.1 Sol. OpenAI affirme aussi que Terra obtient 15 points supplémentaires par rapport à son prédécesseur sur Agents’ Last Exam. Selon l’entreprise, Terra égale Astra à un dixième du prix par jeton et termine plus de trois fois plus vite qu’Astra et Sol. **Les tests réduisent l’écart** annoncé par OpenAI. NerdsChalk a comparé Terra et Sol sur trois tâches courtes. Sol a mis environ 1,8 fois plus de temps que Terra. Dans un autre essai, Terra a rempli un formulaire de quinze champs en 9,4 secondes en médiane. Sol a pris 17,3 secondes. Les deux modèles ont correctement rempli chaque champ lors des trois exécutions. Luna, le modèle le moins cher, a réussi seulement une exécution sur trois. Gigazine rapporte aussi que Terra a terminé plus de deux minutes avant Sol lors d’un formulaire long. Ces résultats montrent l’intérêt de mesurer simultanément la durée et l’exactitude sur une tâche contrôlable. ## Terra oppose vitesse et exactitude **OpenAI recommande un essai local** avant de choisir un modèle moins cher. L’utilisateur peut créer un formulaire jetable avec des données fictives, puis donner les mêmes instructions à deux modèles. Trois exécutions par modèle permettent de comparer le nombre de réponses entièrement correctes et le temps nécessaire. Les agents capables de cliquer sur des pages peuvent être trompés par leur contenu. Le test doit donc éviter les données réelles et ne pas envoyer le formulaire. Terra apparaît dans le sélecteur de modèles de [ChatGPT](/signal-ia/actu/diogo-almeida-lance-jev-lia-qui-decide-sans-rediger) Work ou Codex pour les offres Plus, Pro, Enterprise et Edu. OpenAI décrit ces comparaisons comme indicatives, car trois essais ne constituent pas une étude scientifique. **Le reste du marché** multiplie les annonces liées aux agents. Anthropic a déposé un projet d’introduction en Bourse sous le symbole ANT. L’entreprise déclare 16,29 milliards de dollars de revenus au premier semestre et une perte nette de 80,75 milliards, dont 72,4 milliards de charge comptable exceptionnelle. Microsoft a proposé des départs volontaires à environ 60 000 salariés éligibles, soit près de 27 % de ses effectifs. Meta a lancé environ 35 milliards de dollars d’émissions d’actions dans le cadre d’un plan de financement de 95 milliards pour l’IA. SpaceX a signé un contrat de location de processeurs graphiques d’environ 40 milliards de dollars, avec des livraisons prévues au premier semestre 2027. **Les prochaines validations comptent** davantage que les annonces seules. Le groupe mené par Impagliazzo, Paturi et Williams doit examiner la réfutation de l’ETH. Le groupe dirigé par David Gross doit publier sa propre présentation du résultat physique. Pour Terra, la comparaison entre vitesse et exactitude peut être reproduite sur des formulaires, des lignes de tableur ou des factures fictives. OpenAI présente son modèle comme une option moins coûteuse pour les tâches informatiques. Les essais de NerdsChalk donnent toutefois un avantage de vitesse inférieur à celui annoncé par OpenAI. [Lire l’annonce complète de The Neuron](https://www.theneurondaily.com/p/openai-s-big-day-brought-a-disproof-and-terra). [Découvrir Entire, le forge de code pour agents](https://entire.com/blog/the-git-forge-for-agent-human-collaboration?utm_source=theneuron).