Erdős n°11 : affirmation jugée incorrecte par le wiki (Aristotle, GPT) Retiré Erdős n°36 : résultat partiel candidat selon le wiki (GPT-5.5 Pro) Non évalué Erdős n°38 : solution complète selon le wiki (GPT-5.5 Pro) Non évalué Erdős n°42 : résultat partiel avec preuve Lean selon le wiki (Codex, GPT-5.2, GPT-5.2 Pro) Non évalué Erdős n°51 : preuve jugée incorrecte par le wiki (ChatGPT free version) Retiré Erdős n°52 : solution d'une variante du problème selon le wiki (Claude Mythos) Non évalué Erdős n°75 : solution d'une variante du problème, déjà implicite dans la littérature, selon le wiki (Aletheia) Non évalué Erdős n°124 : résultat partiel avec preuve Lean selon le wiki (Aristotle) Non évalué Erdős n°125 : solution d'une variante du problème avec preuve Lean selon le wiki (DeepMind prover agent) Non évalué Erdős n°138 : résultat partiel avec preuve Lean selon le wiki (DeepMind prover agent) Non évalué Erdős n°176 : résultat partiel candidat avec preuve Lean selon le wiki (Codex, GPT-5.5 Pro) Non évalué Erdős n°205 : solution complète avec preuve Lean selon le wiki (Aristotle, GPT-5.2 Thinking) Non évalué Erdős n°233 : preuve conditionnelle jugée incorrecte par le wiki (GPT-5.2 Pro) Retiré Erdős n°251 : solution d'une variante du problème selon le wiki (GPT-5.4 Pro) Non évalué Erdős n°263 : résultat partiel avec preuve Lean, deuxième partie résolue, selon le wiki (Aristotle, Claude Opus 4.7, GPT-5.5 Pro) Non évalué Erdős n°358 : argument jugé gravement lacunaire par le wiki (GPT-5.2 Pro) Contesté Erdős n°457 : solution complète avec preuve Lean selon le wiki (Aristotle, GPT-5.2 Pro) Non évalué Erdős n°477 : solution d'une variante du problème avec preuve Lean selon le wiki (AlphaProof) Non évalué Erdős n°536 : résultat partiel avec preuve Lean selon le wiki (Codex, GPT-5.5 Pro) Non évalué Erdős n°539 : résultat partiel avec preuve Lean selon le wiki (Codex, GPT-5.5, ProofCouncil) Non évalué Erdős n°550 : solution complète candidate selon le wiki (GPT) Non évalué Erdős n°616 : preuve jugée incorrecte par le wiki (Claude Sonnet 4.5, Gemini 3 Pro, GPT-5.2 Pro) Retiré Erdős n°619 : solution complète avec preuve Lean selon le wiki (Claude Fable 5, Codex, GPT-5.5) Non évalué Erdős n°647 : preuve jugée incorrecte par le wiki (ChatGPT Deep research, DeepSeek DeepThink, Gemini) Retiré Erdős n°654 : résultat partiel selon le wiki (Aletheia) Non évalué Erdős n°671 : solution complète candidate avec preuve Lean selon le wiki (Codex, GPT-5.5 Pro) Non évalué Erdős n°684 : résultat partiel selon le wiki (OpenAI internal model) Non évalué Erdős n°694 : solution complète selon le wiki (GPT-5.5 Pro) Non évalué Erdős n°730 : solution complète candidate selon le wiki (GPT-5.5 Pro) Non évalué Erdős n°741 : résultat partiel avec preuve Lean, variante de la première partie et deuxième partie résolues, selon le wiki (DeepMind prover agent) Non évalué Erdős n°741 : résultat partiel, deuxième partie résolue, selon le wiki (OpenAI internal model) Non évalué Erdős n°741 : solution complète avec preuve Lean selon le wiki (DeepMind prover agent) Non évalué Erdős n°783 : résultat partiel selon le wiki (GPT-5.2) Non évalué Erdős n°836 : résultat partiel candidat, deuxième partie résolue, selon le wiki (GPT-5.5 Pro) Non évalué Erdős n°872 : résultat partiel selon le wiki (GPT-5.2 Pro) Non évalué Erdős n°888 : preuve jugée incorrecte par le wiki (Claude Opus 4.5, Gemini 3 Pro, GPT-5.2 Thinking) Retiré Erdős n°949 : solution d'une variante du problème avec preuve Lean selon le wiki (AlphaProof) Non évalué Erdős n°951 : solution d'une variante du problème selon le wiki (GPT-5.2 Pro) Non évalué Erdős n°960 : solution complète selon le wiki (OpenAI internal model) Non évalué Erdős n°963 : argument jugé gravement lacunaire par le wiki (Gemini 3 Pro) Contesté Erdős n°987 : solution complète selon le wiki (OpenAI internal model) Non évalué Erdős n°990 : solution complète selon le wiki (OpenAI internal model) Non évalué Erdős n°1014 : solution complète selon le wiki (OpenAI internal model) Non évalué Erdős n°1033 : résultat partiel candidat selon le wiki (GPT-5.5 Pro) Non évalué Erdős n°1039 : résultat partiel selon le wiki (GPT-5.5 Pro) Non évalué Erdős n°1040 : solution d'une partie du problème, l'autre partie jugée incorrecte par le wiki (Aletheia) Contesté Erdős n°1041 : argument jugé gravement lacunaire par le wiki (GPT-5.4 Thinking) Contesté Erdős n°1044 : affirmation jugée incorrecte par le wiki (GPT-5.2 Pro) Retiré Erdős n°1051 : solution complète avec preuve Lean selon le wiki (Aletheia) Non évalué Erdős n°1054 : résultat partiel avec preuve Lean selon le wiki (Claude Opus 4.8, GPT-5.5 Pro, Principia Math) Non évalué Erdős n°1091 : solution complète selon le wiki (OpenAI internal model) Non évalué Erdős n°1101 : résultat partiel candidat, deuxième partie résolue, selon le wiki (GPT-5.5 Pro) Non évalué Erdős n°1131 : résultat partiel candidat selon le wiki (GPT-5.5 Pro) Non évalué Erdős n°1141 : solution complète selon le wiki (OpenAI internal model) Non évalué Erdős n°1194 : résultat partiel selon le wiki (GPT-5.4 Pro) Non évalué Erdős n°1202 : solution complète selon le wiki (GPT-5.4 Pro) Non évalué Erdős n°1217 : solution complète selon le wiki (GPT-5.4 Pro) Non évalué Erdős n°120 : solution d'une variante du problème avec preuve Lean selon le wiki (DeepMind prover agent) Non évalué Erdős n°152 : solution complète avec preuve Lean selon le wiki (DeepMind prover agent) Non évalué Erdős n°176 : résultat partiel avec preuve Lean selon le wiki (Codex, GPT-5.5 Pro) Non évalué Erdős n°218 : solution conditionnelle selon le wiki (GPT) Non évalué Erdős n°281 : solution complète selon le wiki (GPT-5.2 Pro) Non évalué Erdős n°346 : solution d'une variante du problème avec preuve Lean selon le wiki (Codex, GPT-5.5 Pro) Non évalué Erdős n°366 : résultat partiel conditionnel selon le wiki (Automated research pipeline) Non évalué Erdős n°397 : solution complète avec preuve Lean selon le wiki (Aristotle, GPT-5.2 Pro) Non évalué Erdős n°397 : solution complète selon le wiki (Aletheia) Non évalué Erdős n°543 : solution complète selon le wiki (GPT-5.2 Pro) Non évalué Erdős n°629 : résultat partiel selon le wiki (Gemini 3.1 Pro, GPT-5.4 Thinking) Non évalué Erdős n°635 : solution d'une partie du problème avec preuve Lean selon le wiki (Aristotle, GPT-5.2 Pro) Non évalué Erdős n°650 : solution complète plus forte que la littérature selon le wiki (GPT-5.4 Pro) Non évalué Erdős n°659 : solution complète selon le wiki (Aletheia) Non évalué Erdős n°846 : deux solutions complètes, dont une avec preuve Lean, selon le wiki (DeepMind prover agent; OpenAI internal model (independently)) Non évalué Erdős n°851 : solution complète s'appuyant sur Romanoff (1934) selon le wiki (GPT-5.2 Pro) Non évalué Erdős n°897 : solution complète avec preuve Lean selon le wiki (Archivara, Aristotle) Non évalué Erdős n°935 : solution d'une partie du problème selon le wiki (Aletheia) Non évalué Erdős n°983 : résultat partiel, première partie résolue, selon le wiki (GPT-5.5 Pro) Non évalué Erdős n°997 : solution complète selon le wiki (OpenAI internal model) Non évalué Erdős n°1082 : contre-exemple à une partie du problème avec preuve Lean selon le wiki (DeepMind prover agent) Non évalué Erdős n°1089 : solution complète trouvée par l'IA selon le wiki (Aletheia) Non évalué Erdős n°12 : résultat partiel avec preuve Lean, première et deuxième parties résolues, selon le wiki (DeepMind prover agent) Non évalué Erdős n°26 : solution d'un problème plus fort selon le wiki (DeepMind prover agent) Non évalué Erdős n°36 : légère amélioration d'une construction antérieure selon le wiki (AlphaEvolve) Non évalué Erdős n°43 : nouvelle preuve en Lean d'un résultat partiel selon le wiki (Aristotle) Non évalué Erdős n°75 : résultat partiel selon le wiki (GPT-5.4 Pro) Non évalué Erdős n°198 : nouvelle preuve selon le wiki (AlphaProof) Non évalué Erdős n°224 : nouvelle preuve en Lean selon le wiki (Codex, GPT-5.2 Thinking) Non évalué Erdős n°258 : solution complète selon le wiki (GPT-5.4 Pro) Non évalué Erdős n°264 : nouvelle preuve en Lean d'un résultat partiel selon le wiki (Aristotle) Non évalué Erdős n°349 : résultat partiel amélioré selon le wiki (GPT-5.2 Thinking) Non évalué Erdős n°379 : nouvelle preuve selon le wiki (Seed Prover 1.5) Non évalué Erdős n°488 : nouvelle solution d'une variante du problème avec preuve Lean selon le wiki (Aristotle) Non évalué Erdős n°493 : preuve nouvelle ou déjà connue, en Lean, selon le wiki (Aristotle, GPT, Seed Prover) Non évalué Erdős n°507 : dépassement de constructions antérieures selon le wiki (AlphaEvolve) Non évalué Erdős n°513 : légère amélioration d'une construction antérieure selon le wiki (GPT-5.2 Thinking) Non évalué Erdős n°524 : résultat partiel amélioré selon le wiki (Gemini, GPT-5.2, Grok) Non évalué Erdős n°679 : preuve améliorée, moins dépendante du théorème des nombres premiers, selon le wiki (Aristotle) Non évalué Erdős n°729 : solution complète avec preuve Lean selon le wiki (Aristotle, GPT-5.2 Pro) Non évalué Erdős n°788 : nouveau résultat partiel selon le wiki (GPT-5.2 Pro) Non évalué Erdős n°848 : borne explicite et résultat partiel sur une variante du problème selon le wiki (Gemini 3.1 Pro, GPT-5.2 Thinking, GPT-5.4 Thinking) Non évalué Erdős n°868 : nouveau résultat partiel selon le wiki (GPT-5.2 multi-agent system) Non évalué Erdős n°871 : résultat partiel existant porté à une solution complète avec preuve Lean selon le wiki (Claude Opus 4.5, Gemini 3 Pro) Non évalué Erdős n°942 : nouvelle preuve selon le wiki (Gemini) Non évalué Erdős n°948 : solution complète avec preuve Lean selon le wiki (Aristotle, GPT-5.5 Pro) Non évalué Erdős n°951 : nouvelle solution d'une variante du problème selon le wiki (AlphaEvolve) Non évalué Erdős n°958 : nouvelle preuve en Lean selon le wiki (Aristotle) Non évalué Erdős n°966 : solution complète avec preuve Lean selon le wiki (Aristotle) Non évalué Erdős n°1004 : résultat partiel déjà implicite dans la littérature selon le wiki (GPT-5.5 Pro) Non évalué Erdős n°1007 : nouvelle preuve en Lean selon le wiki (Aristotle) Non évalué Erdős n°1032 : résultat partiel amélioré avec preuve Lean selon le wiki (Codex, GPT-5.5 Pro) Non évalué Erdős n°1043 : nouvelle preuve en Lean selon le wiki (Aristotle) Non évalué Erdős n°1043 : nouvelle preuve selon le wiki (GPT) Non évalué Erdős n°1047 : nouvelle preuve en Lean selon le wiki (Aristotle) Non évalué Erdős n°1048 : preuve en Lean, cas particulier d'un résultat de Pommerenke, selon le wiki (Aristotle) Non évalué Erdős n°1090 : preuve en Lean selon le wiki (Aristotle, Gemini 3 Flash) Non évalué Erdős n°1095 : nouvelle preuve en Lean d'un résultat partiel un peu plus faible selon le wiki (Aristotle) Non évalué Erdős n°1097 : légère amélioration d'une construction antérieure selon le wiki (AlphaEvolve) Non évalué Erdős n°1197 : solution complète avec preuve Lean selon le wiki (Aristotle, Claude Opus 4.7, GPT-5.4 Pro) Non évalué Erdős n°7 : preuve jugée incorrecte par le wiki (Aristotle) Retiré Erdős n°12 : résultat partiel selon le wiki (GPT-5.4 Thinking) Non évalué Erdős n°21 : résultat partiel avec preuve Lean selon le wiki (Aristotle, GPT-5.5 Pro) Non évalué Erdős n°25 : résultat partiel selon le wiki (GPT-5.4 Pro) Non évalué Erdős n°42 : solution complète selon le wiki (GPT-5.5 Pro) Non évalué Erdős n°52 : solution d'une variante du problème selon le wiki (GPT-5.5 Pro) Non évalué Erdős n°52 : borne améliorée pour une variante du problème selon le wiki (GPT-5.5) Non évalué Erdős n°52 : solution candidate d'une variante du problème selon le wiki (GPT-5.5) Non évalué Erdős n°81 : résultat partiel avec preuve Lean selon le wiki (Aristotle, GPT-5.5 Pro) Non évalué Erdős n°90 : borne explicite améliorée selon le wiki (GPT-5.5 Pro) Non évalué Erdős n°138 : résultat partiel sur une variante du problème selon le wiki (GPT-5.4 Thinking) Non évalué Erdős n°202 : solution complète selon le wiki (GPT-5.4 Pro) Non évalué Erdős n°202 : solution complète candidate selon le wiki (GPT-5.5 Pro) Non évalué Erdős n°283 : solution complète selon le wiki (GPT-5.5 Pro) Non évalué Erdős n°288 : résultat partiel candidat selon le wiki (GPT-5.5 Thinking) Non évalué Erdős n°306 : résultat partiel avec preuve Lean selon le wiki (Claude, Claude Code) Non évalué Erdős n°306 : solution complète candidate avec preuve Lean selon le wiki (Unspecified) Non évalué Erdős n°326 : solution complète avec preuve Lean selon le wiki (Aristotle, Codex, GPT-5.5) Non évalué Erdős n°327 : résultat partiel candidat selon le wiki (GPT-5.5, Rethlas) Non évalué Erdős n°330 : solution complète selon le wiki (GPT-5.5 Pro) Non évalué Erdős n°342 : résultat partiel selon le wiki (GPT-5.2 Pro, GPT-5.4 Pro) Non évalué Erdős n°345 : résultat partiel avec preuve Lean selon le wiki (Aristotle, GPT) Non évalué Erdős n°346 : solution complète avec preuve Lean selon le wiki (Codex, GPT) Non évalué Erdős n°347 : solution complète avec preuve Lean selon le wiki (Aristotle, Claude Opus, Codex, GPT) Non évalué Erdős n°351 : solution complète selon le wiki (GPT-5.5 Pro) Non évalué Erdős n°352 : résultat partiel sur une variante du problème selon le wiki (GPT-5.4 Pro, GPT-5.5 Pro) Non évalué Erdős n°358 : argument jugé gravement lacunaire par le wiki (GPT-5.2 Thinking) Contesté Erdős n°367 : résultat partiel selon le wiki (Aristotle, Gemini Deep Think) Non évalué Erdős n°369 : solution complète selon le wiki (GPT) Non évalué Erdős n°374 : résultat partiel selon le wiki (GPT-5.4 Pro) Non évalué Erdős n°380 : solution complète selon le wiki (GPT-5.4 Pro) Non évalué Erdős n°388 : preuve jugée incorrecte par le wiki (Claude, Gemini, GPT-5.4) Retiré Erdős n°390 : résultat partiel candidat selon le wiki (GPT-5.5 Pro) Non évalué Erdős n°393 : résultat partiel conditionnel selon le wiki (GPT-5.5 Pro) Non évalué Erdős n°396 : résultat partiel selon le wiki (Claude, Codex, GPT) Non évalué Erdős n°396 : résultat connexe selon le wiki (GPT-5.4 Pro, GPT-5.4 Thinking) Non évalué Erdős n°400 : résultat partiel candidat selon le wiki (GPT) Non évalué Erdős n°401 : solution complète avec preuve Lean et solution d'une variante selon le wiki (Aristotle, GPT-5.2 Pro) Non évalué Erdős n°411 : preuve jugée incorrecte par le wiki (Claude) Retiré Erdős n°415 : résultat partiel selon le wiki (GPT-5.4 Pro) Non évalué Erdős n°423 : résultat partiel selon le wiki (GPT-5.2 Thinking, GPT-5.4 Thinking) Non évalué Erdős n°432 : résultat partiel candidat selon le wiki (GPT-5.5 Pro) Non évalué Erdős n°451 : résultat partiel avec preuve Lean selon le wiki (Aristotle, GPT-5.5 Pro) Non évalué Erdős n°456 : résultat partiel candidat, parties 1 et 2 résolues, partie 3 sous condition, selon le wiki (GPT-5.5 Pro) Non évalué Erdős n°460 : réduction à un problème plus simple selon le wiki (GPT-5.2) Non évalué Erdős n°488 : résultat partiel selon le wiki (Aristotle, GPT-5.4) Non évalué Erdős n°501 : résultat partiel conditionnel candidat, première partie résolue sous condition, selon le wiki (GPT-5.5 Pro) Non évalué Erdős n°503 : argument jugé gravement lacunaire par le wiki (Aristotle, GPT-5.4 Pro) Contesté Erdős n°503 : résultat partiel selon le wiki (GPT-5.5 Pro) Non évalué Erdős n°514 : résultat partiel, première et deuxième parties résolues, selon le wiki (GPT-5.4 Pro) Non évalué Erdős n°514 : résultat partiel avec preuve Lean, troisième partie résolue, selon le wiki (GPT-5.5 Pro) Non évalué Erdős n°521 : solution d'une variante du problème selon le wiki (GPT-5.5 Pro) Non évalué Erdős n°521 : solution complète candidate selon le wiki (GPT-5.5 Pro) Non évalué Erdős n°524 : résultat partiel selon le wiki (GPT-5.4 Pro) Non évalué Erdős n°535 : résultat partiel déjà implicite dans la littérature selon le wiki (GPT-5.5 Thinking) Non évalué Erdős n°593 : solution complète candidate selon le wiki (GPT) Non évalué Erdős n°598 : résultat partiel candidat selon le wiki (Aristotle, GPT-5.4 Pro) Non évalué Erdős n°603 : solution complète selon le wiki (GPT-5.4 Pro) Non évalué Erdős n°610 : solution complète avec preuve Lean, déjà implicite dans la littérature, selon le wiki (Aristotle, GPT-5.4 Pro) Non évalué Erdős n°623 : solution complète candidate selon le wiki (GPT-5.5 Pro) Non évalué Erdős n°659 : solution complète selon le wiki (Gemini 3) Non évalué Erdős n°675 : résultat partiel selon le wiki (GPT-5.4 Pro) Non évalué Erdős n°684 : résultat partiel selon le wiki (GPT-5.2 Thinking) Non évalué Erdős n°684 : résultat partiel selon le wiki (GPT-5.4 Thinking) Non évalué Erdős n°686 : divers résultats partiels selon le wiki (AlphaProof, Claude, Gemini Deep Think, GPT-5.2 Thinking, GPT-5.4 Thinking, Seed 2.0 Pro) Non évalué Erdős n°689 : solution complète candidate selon le wiki (Codex, GPT-5.2, GPT-5.5 Pro) Non évalué Erdős n°690 : solution complète selon le wiki (Multiscalar Fields System) Non évalué Erdős n°696 : solution complète avec preuve Lean selon le wiki (Aristotle, Claude Code, Claude Opus 4.7, GPT-5.5 Pro) Non évalué Erdős n°731 : solution complète candidate selon le wiki (GPT) Non évalué Erdős n°749 : résultat partiel et solution d'une variante selon le wiki (GPT-5.4 Thinking) Non évalué Erdős n°750 : solution complète selon le wiki (GPT-5.5 Pro) Non évalué Erdős n°768 : solution complète candidate selon le wiki (GPT) Non évalué Erdős n°776 : résultat partiel selon le wiki (GPT-5.2 Thinking) Non évalué Erdős n°819 : résultat partiel candidat selon le wiki (GPT-5.5, Rethlas) Non évalué Erdős n°848 : preuve jugée incorrecte par le wiki (Claude Opus 4.6, GPT-5.4) Retiré Erdős n°848 : solution complète selon le wiki (GPT-5) Non évalué Erdős n°852 : résultat partiel selon le wiki (GPT-5.4) Non évalué Erdős n°852 : résultat partiel candidat selon le wiki (GPT-5.5 Pro) Non évalué Erdős n°856 : solution complète candidate selon le wiki (GPT-5.4 Pro) Non évalué Erdős n°858 : solution complète selon le wiki (GPT-5.4 Pro) Non évalué Erdős n°863 : solution complète selon le wiki (GPT-5.4 Pro) Non évalué Erdős n°865 : solution complète selon le wiki (GPT-5.5 Pro) Non évalué Erdős n°866 : résultat partiel avec preuve Lean selon le wiki (Aristotle, GPT-5.3 Instant) Non évalué Erdős n°870 : solution complète candidate selon le wiki (GPT-5.4 Pro, GPT-5.5 Pro) Non évalué Erdős n°872 : résultat partiel selon le wiki (GPT-5.4 Pro) Non évalué Erdős n°872 : résultat partiel candidat selon le wiki (GPT-5.5 Pro) Non évalué Erdős n°873 : résultat partiel candidat selon le wiki (GPT-5.4 Thinking) Non évalué Erdős n°873 : résultat partiel candidat selon le wiki (GPT-5.5 Thinking) Non évalué Erdős n°875 : résultat partiel avec preuve Lean selon le wiki (Codex, GPT-5.5 Pro) Non évalué Erdős n°888 : solution complète selon le wiki (Aristotle, GPT-5.5 Pro) Non évalué Erdős n°896 : solution complète selon le wiki (GPT-5.5 Pro) Non évalué Erdős n°906 : solution complète candidate selon le wiki (Unspecified) Non évalué Erdős n°906 : solution complète candidate selon le wiki (GPT-5.5 Pro) Non évalué Erdős n°931 : résultat partiel selon le wiki (Claude, GPT-5.4) Non évalué Erdős n°942 : résultat partiel avec preuve Lean selon le wiki (Aristotle, Claude Opus 4.8, Codex, GPT-5.5) Non évalué Erdős n°943 : résultat partiel selon le wiki (GPT-5.4 Pro) Non évalué Erdős n°953 : solution complète selon le wiki (GPT-5.5 Pro) Non évalué Erdős n°956 : solution complète candidate selon le wiki (Aristotle, GPT-5.5 Pro) Non évalué Erdős n°986 : solution complète selon le wiki (Claude, OpenAI internal model) Non évalué Erdős n°995 : résultat partiel selon le wiki (GPT-5.4 Pro) Non évalué Erdős n°996 : solution complète selon le wiki (GPT-5.4 Pro) Non évalué Erdős n°951 : nouvelle solution d'une variante du problème selon le wiki (GPT-5.2 Thinking) Non évalué Erdős n°976 : résultat partiel conditionnel selon le wiki (GPT-5.4) Non évalué Erdős n°1026 : solution complète avec preuve Lean selon le wiki (AlphaEvolve, Aristotle, Gemini, GPT) Non évalué Erdős n°1038 : résultat partiel selon le wiki (AlphaEvolve, Claude Fable 5, Codex, GPT-5.2 Thinking, GPT-5.4 Thinking, GPT-5.5) Non évalué Erdős n°1039 : résultat partiel avec preuve Lean selon le wiki (Aristotle, Claude Opus 4.6) Non évalué Erdős n°1041 : argument jugé gravement lacunaire par le wiki (Claude Opus 4.6, Gemini 3.1 Pro, GPT-5.4) Contesté Erdős n°1061 : solution complète candidate selon le wiki (GPT) Non évalué Erdős n°1062 : résultat partiel selon le wiki (GPT-5.4 Pro) Non évalué Erdős n°1070 : résultat partiel selon le wiki (Codex, GPT-5.5) Non évalué Erdős n°1092 : solution complète selon le wiki (GPT-5.5 Pro) Non évalué Erdős n°1095 : résultat partiel selon le wiki (Claude Opus 4.6, Gemini 3.1 Pro, GPT-5.4 Pro) Non évalué Erdős n°1132 : résultat partiel selon le wiki (AlphaEvolve, Claude, Gemini Pro, GPT-5.4 Pro) Non évalué Erdős n°1133 : solution complète candidate selon le wiki (GPT-5.5 Pro) Non évalué Erdős n°1138 : solution complète selon le wiki (GPT-5.5 Pro, GPT-5.5 Thinking) Non évalué Erdős n°1139 : solution complète candidate selon le wiki (GPT-5.2 Pro, GPT-5.5 Pro) Non évalué Erdős n°1141 : résultat partiel sur une variante du problème selon le wiki (GPT-5.2 Pro, GPT-5.2 Thinking) Non évalué Erdős n°1143 : résultat partiel déjà implicite dans la littérature selon le wiki (GPT-5.5 Pro) Non évalué Erdős n°1148 : solution complète selon le wiki (Gemini 3 Pro, Gemini 3.1 Pro, GPT-5.2 Pro, GPT-5.2 Thinking, GPT-5.4 Pro) Non évalué Erdős n°1148 : solution d'un problème plus fort selon le wiki (GPT-5.5 Pro) Non évalué Erdős n°1151 : solution complète selon le wiki (GPT-5.5 Pro) Non évalué Erdős n°1153 : solution complète selon le wiki (AlphaEvolve, Claude, Gemini Pro, GPT-5.2 Thinking, GPT-5.4 Pro) Non évalué Erdős n°1177 : solution complète candidate selon le wiki (GPT) Non évalué Erdős n°1183 : résultat partiel selon le wiki (GPT-5.4 Pro) Non évalué Erdős n°1190 : solution complète selon le wiki (GPT-5.4 Pro) Non évalué Erdős n°1190 : solution complète candidate selon le wiki (GPT-5.5 Pro) Non évalué Erdős n°1194 : résultat partiel avec preuve Lean selon le wiki (Codex, GPT-5.5 Pro) Non évalué Erdős n°1195 : solution complète selon le wiki (GPT-5.4 Pro) Non évalué Erdős n°1196 : solution complète plus forte que la littérature selon le wiki (GPT-5.4 Thinking) Non évalué Erdős n°1201 : solution complète candidate selon le wiki (GPT-5.5 Pro) Non évalué Erdős n°1208 : résultat partiel candidat selon le wiki (GPT-5.5 Pro) Non évalué Erdős n°1209 : résultat partiel avec preuve Lean selon le wiki (GPT-5.4 Pro) Non évalué Erdős n°35 : résultats partiels trouvés dans la littérature selon le wiki (GPT-5) Non évalué Erdős n°66 : résultats partiels trouvés dans la littérature selon le wiki (GPT-5) Non évalué Erdős n°94 : solution complète trouvée dans la littérature selon le wiki (GPT-5) Non évalué Erdős n°120 : solution d'une variante trouvée dans la littérature selon le wiki (GPT-5.4 Thinking) Non évalué Erdős n°167 : résultats partiels trouvés dans la littérature selon le wiki (GPT-5) Non évalué Erdős n°188 : résultats partiels trouvés dans la littérature selon le wiki (GPT-5) Non évalué Erdős n°214 : résultats partiels trouvés dans la littérature selon le wiki (ChatGPT Deep research, Gemini Deep Research) Non évalué Erdős n°223 : solution complète trouvée dans la littérature selon le wiki (GPT-5) Non évalué Erdős n°306 : résultats partiels trouvés dans la littérature selon le wiki (GPT-5.2 Thinking) Non évalué Erdős n°325 : résultats partiels trouvés dans la littérature selon le wiki (ChatGPT Deep research) Non évalué Erdős n°330 : résultats partiels trouvés dans la littérature avec des inexactitudes relevées par le wiki, preuve de la littérature non trouvée (ChatGPT Deep research, Claude, Gemini Deep Research) Contesté Erdős n°333 : preuve revendiquée jugée incorrecte par le wiki, preuve de la littérature non trouvée (GPT-5.2 Pro) Retiré Erdős n°333 : solution complète trouvée dans la littérature selon le wiki (Aletheia) Non évalué Erdős n°339 : solution complète trouvée dans la littérature selon le wiki (GPT-5) Non évalué Erdős n°347 : résultats partiels trouvés dans la littérature selon le wiki (ChatGPT Deep research) Non évalué Erdős n°354 : résultats partiels trouvés dans la littérature selon le wiki (ChatGPT Deep research) Non évalué Erdős n°370 : énoncé erroné détecté et solutions de variantes trouvées dans la littérature selon le wiki (ChatGPT Deep research, Gemini, Gemini Deep Research) Non évalué Erdős n°387 : résultats partiels trouvés dans la littérature selon le wiki (ChatGPT Deep research) Non évalué Erdős n°397 : solution complète trouvée dans la littérature selon le wiki (ChatGPT Deep research) Non évalué Erdős n°481 : preuve existante reproduite sans le savoir selon le wiki (ChatGPT Deep research, Gemini Deep Research) Non évalué Erdős n°481 : solution complète trouvée dans la littérature selon le wiki (GPT) Non évalué Erdős n°494 : solution complète trouvée dans la littérature selon le wiki (GPT-5) Non évalué Erdős n°515 : solution complète trouvée dans la littérature selon le wiki (GPT-5) Non évalué Erdős n°516 : énoncé erroné détecté et solution complète du vrai problème trouvée dans la littérature selon le wiki (ChatGPT Deep research, Claude, Gemini Deep Research) Non évalué Erdős n°524 : résultats partiels trouvés dans la littérature selon le wiki (GPT-5.2 Pro) Non évalué Erdős n°533 : solution complète trouvée dans la littérature selon le wiki (GPT) Non évalué Erdős n°559 : résultats partiels trouvés dans la littérature selon le wiki (ChatGPT Deep research, Gemini Deep Research) Non évalué Erdős n°574 : solution complète trouvée dans la littérature selon le wiki (GPT-5.4 Pro) Non évalué Erdős n°575 : article signalant une erreur d'énoncé trouvé dans la littérature selon le wiki (GPT) Non évalué Erdős n°591 : solution complète trouvée dans la littérature selon le wiki (ChatGPT Deep research) Non évalué Erdős n°591 : solution complète trouvée dans la littérature selon le wiki (Aletheia) Non évalué Erdős n°602 : résultats connexes trouvés dans la littérature selon le wiki (GPT-5.4 Thinking) Non évalué Erdős n°621 : solution complète trouvée dans la littérature selon le wiki (GPT-5) Non évalué Erdős n°645 : solution complète trouvée dans la littérature selon le wiki (GPT-5) Non évalué Erdős n°650 : solution complète trouvée dans la littérature selon le wiki (ChatGPT Deep research) Non évalué Erdős n°652 : solution complète par application de résultats de la littérature selon le wiki (GPT-5.2 Pro) Non évalué Erdős n°652 : solution complète par application de résultats de la littérature selon le wiki (Aletheia) Non évalué Erdős n°659 : résultats partiels, extensibles en solution complète, trouvés dans la littérature selon le wiki (Gemini Deep Research) Non évalué Erdős n°672 : résultats partiels trouvés dans la littérature selon le wiki (GPT) Non évalué Erdős n°705 : solution complète trouvée dans la littérature selon le wiki (GPT) Non évalué Erdős n°705 : solution complète trouvée dans la littérature selon le wiki (Aletheia) Non évalué Erdős n°729 : résultats connexes trouvés dans la littérature selon le wiki (ChatGPT Deep research) Non évalué Erdős n°737 : solution complète trouvée dans la littérature selon le wiki (GPT-5) Non évalué Erdős n°749 : résultats partiels trouvés dans la littérature selon le wiki (GPT-5.4 Thinking) Non évalué Erdős n°750 : résultats partiels trouvés dans la littérature selon le wiki (GPT-5) Non évalué Erdős n°788 : résultats partiels trouvés dans la littérature selon le wiki (GPT-5) Non évalué Erdős n°793 : résultats partiels trouvés dans la littérature selon le wiki (ChatGPT Deep research) Non évalué Erdős n°811 : résultats partiels trouvés dans la littérature selon le wiki (GPT-5) Non évalué Erdős n°822 : solution complète trouvée dans la littérature selon le wiki (GPT-5) Non évalué Erdős n°827 : résultats partiels trouvés dans la littérature selon le wiki (GPT-5) Non évalué Erdős n°829 : résultats partiels trouvés dans la littérature selon le wiki (GPT-5) Non évalué Erdős n°847 : solution complète trouvée dans la littérature selon le wiki (GPT-5.2 Pro) Non évalué Erdős n°851 : confusion avec un autre problème relevée par le wiki, résultats partiels trouvés dans la littérature (ChatGPT Deep research, Claude, Gemini Deep Research) Contesté Erdős n°871 : résultats partiels trouvés dans la littérature selon le wiki (ChatGPT Deep research) Non évalué Erdős n°903 : solution complète trouvée dans la littérature selon le wiki (GPT-5) Non évalué Erdős n°915 : résultats partiels trouvés dans la littérature selon le wiki (ChatGPT Deep research) Non évalué Erdős n°942 : résultats partiels trouvés dans la littérature selon le wiki (ChatGPT Deep research) Non évalué Erdős n°965 : solution complète trouvée dans la littérature selon le wiki (GPT) Non évalué Erdős n°971 : résultats partiels trouvés dans la littérature selon le wiki (Claude) Non évalué Erdős n°985 : résultats partiels trouvés dans la littérature selon le wiki (GPT-5.4 Thinking) Non évalué Erdős n°990 : résultats partiels trouvés dans la littérature selon le wiki (ChatGPT Deep research, Gemini Deep Research) Non évalué Erdős n°992 : solution complète trouvée dans la littérature selon le wiki (Aletheia) Non évalué Erdős n°1008 : solution complète trouvée dans la littérature selon le wiki (GPT-5) Non évalué Erdős n°1011 : résultats partiels trouvés dans la littérature selon le wiki (GPT-5) Non évalué Erdős n°1016 : résultats partiels trouvés dans la littérature selon le wiki (ChatGPT Deep research, Gemini Deep Research) Non évalué Erdős n°1019 : solution annoncée trouvée dans la littérature, sans référence précise, selon le wiki (ChatGPT Deep research, Gemini Deep Research) Non évalué Erdős n°1021 : solution complète, déjà signalée, trouvée dans la littérature selon le wiki (GPT) Non évalué Erdős n°1043 : solution complète trouvée dans la littérature selon le wiki (GPT-5) Non évalué Erdős n°1079 : solution complète trouvée dans la littérature selon le wiki (GPT-5) Non évalué Erdős n°1084 : résultats partiels trouvés dans la littérature selon le wiki (GPT) Non évalué Erdős n°1099 : solution complète trouvée dans la littérature selon le wiki (ChatGPT Deep research, Gemini, Gemini Deep Research) Non évalué Erdős n°1105 : résultats partiels trouvés dans la littérature selon le wiki (ChatGPT Deep research) Non évalué Erdős n°1105 : solution complète trouvée dans la littérature, avec des références erronées relevées par le wiki (Aletheia) Contesté Erdős n°1123 : solution complète trouvée dans la littérature selon le wiki (Gemini Deep Research) Non évalué Erdős n°1124 : solution d'une variante trouvée dans la littérature selon le wiki (GPT) Non évalué Erdős n°1129 : solution complète trouvée dans la littérature selon le wiki (GPT-5.2 Pro) Non évalué Erdős n°1130 : solution complète trouvée dans la littérature selon le wiki (GPT-5.2 Pro) Non évalué Erdős n°1147 : solution complète trouvée dans la littérature selon le wiki (GPT-5.2 Thinking) Non évalué Erdős n°1150 : solution revendiquée trouvée dans la littérature, probablement incorrecte selon le wiki (Gemini Deep Research) Non évalué Erdős n°1154 : résultats partiels trouvés dans la littérature selon le wiki (GPT-5.2 Thinking) Non évalué Erdős n°1161 : solution complète trouvée dans la littérature selon le wiki (GPT-5.2 Thinking) Non évalué Erdős n°1198 : résultats partiels trouvés dans la littérature selon le wiki (GPT-5.4) Non évalué Erdős n°1216 : solution plus forte que le problème trouvée dans la littérature selon le wiki (ChatGPT Deep research) Non évalué Erdős n°1216 : résultats connexes trouvés dans la littérature selon le wiki (GPT-5.4 Thinking) Non évalué Erdős n°16 : formalisation par Antigravity, Gemini 3.1 Pro (preuve : Chen (2023)) Non évalué Erdős n°24 : formalisation par Aristotle (preuve : Grzesik (2012)) Non évalué Erdős n°26 : formalisation par Aristotle (preuve : Ruzsa) Non évalué Erdős n°31 : formalisation par Aristotle, GPT (preuve : Lorentz (1954), Wouter van Doorn (2025)) Non évalué Erdős n°34 : formalisation par Aristotle (preuve : Konieczny (2015)) Non évalué Erdős n°38 : formalisation par Aristotle (preuve : GPT-5.5 Pro (2026)) Non évalué Erdős n°42 : formalisation par Codex, GPT-5.5 Pro (preuve : GPT-5.5 Pro (2026)) Non évalué Erdős n°43 : formalisation par Aristotle, Claude (preuve : Barreto (2025)) Non évalué Erdős n°56 : formalisation par Aristotle, GPT (preuve : Ahlswede and Khachatrian (1995)) Non évalué Erdős n°71 : formalisation par Aristotle, Claude Opus 4.7, GPT-5.5 (preuve : Bollobás (1977)) Non évalué Erdős n°90 : formalisation par Aleph Prover (preuve : OpenAI internal model (2026)) Non évalué Erdős n°93 : formalisation par Aristotle, Claude Opus 4.5, Claude Opus 4.6, Gemini 3 Flash, Gemini 3 Pro, Numina Lean Agent (preuve : Altman (1963)) Non évalué Erdős n°94 : formalisation par Codex, GPT-5.2 Thinking; Seed Prover (preuve : Lefmann and Thiele (1995)) Non évalué Erdős n°105 : formalisation par Aristotle, GPT Pro (preuve : Xichuan (2025)) Non évalué Erdős n°106 : formalisation par Aristotle (preuve : Baek, Koizumi, and Ueoro (2024)) Non évalué Erdős n°115 : formalisation par Aristotle, Claude Opus 4.6, Claude Sonnet 4.6, Gemini 3 Flash, Gemini 3.1 Pro, ulam.ai scaffold with Gemini 3 Flash and Gemini 3.1 Pro (preuve : Eremenko and Lempert (1994)) Non évalué Erdős n°134 : formalisation par Aristotle (preuve : Alon) Non évalué Erdős n°150 : formalisation par Aristotle (preuve : Bradač (2024)) Non évalué Erdős n°154 : formalisation par Aristotle, GPT (preuve : Lindström (1998)) Non évalué Erdős n°164 : formalisation par Codex (preuve : Alexeev, Barreto, Li, Lichtman, Price, Shah, Tang, and Tao (2026)) Non évalué Erdős n°165 : formalisation par Trellis (preuve : Hefty, Horn, King and Pfender (2025)) Non évalué Erdős n°178 : formalisation par Aristotle (preuve : Beck (1981)) Non évalué Erdős n°189 : formalisation par Aristotle, Gemini 3 Pro (preuve : Kovač (2023)) Non évalué Erdős n°192 : formalisation par Aristotle (preuve : Keränen (1992)) Non évalué Erdős n°194 : formalisation par Aristotle (preuve : Ardal, Brown, and Jungić (2011)) Non évalué Erdős n°198 : formalisation par Aristotle, GPT (preuve : Baumgartner (1975)) Non évalué Erdős n°199 : formalisation par Aristotle (preuve : Baumgartner (1975)) Non évalué Erdős n°202 : formalisation par Unspecified (preuve : Boon Suan Ho and GPT-5.4 Pro (2026)) Non évalué Erdős n°204 : formalisation par Aristotle (preuve : Adenwalla (2025)) Non évalué Erdős n°206 : formalisation par Aristotle (preuve : Kovač (2024)) Non évalué Erdős n°209 : formalisation par AxiomProver (preuve : Escudero (2016)) Non évalué Erdős n°214 : formalisation par Aristotle (preuve : Juhász (1979)) Non évalué Erdős n°221 : formalisation par Aristotle (preuve : Ruzsa (1972) + van Doorn (2025)) Non évalué Erdős n°226 : formalisation par Aristotle (preuve : Sato and Rankin (1974)) Non évalué Erdős n°229 : formalisation par Aristotle (preuve : Barth and Schneider (1972)) Non évalué Erdős n°231 : formalisation par Aristotle (preuve : Keränen (1992)) Non évalué Erdős n°237 : formalisation par Aristotle (preuve : Chen and Ding (2022)) Non évalué Erdős n°246 : formalisation par Aristotle (preuve : Birch (1959)) Non évalué Erdős n°258 : formalisation par Aristotle (preuve : GPT-5.4 Pro (2026)) Non évalué Erdős n°259 : formalisation par Aristotle (preuve : Chen and Ruzsa (1999)) Non évalué Erdős n°268 : formalisation par Aristotle (preuve : Kovač (2024)) Non évalué Erdős n°275 : formalisation par Aristotle (preuve : Balister, Bollobas, Morris, Sahasrabudhe, and Tiba (2020)) Non évalué Erdős n°280 : formalisation par Aristotle (preuve : Cambie (2025)) Non évalué Erdős n°281 : formalisation par Aristotle, Gemini 3 Flash (preuve : GPT-5.2 Pro (2026)) Non évalué Erdős n°283 : formalisation par Aristotle (preuve : van Doorn (2025)) Non évalué Erdős n°283 : formalisation par Claude Opus 4.7, GPT-5.5 Pro (preuve : Barreto, GPT-5.5 Pro, and Price (2026)) Non évalué Erdős n°290 : formalisation par Aristotle (preuve : van Doorn (2024)) Non évalué Erdős n°296 : formalisation par Aristotle (preuve : Hunter and Sawhney) Non évalué Erdős n°303 : formalisation par Seed Prover (preuve : Brown and Rödl (1991)) Non évalué Erdős n°314 : formalisation par Aristotle (preuve : Lim and Steinerberger (2024)) Non évalué Erdős n°315 : formalisation par Aristotle (preuve : Kamio (2025)) Non évalué Erdős n°328 : formalisation par AxiomProver (preuve : Nešetřil and Rödl (1985)) Non évalué Erdős n°330 : formalisation par Codex, GPT-5.5 Pro (preuve : GPT-5.5 Pro and Turturean (2026)) Non évalué Erdős n°331 : formalisation par Aristotle (preuve : Ruzsa) Non évalué Erdős n°337 : formalisation par Aristotle (preuve : Ruzsa and Turjányi (1985)) Non évalué Erdős n°350 : formalisation par Aristotle, GPT (preuve : Ryavec (1974)) Non évalué Erdős n°351 : formalisation par Claude Opus 4.7, GPT-5.5 Pro (preuve : Barreto, GPT-5.5 Pro, and Price (2026)) Non évalué Erdős n°353 : formalisation par Aristotle (preuve : Kovač and Predojević (2024) + Koizumi (2025)) Non évalué Erdős n°355 : formalisation par Aristotle, Gemini 3 (preuve : van Doorn and Kovač (2025) (almost the entirety)) Non évalué Erdős n°363 : formalisation par Aristotle (preuve : Ulas (2005)) Non évalué Erdős n°367 : formalisation par Aristotle (preuve : van Doorn and Tao (2025)) Non évalué Erdős n°368 : formalisation par Aristotle (preuve : Pólya (1918)) Non évalué Erdős n°369 : formalisation par Aristotle (preuve : GPT and Yang (2026)) Non évalué Erdős n°370 : formalisation par Aristotle, GPT (preuve : Steinerberger (2025)) Non évalué Erdős n°392 : formalisation par Various (preuve : Tao (2026)) Non évalué Erdős n°399 : formalisation par Codex (preuve : Barfield (2025)) Non évalué Erdős n°403 : formalisation par AxiomProver (preuve : Unspecified) Non évalué Erdős n°418 : formalisation par Aristotle, GPT (preuve : Browkin and Schinzel (1995)) Non évalué Erdős n°419 : formalisation par Aristotle (preuve : Sawhney (2025)) Non évalué Erdős n°425 : formalisation par Aristotle, GPT (preuve : Erdős (1938)) Non évalué Erdős n°426 : formalisation par Aristotle (preuve : Bradač and Christoph (2024)) Non évalué Erdős n°427 : formalisation par Aristotle (preuve : Pilatte) Non évalué Erdős n°429 : formalisation par Aristotle (preuve : Weisenberg (2024)) Non évalué Erdős n°433 : formalisation par Aristotle, Claude Opus 4.8, Claude Sonnet 4.6, Gemini 3 Flash, Gemini 3.1 Pro, Project Numina (preuve : Dixmier (1990)) Non évalué Erdős n°434 : formalisation par Aristotle, Claude Opus 4.8 (preuve : Continued from [433] formalization) Non évalué Erdős n°435 : formalisation par Aristotle (preuve : Cambie (2025)) Non évalué Erdős n°441 : formalisation par AxiomProver (preuve : Chen and Dai (2007)) Non évalué Erdős n°443 : formalisation par Aristotle (preuve : Hegyvári (2025)) Non évalué Erdős n°447 : formalisation par Aristotle (preuve : Kleitman (1971)) Non évalué Erdős n°453 : formalisation par Aristotle (preuve : Pomerance (1979)) Non évalué Erdős n°459 : formalisation par Aristotle (preuve : Cambie (2026)) Non évalué Erdős n°464 : formalisation par Aristotle (preuve : de Mathan (1980)) Non évalué Erdős n°476 : formalisation par Aristotle (preuve : Alon, Nathanson, and Ruzsa (1995)) Non évalué Erdős n°480 : formalisation par Aristotle (preuve : Chung and Graham (1984)) Non évalué Erdős n°481 : formalisation par Aristotle, Claude (preuve : Barreto (2025)) Non évalué Erdős n°484 : formalisation par Aristotle (preuve : Erdős, Sárközy, and Sós (1989)) Non évalué Erdős n°487 : formalisation par Aristotle (preuve : Kleitman (1971)) Non évalué Erdős n°490 : formalisation par Aristotle, GPT-5.5 Pro (preuve : Szemerédi (1976)) Non évalué Erdős n°497 : formalisation par Aristotle (preuve : Kleitman (1969)) Non évalué Erdős n°498 : formalisation par Aristotle, Claude Opus, Gemini Flash, Gemini Pro (preuve : Kleitman (1965)) Non évalué Erdős n°499 : formalisation par Aristotle (preuve : Marcus and Minc (1962)) Non évalué Erdős n°502 : formalisation par Aristotle (preuve : Petrov and Pohoata (2021)) Non évalué Erdős n°505 : formalisation par Aristotle (preuve : Kahn and Kalai (1993)) Non évalué Erdős n°512 : formalisation par Aristotle (preuve : McGehee, Pigno, and Smith (1981)) Non évalué Erdős n°519 : formalisation par Aristotle (preuve : Atkinson (1961)) Non évalué Erdős n°537 : formalisation par Aristotle (preuve : Ruzsa) Non évalué Erdős n°540 : formalisation par Aristotle (preuve : Szemerédi (1970)) Non évalué Erdős n°541 : formalisation par Aristotle, GPT (preuve : Grynkiewicz (2011)) Non évalué Erdős n°582 : formalisation par Aristotle (preuve : Folkman (1970)) Non évalué Erdős n°603 : formalisation par Codex, GPT-5.5 (preuve : Chojecki and GPT-5.4 Pro (2026)) Non évalué Erdős n°613 : formalisation par GPT Pro (preuve : Pikhurko (2001)) Non évalué Erdős n°618 : formalisation par Aristotle (preuve : Alon) Non évalué Erdős n°621 : formalisation par Aristotle (preuve : Norin and Sun (2016)) Non évalué Erdős n°639 : formalisation par Aristotle (preuve : Keevash and Sudakov (2004)) Non évalué Erdős n°645 : formalisation par Aristotle, GPT (preuve : Brown and Landman (1999)) Non évalué Erdős n°646 : formalisation par Aristotle (preuve : Berend (1997)) Non évalué Erdős n°648 : formalisation par Aristotle (preuve : Cambie (2025)) Non évalué Erdős n°649 : formalisation par Aristotle, GPT (preuve : Tong; Sampaio) Non évalué Erdős n°650 : formalisation par Aristotle (preuve : He, Li and Tang (2026)) Non évalué Erdős n°658 : formalisation par Aristotle (preuve : Solymosi (2004)) Non évalué Erdős n°659 : formalisation par Aristotle (preuve : Gemini and Grayzel (2026)) Non évalué Erdős n°666 : formalisation par Aristotle (preuve : Chung (1992), Brouwer, Dejter, and Thomassen (1993)) Non évalué Erdős n°678 : formalisation par Aristotle (preuve : Cambie (2025)) Non évalué Erdős n°692 : formalisation par Aristotle (preuve : Cambie (2025)) Non évalué Erdős n°694 : formalisation par Aristotle, Claude Code, Claude Opus 4.7, GPT-5.5 Pro (preuve : GPT-5.5 Pro (2026)) Non évalué Erdős n°698 : formalisation par Aristotle (preuve : Bergman (2011)) Non évalué Erdős n°707 : formalisation par GPT (preuve : Hall (1947)) Non évalué Erdős n°716 : formalisation par Aristotle (preuve : Ruzsa and Szemerédi (1978)) Non évalué Erdős n°728 : formalisation par Aristotle (preuve : Pomerance (2026)) Non évalué Erdős n°750 : formalisation par Claude Code, Claude Opus 4.7, GPT-5.5 Pro (preuve : Chojecki and GPT-5.5 Pro (2026)) Non évalué Erdős n°751 : formalisation par GPT-5.2-Codex, GPT-5.2 Thinking (preuve : Bondy and Vince (1998)) Non évalué Erdős n°753 : formalisation par Aristotle (preuve : Alon (1992)) Non évalué Erdős n°756 : formalisation par Aristotle (preuve : Bhowmick (2024)) Non évalué Erdős n°760 : formalisation par Aristotle (preuve : Alon, Krivelevich, and Sudakov (1997)) Non évalué Erdős n°762 : formalisation par Aristotle, Claude Opus 4.7, GPT (preuve : Steiner (2024)) Non évalué Erdős n°765 : formalisation par Aristotle (preuve : Aigner and Ziegler (1998)) Non évalué Erdős n°775 : formalisation par Aristotle (preuve : Gao (2025)) Non évalué Erdős n°785 : formalisation par Aristotle (preuve : Narkiewicz (1959/60) + Ruzsa (2015)) Non évalué Erdős n°788 : formalisation par Aristotle (preuve : GPT-5.2 Pro (2026)) Non évalué Erdős n°794 : formalisation par Aristotle (preuve : Harris (2025)) Non évalué Erdős n°798 : formalisation par Aristotle (preuve : Alon (1991)) Non évalué Erdős n°818 : formalisation par Aristotle (preuve : Solymosi (2009)) Non évalué Erdős n°835 : formalisation par AlphaProof (preuve : Likely folklore) Non évalué Erdős n°844 : formalisation par Aristotle (preuve : Chvátal (1974) + Weisenberg) Non évalué Erdős n°845 : formalisation par Aristotle (preuve : van Doorn and Everts (2025)) Non évalué Erdős n°848 : formalisation par Aristotle, Claude, GPT-5.2 (preuve : Sawhney (2025)) Non évalué Erdős n°862 : formalisation par Aristotle (preuve : Saxton and Thomason (2015)) Non évalué Erdős n°867 : formalisation par Aristotle (preuve : Freud (1993)) Non évalué Erdős n°897 : formalisation par Aristotle (preuve : Erdős and Wirsing (1975)) Non évalué Erdős n°898 : formalisation par Aristotle, Gemini 3 Flash (preuve : Barrow and Mordell (1937)) Non évalué Erdős n°904 : formalisation par Aristotle (preuve : Bollobás and Nikiforov (2005)) Non évalué Erdős n°905 : formalisation par Aristotle, GPT-5.4 (preuve : Khadžiivanov and Nikiforov (1979)) Non évalué Erdős n°907 : formalisation par Aristotle (preuve : de Bruijn (1951)) Non évalué Erdős n°914 : formalisation par Aristotle (preuve : Kierstead and Kostochka (2008)) Non évalué Erdős n°923 : formalisation par Aristotle (preuve : Rödl (1977)) Non évalué Erdős n°927 : formalisation par Aristotle (preuve : Spencer (1971)) Non évalué Erdős n°947 : formalisation par Aristotle, GPT (preuve : Mirsky and Newman + Davenport and Rado) Non évalué Erdős n°958 : formalisation par Seed Prover 1.5 (preuve : Clemen, Dumitrescu, and Liu (2025)) Non évalué Erdős n°964 : formalisation par Antigravity, Aristotle, Gemini (preuve : Eberhard (2025)) Non évalué Erdős n°967 : formalisation par Aristotle (preuve : Yip (2025)) Non évalué Erdős n°974 : formalisation par Aristotle (preuve : Tijdeman (1966)) Non évalué Erdős n°986 : formalisation par Trellis (preuve : Bradač (2026)) Non évalué Erdős n°990 : formalisation par GPT-5.4 Pro (preuve : OpenAI internal model (2026)) Non évalué Erdős n°997 : formalisation par Aristotle (preuve : OpenAI internal model (2026)) Non évalué Erdős n°1000 : formalisation par Aristotle, GPT (preuve : Haight) Non évalué Erdős n°1007 : formalisation par Aristotle (preuve : House (2013)) Non évalué Erdős n°1008 : formalisation par Aristotle (preuve : Conlon, Fox, and Sudakov (2014)) Non évalué Erdős n°1022 : formalisation par Aristotle (preuve : KoishiChan (2025)) Non évalué Erdős n°1023 : formalisation par Aristotle (preuve : Kleitman (1971)) Non évalué Erdős n°1028 : formalisation par Aristotle (preuve : Erdős (1963); Erdős and Spencer (1971)) Non évalué Erdős n°1034 : formalisation par Aristotle (preuve : Ma and Tang (2025)) Non évalué Erdős n°1036 : formalisation par Aristotle (preuve : Shelah (1998)) Non évalué Erdős n°1037 : formalisation par Aristotle (preuve : Cambie, Chan, and Hunter (2025)) Non évalué Erdős n°1039 : formalisation par Codex, GPT-5.5 (preuve : GPT-5.5 Pro (2026)) Non évalué Erdős n°1044 : formalisation par Aristotle (preuve : Tang (2026)) Non évalué Erdős n°1048 : formalisation par Aristotle (preuve : Pommerenke (1961)) Non évalué Erdős n°1067 : formalisation par Aleph Prover, Aristotle (preuve : Bowler and Pitz (2024)) Non évalué Erdős n°1071 : formalisation par Aleph Prover, Aristotle, GPT (preuve : Danzer; Alexeev (2026)) Non évalué Erdős n°1080 : formalisation par Aristotle (preuve : De Caen and Székely (1992)) Non évalué Erdős n°1095 : formalisation par Aristotle (preuve : Konyagin (1999)) Non évalué Erdős n°1098 : formalisation par Aristotle (preuve : Neumann (1976)) Non évalué Erdős n°1102 : formalisation par Aristotle (preuve : van Doorn and Tao (2025)) Non évalué Erdős n°1121 : formalisation par Aristotle (preuve : Goodman and Goodman (1945)) Non évalué Erdős n°1125 : formalisation par Aristotle (preuve : Laczkovich (1984)) Non évalué Erdős n°1126 : formalisation par Aristotle (preuve : de Bruijn (1966)) Non évalué Erdős n°1134 : formalisation par AxiomProver (preuve : Unspecified) Non évalué Erdős n°1136 : formalisation par Aristotle (preuve : Müller (2011)) Non évalué Erdős n°1138 : formalisation par Aristotle (preuve : Cheri, Kumrawat, and Sunder (2026)) Non évalué Erdős n°1141 : formalisation par GPT-5.4 Pro (preuve : OpenAI internal model (2026)) Non évalué Erdős n°1148 : formalisation par Claude Opus 4.6, Gemini 3.1, GPT-5.4, UlamAI Prover (preuve : Chojecki (2026)) Non évalué Erdős n°1151 : formalisation par Codex, GPT (preuve : Chojecki (2026) (main part)) Non évalué Erdős n°1187 : formalisation par Codex, GPT-5.5 (preuve : Trivial (second part)) Non évalué Erdős n°1190 : formalisation par Unspecified (preuve : Boon Suan Ho and GPT-5.4 Pro (2026)) Non évalué Erdős n°1193 : formalisation par Aristotle (preuve : Trivial) Non évalué Erdős n°1196 : formalisation par Gauss (preuve : GPT-5.4 Pro (2026)) Non évalué Erdős n°396 : calcul d'une suite OEIS selon le wiki (Claude Opus 4.6, Gemini 3.1 Deep Think, GPT-5.4 Pro) Non évalué Erdős n°513 : certificat numérique selon le wiki (GPT-5.2 Pro) Non évalué Erdős n°650 : optimisation numérique selon le wiki (AlphaEvolve) Non évalué