GPT-5 et la conjecture d'Erdős : validation formelle d'une découverte autonome

Le Pitch

OpenAI vient de publier une preuve autonome réfutant la conjecture d'Erdős sur les distances unitaires planes, un problème ouvert depuis 80 ans. Contrairement aux hallucinations de recherche documentaire observées fin 2025, ce résultat est ancré dans une vérification formelle rigoureuse (source : OpenAI Announcement May 2026).

Sous le capot

Le modèle a identifié une famille infinie de configurations de points avec au moins n^(1+δ) paires de distances unitaires. Ce n'est pas une simple extrapolation statistique : la preuve a été intégralement vérifiée dans l'assistant de preuve Lean 4, et le dépôt est accessible publiquement (source : GitHub 'math-inc/Erdos1196').

Des mathématiciens de renom comme Terence Tao et Thomas Bloom ont confirmé la nouveauté de l'approche. GPT-5 a appliqué la théorie algébrique des nombres à un problème de géométrie discrète, un saut interdisciplinaire jusqu'ici réservé aux humains. GPT-5 Pro domine désormais les benchmarks avec 52,4 % sur FrontierMath et 99,4 % sur MATH-500 (source : BenchLM.ai/Vellum).

Le passif d'OpenAI incite toutefois à la prudence, notamment après l'incident "Kevin Weil" d'octobre 2025 où des affirmations mathématiques s'étaient avérées être du simple plagiat de littérature. Ici, la nouveauté est validée, mais le saut d'intuition entre les disciplines reste une "boîte noire" pour les chercheurs (source : Dossier UsedBy).

On ne sait pas encore quelle est l'architecture exacte derrière cette branche spécialisée, ni si elle préfigure un GPT-5.5. Le coût de l'inférence pour ce mode "Reasoning" n'est pas public, mais il sera nettement plus élevé que les appels API standards de GPT-5 (missing_info).

L'avis de Ruben

L'époque où l'on utilisait les LLM uniquement pour générer du boilerplate ou des emails de relance est terminée. Si vous travaillez sur du hardware, de l'optimisation logistique complexe ou de la cryptographie, ce mode "Thinking" devient votre outil de R&D prioritaire.

Pour le reste, gardez vos crédits API. Envoyer des tâches de routine sur un modèle capable de résoudre des conjectures d'Erdős, c'est comme utiliser un accélérateur de particules pour cuire un œuf : c'est techniquement possible, mais économiquement absurde.

Voir la fiche OpenAI
Notre base de données recense 534 entreprises utilisant l'API d'OpenAI, dont des leaders comme Duolingo, Stripe et Shopify.

Codez propre,
Ruben.