Erdős problem #11: claim judged incorrect by the wiki (Aristotle, GPT) Withdrawn Erdős problem #36: candidate partial result according to the wiki (GPT-5.5 Pro) Not evaluated Erdős problem #38: full solution according to the wiki (GPT-5.5 Pro) Not evaluated Erdős problem #42: partial result with a Lean proof according to the wiki (Codex, GPT-5.2, GPT-5.2 Pro) Not evaluated Erdős problem #51: proof judged incorrect by the wiki (ChatGPT free version) Withdrawn Erdős problem #52: solution to a variant problem according to the wiki (Claude Mythos) Not evaluated Erdős problem #75: solution to a variant problem, already implicit in the literature, according to the wiki (Aletheia) Not evaluated Erdős problem #124: partial result with a Lean proof according to the wiki (Aristotle) Not evaluated Erdős problem #125: solution to a variant problem with a Lean proof according to the wiki (DeepMind prover agent) Not evaluated Erdős problem #138: partial result with a Lean proof according to the wiki (DeepMind prover agent) Not evaluated Erdős problem #176: candidate partial result with a Lean proof according to the wiki (Codex, GPT-5.5 Pro) Not evaluated Erdős problem #205: full solution with a Lean proof according to the wiki (Aristotle, GPT-5.2 Thinking) Not evaluated Erdős problem #233: conditional proof judged incorrect by the wiki (GPT-5.2 Pro) Withdrawn Erdős problem #251: solution to a variant problem according to the wiki (GPT-5.4 Pro) Not evaluated Erdős problem #263: partial result with a Lean proof, second part solved, according to the wiki (Aristotle, Claude Opus 4.7, GPT-5.5 Pro) Not evaluated Erdős problem #358: argument judged by the wiki to have major gaps (GPT-5.2 Pro) Contested Erdős problem #457: full solution with a Lean proof according to the wiki (Aristotle, GPT-5.2 Pro) Not evaluated Erdős problem #477: solution to a variant problem with a Lean proof according to the wiki (AlphaProof) Not evaluated Erdős problem #536: partial result with a Lean proof according to the wiki (Codex, GPT-5.5 Pro) Not evaluated Erdős problem #539: partial result with a Lean proof according to the wiki (Codex, GPT-5.5, ProofCouncil) Not evaluated Erdős problem #550: candidate full solution according to the wiki (GPT) Not evaluated Erdős problem #616: proof judged incorrect by the wiki (Claude Sonnet 4.5, Gemini 3 Pro, GPT-5.2 Pro) Withdrawn Erdős problem #619: full solution with a Lean proof according to the wiki (Claude Fable 5, Codex, GPT-5.5) Not evaluated Erdős problem #647: proof judged incorrect by the wiki (ChatGPT Deep research, DeepSeek DeepThink, Gemini) Withdrawn Erdős problem #654: partial result according to the wiki (Aletheia) Not evaluated Erdős problem #671: candidate full solution with a Lean proof according to the wiki (Codex, GPT-5.5 Pro) Not evaluated Erdős problem #684: partial result according to the wiki (OpenAI internal model) Not evaluated Erdős problem #694: full solution according to the wiki (GPT-5.5 Pro) Not evaluated Erdős problem #730: candidate full solution according to the wiki (GPT-5.5 Pro) Not evaluated Erdős problem #741: partial result with a Lean proof, variant of the first part and second part solved, according to the wiki (DeepMind prover agent) Not evaluated Erdős problem #741: partial result, second part solved, according to the wiki (OpenAI internal model) Not evaluated Erdős problem #741: full solution with a Lean proof according to the wiki (DeepMind prover agent) Not evaluated Erdős problem #783: partial result according to the wiki (GPT-5.2) Not evaluated Erdős problem #836: candidate partial result, second part solved, according to the wiki (GPT-5.5 Pro) Not evaluated Erdős problem #872: partial result according to the wiki (GPT-5.2 Pro) Not evaluated Erdős problem #888: proof judged incorrect by the wiki (Claude Opus 4.5, Gemini 3 Pro, GPT-5.2 Thinking) Withdrawn Erdős problem #949: solution to a variant problem with a Lean proof according to the wiki (AlphaProof) Not evaluated Erdős problem #951: solution to a variant problem according to the wiki (GPT-5.2 Pro) Not evaluated Erdős problem #960: full solution according to the wiki (OpenAI internal model) Not evaluated Erdős problem #963: argument judged by the wiki to have major gaps (Gemini 3 Pro) Contested Erdős problem #987: full solution according to the wiki (OpenAI internal model) Not evaluated Erdős problem #990: full solution according to the wiki (OpenAI internal model) Not evaluated Erdős problem #1014: full solution according to the wiki (OpenAI internal model) Not evaluated Erdős problem #1033: candidate partial result according to the wiki (GPT-5.5 Pro) Not evaluated Erdős problem #1039: partial result according to the wiki (GPT-5.5 Pro) Not evaluated Erdős problem #1040: solution to one part of the problem, the other part judged incorrect by the wiki (Aletheia) Contested Erdős problem #1041: argument judged by the wiki to have major gaps (GPT-5.4 Thinking) Contested Erdős problem #1044: claim judged incorrect by the wiki (GPT-5.2 Pro) Withdrawn Erdős problem #1051: full solution with a Lean proof according to the wiki (Aletheia) Not evaluated Erdős problem #1054: partial result with a Lean proof according to the wiki (Claude Opus 4.8, GPT-5.5 Pro, Principia Math) Not evaluated Erdős problem #1091: full solution according to the wiki (OpenAI internal model) Not evaluated Erdős problem #1101: candidate partial result, second part solved, according to the wiki (GPT-5.5 Pro) Not evaluated Erdős problem #1131: candidate partial result according to the wiki (GPT-5.5 Pro) Not evaluated Erdős problem #1141: full solution according to the wiki (OpenAI internal model) Not evaluated Erdős problem #1194: partial result according to the wiki (GPT-5.4 Pro) Not evaluated Erdős problem #1202: full solution according to the wiki (GPT-5.4 Pro) Not evaluated Erdős problem #1217: full solution according to the wiki (GPT-5.4 Pro) Not evaluated Erdős problem #120: solution to a variant problem with a Lean proof according to the wiki (DeepMind prover agent) Not evaluated Erdős problem #152: full solution with a Lean proof according to the wiki (DeepMind prover agent) Not evaluated Erdős problem #176: partial result with a Lean proof according to the wiki (Codex, GPT-5.5 Pro) Not evaluated Erdős problem #218: conditional solution according to the wiki (GPT) Not evaluated Erdős problem #281: full solution according to the wiki (GPT-5.2 Pro) Not evaluated Erdős problem #346: solution to a variant problem with a Lean proof according to the wiki (Codex, GPT-5.5 Pro) Not evaluated Erdős problem #366: conditional partial result according to the wiki (Automated research pipeline) Not evaluated Erdős problem #397: full solution with a Lean proof according to the wiki (Aristotle, GPT-5.2 Pro) Not evaluated Erdős problem #397: full solution according to the wiki (Aletheia) Not evaluated Erdős problem #543: full solution according to the wiki (GPT-5.2 Pro) Not evaluated Erdős problem #629: partial result according to the wiki (Gemini 3.1 Pro, GPT-5.4 Thinking) Not evaluated Erdős problem #635: solution to one part of the problem with a Lean proof according to the wiki (Aristotle, GPT-5.2 Pro) Not evaluated Erdős problem #650: full solution stronger than the literature according to the wiki (GPT-5.4 Pro) Not evaluated Erdős problem #659: full solution according to the wiki (Aletheia) Not evaluated Erdős problem #846: two full solutions, one with a Lean proof, according to the wiki (DeepMind prover agent; OpenAI internal model (independently)) Not evaluated Erdős problem #851: full solution building upon Romanoff (1934) according to the wiki (GPT-5.2 Pro) Not evaluated Erdős problem #897: full solution with a Lean proof according to the wiki (Archivara, Aristotle) Not evaluated Erdős problem #935: solution to one part of the problem according to the wiki (Aletheia) Not evaluated Erdős problem #983: partial result, first part solved, according to the wiki (GPT-5.5 Pro) Not evaluated Erdős problem #997: full solution according to the wiki (OpenAI internal model) Not evaluated Erdős problem #1082: counterexample to one part of the problem with a Lean proof according to the wiki (DeepMind prover agent) Not evaluated Erdős problem #1089: full solution found by AI according to the wiki (Aletheia) Not evaluated Erdős problem #12: partial result with a Lean proof, first and second parts solved, according to the wiki (DeepMind prover agent) Not evaluated Erdős problem #26: solution to a stronger problem according to the wiki (DeepMind prover agent) Not evaluated Erdős problem #36: slight improvement to a past construction according to the wiki (AlphaEvolve) Not evaluated Erdős problem #43: new proof in Lean of a partial result according to the wiki (Aristotle) Not evaluated Erdős problem #75: partial result according to the wiki (GPT-5.4 Pro) Not evaluated Erdős problem #198: new proof according to the wiki (AlphaProof) Not evaluated Erdős problem #224: new proof in Lean according to the wiki (Codex, GPT-5.2 Thinking) Not evaluated Erdős problem #258: full solution according to the wiki (GPT-5.4 Pro) Not evaluated Erdős problem #264: new proof in Lean of a partial result according to the wiki (Aristotle) Not evaluated Erdős problem #349: improved partial result according to the wiki (GPT-5.2 Thinking) Not evaluated Erdős problem #379: new proof according to the wiki (Seed Prover 1.5) Not evaluated Erdős problem #488: new solution to a variant problem with a Lean proof according to the wiki (Aristotle) Not evaluated Erdős problem #493: new or existing proof, in Lean, according to the wiki (Aristotle, GPT, Seed Prover) Not evaluated Erdős problem #507: some past constructions surpassed according to the wiki (AlphaEvolve) Not evaluated Erdős problem #513: slight improvement to a past construction according to the wiki (GPT-5.2 Thinking) Not evaluated Erdős problem #524: improved partial result according to the wiki (Gemini, GPT-5.2, Grok) Not evaluated Erdős problem #679: proof improved by reducing dependence on the prime number theorem according to the wiki (Aristotle) Not evaluated Erdős problem #729: full solution with a Lean proof according to the wiki (Aristotle, GPT-5.2 Pro) Not evaluated Erdős problem #788: new partial result according to the wiki (GPT-5.2 Pro) Not evaluated Erdős problem #848: explicit bound and partial result on a variant problem according to the wiki (Gemini 3.1 Pro, GPT-5.2 Thinking, GPT-5.4 Thinking) Not evaluated Erdős problem #868: new partial result according to the wiki (GPT-5.2 multi-agent system) Not evaluated Erdős problem #871: existing partial result upgraded to a full solution with a Lean proof according to the wiki (Claude Opus 4.5, Gemini 3 Pro) Not evaluated Erdős problem #942: new proof according to the wiki (Gemini) Not evaluated Erdős problem #948: full solution with a Lean proof according to the wiki (Aristotle, GPT-5.5 Pro) Not evaluated Erdős problem #951: new solution to a variant problem according to the wiki (AlphaEvolve) Not evaluated Erdős problem #958: new proof in Lean according to the wiki (Aristotle) Not evaluated Erdős problem #966: full solution with a Lean proof according to the wiki (Aristotle) Not evaluated Erdős problem #1004: partial result already implicit in the literature according to the wiki (GPT-5.5 Pro) Not evaluated Erdős problem #1007: new proof in Lean according to the wiki (Aristotle) Not evaluated Erdős problem #1032: improved partial result with a Lean proof according to the wiki (Codex, GPT-5.5 Pro) Not evaluated Erdős problem #1043: new proof in Lean according to the wiki (Aristotle) Not evaluated Erdős problem #1043: new proof according to the wiki (GPT) Not evaluated Erdős problem #1047: new proof in Lean according to the wiki (Aristotle) Not evaluated Erdős problem #1048: proof in Lean, a special case of a result of Pommerenke, according to the wiki (Aristotle) Not evaluated Erdős problem #1090: proof in Lean according to the wiki (Aristotle, Gemini 3 Flash) Not evaluated Erdős problem #1095: new proof in Lean of a slightly weaker partial result according to the wiki (Aristotle) Not evaluated Erdős problem #1097: slight improvement to a past construction according to the wiki (AlphaEvolve) Not evaluated Erdős problem #1197: full solution with a Lean proof according to the wiki (Aristotle, Claude Opus 4.7, GPT-5.4 Pro) Not evaluated Erdős problem #7: proof judged incorrect by the wiki (Aristotle) Withdrawn Erdős problem #12: partial result according to the wiki (GPT-5.4 Thinking) Not evaluated Erdős problem #21: partial result with a Lean proof according to the wiki (Aristotle, GPT-5.5 Pro) Not evaluated Erdős problem #25: partial result according to the wiki (GPT-5.4 Pro) Not evaluated Erdős problem #42: full solution according to the wiki (GPT-5.5 Pro) Not evaluated Erdős problem #52: solution to a variant problem according to the wiki (GPT-5.5 Pro) Not evaluated Erdős problem #52: improved bound for a variant problem according to the wiki (GPT-5.5) Not evaluated Erdős problem #52: candidate solution to a variant problem according to the wiki (GPT-5.5) Not evaluated Erdős problem #81: partial result with a Lean proof according to the wiki (Aristotle, GPT-5.5 Pro) Not evaluated Erdős problem #90: improved explicit bound according to the wiki (GPT-5.5 Pro) Not evaluated Erdős problem #138: partial result on a variant problem according to the wiki (GPT-5.4 Thinking) Not evaluated Erdős problem #202: full solution according to the wiki (GPT-5.4 Pro) Not evaluated Erdős problem #202: candidate full solution according to the wiki (GPT-5.5 Pro) Not evaluated Erdős problem #283: full solution according to the wiki (GPT-5.5 Pro) Not evaluated Erdős problem #288: candidate partial result according to the wiki (GPT-5.5 Thinking) Not evaluated Erdős problem #306: partial result with a Lean proof according to the wiki (Claude, Claude Code) Not evaluated Erdős problem #306: candidate full solution with a Lean proof according to the wiki (Unspecified) Not evaluated Erdős problem #326: full solution with a Lean proof according to the wiki (Aristotle, Codex, GPT-5.5) Not evaluated Erdős problem #327: candidate partial result according to the wiki (GPT-5.5, Rethlas) Not evaluated Erdős problem #330: full solution according to the wiki (GPT-5.5 Pro) Not evaluated Erdős problem #342: partial result according to the wiki (GPT-5.2 Pro, GPT-5.4 Pro) Not evaluated Erdős problem #345: partial result with a Lean proof according to the wiki (Aristotle, GPT) Not evaluated Erdős problem #346: full solution with a Lean proof according to the wiki (Codex, GPT) Not evaluated Erdős problem #347: full solution with a Lean proof according to the wiki (Aristotle, Claude Opus, Codex, GPT) Not evaluated Erdős problem #351: full solution according to the wiki (GPT-5.5 Pro) Not evaluated Erdős problem #352: partial result on a variant problem according to the wiki (GPT-5.4 Pro, GPT-5.5 Pro) Not evaluated Erdős problem #358: argument judged by the wiki to have major gaps (GPT-5.2 Thinking) Contested Erdős problem #367: partial result according to the wiki (Aristotle, Gemini Deep Think) Not evaluated Erdős problem #369: full solution according to the wiki (GPT) Not evaluated Erdős problem #374: partial result according to the wiki (GPT-5.4 Pro) Not evaluated Erdős problem #380: full solution according to the wiki (GPT-5.4 Pro) Not evaluated Erdős problem #388: proof judged incorrect by the wiki (Claude, Gemini, GPT-5.4) Withdrawn Erdős problem #390: candidate partial result according to the wiki (GPT-5.5 Pro) Not evaluated Erdős problem #393: conditional partial result according to the wiki (GPT-5.5 Pro) Not evaluated Erdős problem #396: partial result according to the wiki (Claude, Codex, GPT) Not evaluated Erdős problem #396: related result according to the wiki (GPT-5.4 Pro, GPT-5.4 Thinking) Not evaluated Erdős problem #400: candidate partial result according to the wiki (GPT) Not evaluated Erdős problem #401: full solution with a Lean proof and solution to a variant problem according to the wiki (Aristotle, GPT-5.2 Pro) Not evaluated Erdős problem #411: proof judged incorrect by the wiki (Claude) Withdrawn Erdős problem #415: partial result according to the wiki (GPT-5.4 Pro) Not evaluated Erdős problem #423: partial result according to the wiki (GPT-5.2 Thinking, GPT-5.4 Thinking) Not evaluated Erdős problem #432: candidate partial result according to the wiki (GPT-5.5 Pro) Not evaluated Erdős problem #451: partial result with a Lean proof according to the wiki (Aristotle, GPT-5.5 Pro) Not evaluated Erdős problem #456: candidate partial result, parts 1 and 2 solved, part 3 conditionally, according to the wiki (GPT-5.5 Pro) Not evaluated Erdős problem #460: reduction to a simpler problem according to the wiki (GPT-5.2) Not evaluated Erdős problem #488: partial result according to the wiki (Aristotle, GPT-5.4) Not evaluated Erdős problem #501: candidate conditional partial result, first part solved conditionally, according to the wiki (GPT-5.5 Pro) Not evaluated Erdős problem #503: argument judged by the wiki to have major gaps (Aristotle, GPT-5.4 Pro) Contested Erdős problem #503: partial result according to the wiki (GPT-5.5 Pro) Not evaluated Erdős problem #514: partial result, first and second parts solved, according to the wiki (GPT-5.4 Pro) Not evaluated Erdős problem #514: partial result with a Lean proof, third part solved, according to the wiki (GPT-5.5 Pro) Not evaluated Erdős problem #521: solution to a variant problem according to the wiki (GPT-5.5 Pro) Not evaluated Erdős problem #521: candidate full solution according to the wiki (GPT-5.5 Pro) Not evaluated Erdős problem #524: partial result according to the wiki (GPT-5.4 Pro) Not evaluated Erdős problem #535: partial result already implicit in the literature according to the wiki (GPT-5.5 Thinking) Not evaluated Erdős problem #593: candidate full solution according to the wiki (GPT) Not evaluated Erdős problem #598: candidate partial result according to the wiki (Aristotle, GPT-5.4 Pro) Not evaluated Erdős problem #603: full solution according to the wiki (GPT-5.4 Pro) Not evaluated Erdős problem #610: full solution with a Lean proof, already implicit in the literature, according to the wiki (Aristotle, GPT-5.4 Pro) Not evaluated Erdős problem #623: candidate full solution according to the wiki (GPT-5.5 Pro) Not evaluated Erdős problem #659: full solution according to the wiki (Gemini 3) Not evaluated Erdős problem #675: partial result according to the wiki (GPT-5.4 Pro) Not evaluated Erdős problem #684: partial result according to the wiki (GPT-5.2 Thinking) Not evaluated Erdős problem #684: partial result according to the wiki (GPT-5.4 Thinking) Not evaluated Erdős problem #686: various partial results according to the wiki (AlphaProof, Claude, Gemini Deep Think, GPT-5.2 Thinking, GPT-5.4 Thinking, Seed 2.0 Pro) Not evaluated Erdős problem #689: candidate full solution according to the wiki (Codex, GPT-5.2, GPT-5.5 Pro) Not evaluated Erdős problem #690: full solution according to the wiki (Multiscalar Fields System) Not evaluated Erdős problem #696: full solution with a Lean proof according to the wiki (Aristotle, Claude Code, Claude Opus 4.7, GPT-5.5 Pro) Not evaluated Erdős problem #731: candidate full solution according to the wiki (GPT) Not evaluated Erdős problem #749: partial result and solution to a variant problem according to the wiki (GPT-5.4 Thinking) Not evaluated Erdős problem #750: full solution according to the wiki (GPT-5.5 Pro) Not evaluated Erdős problem #768: candidate full solution according to the wiki (GPT) Not evaluated Erdős problem #776: partial result according to the wiki (GPT-5.2 Thinking) Not evaluated Erdős problem #819: candidate partial result according to the wiki (GPT-5.5, Rethlas) Not evaluated Erdős problem #848: proof judged incorrect by the wiki (Claude Opus 4.6, GPT-5.4) Withdrawn Erdős problem #848: full solution according to the wiki (GPT-5) Not evaluated Erdős problem #852: partial result according to the wiki (GPT-5.4) Not evaluated Erdős problem #852: candidate partial result according to the wiki (GPT-5.5 Pro) Not evaluated Erdős problem #856: candidate full solution according to the wiki (GPT-5.4 Pro) Not evaluated Erdős problem #858: full solution according to the wiki (GPT-5.4 Pro) Not evaluated Erdős problem #863: full solution according to the wiki (GPT-5.4 Pro) Not evaluated Erdős problem #865: full solution according to the wiki (GPT-5.5 Pro) Not evaluated Erdős problem #866: partial result with a Lean proof according to the wiki (Aristotle, GPT-5.3 Instant) Not evaluated Erdős problem #870: candidate full solution according to the wiki (GPT-5.4 Pro, GPT-5.5 Pro) Not evaluated Erdős problem #872: partial result according to the wiki (GPT-5.4 Pro) Not evaluated Erdős problem #872: candidate partial result according to the wiki (GPT-5.5 Pro) Not evaluated Erdős problem #873: candidate partial result according to the wiki (GPT-5.4 Thinking) Not evaluated Erdős problem #873: candidate partial result according to the wiki (GPT-5.5 Thinking) Not evaluated Erdős problem #875: partial result with a Lean proof according to the wiki (Codex, GPT-5.5 Pro) Not evaluated Erdős problem #888: full solution according to the wiki (Aristotle, GPT-5.5 Pro) Not evaluated Erdős problem #896: full solution according to the wiki (GPT-5.5 Pro) Not evaluated Erdős problem #906: candidate full solution according to the wiki (Unspecified) Not evaluated Erdős problem #906: candidate full solution according to the wiki (GPT-5.5 Pro) Not evaluated Erdős problem #931: partial result according to the wiki (Claude, GPT-5.4) Not evaluated Erdős problem #942: partial result with a Lean proof according to the wiki (Aristotle, Claude Opus 4.8, Codex, GPT-5.5) Not evaluated Erdős problem #943: partial result according to the wiki (GPT-5.4 Pro) Not evaluated Erdős problem #953: full solution according to the wiki (GPT-5.5 Pro) Not evaluated Erdős problem #956: candidate full solution according to the wiki (Aristotle, GPT-5.5 Pro) Not evaluated Erdős problem #986: full solution according to the wiki (Claude, OpenAI internal model) Not evaluated Erdős problem #995: partial result according to the wiki (GPT-5.4 Pro) Not evaluated Erdős problem #996: full solution according to the wiki (GPT-5.4 Pro) Not evaluated Erdős problem #951: new solution to a variant problem according to the wiki (GPT-5.2 Thinking) Not evaluated Erdős problem #976: conditional partial result according to the wiki (GPT-5.4) Not evaluated Erdős problem #1026: full solution with a Lean proof according to the wiki (AlphaEvolve, Aristotle, Gemini, GPT) Not evaluated Erdős problem #1038: partial result according to the wiki (AlphaEvolve, Claude Fable 5, Codex, GPT-5.2 Thinking, GPT-5.4 Thinking, GPT-5.5) Not evaluated Erdős problem #1039: partial result with a Lean proof according to the wiki (Aristotle, Claude Opus 4.6) Not evaluated Erdős problem #1041: argument judged by the wiki to have major gaps (Claude Opus 4.6, Gemini 3.1 Pro, GPT-5.4) Contested Erdős problem #1061: candidate full solution according to the wiki (GPT) Not evaluated Erdős problem #1062: partial result according to the wiki (GPT-5.4 Pro) Not evaluated Erdős problem #1070: partial result according to the wiki (Codex, GPT-5.5) Not evaluated Erdős problem #1092: full solution according to the wiki (GPT-5.5 Pro) Not evaluated Erdős problem #1095: partial result according to the wiki (Claude Opus 4.6, Gemini 3.1 Pro, GPT-5.4 Pro) Not evaluated Erdős problem #1132: partial result according to the wiki (AlphaEvolve, Claude, Gemini Pro, GPT-5.4 Pro) Not evaluated Erdős problem #1133: candidate full solution according to the wiki (GPT-5.5 Pro) Not evaluated Erdős problem #1138: full solution according to the wiki (GPT-5.5 Pro, GPT-5.5 Thinking) Not evaluated Erdős problem #1139: candidate full solution according to the wiki (GPT-5.2 Pro, GPT-5.5 Pro) Not evaluated Erdős problem #1141: partial result on a variant problem according to the wiki (GPT-5.2 Pro, GPT-5.2 Thinking) Not evaluated Erdős problem #1143: partial result already implicit in the literature according to the wiki (GPT-5.5 Pro) Not evaluated Erdős problem #1148: full solution according to the wiki (Gemini 3 Pro, Gemini 3.1 Pro, GPT-5.2 Pro, GPT-5.2 Thinking, GPT-5.4 Pro) Not evaluated Erdős problem #1148: solution to a stronger problem according to the wiki (GPT-5.5 Pro) Not evaluated Erdős problem #1151: full solution according to the wiki (GPT-5.5 Pro) Not evaluated Erdős problem #1153: full solution according to the wiki (AlphaEvolve, Claude, Gemini Pro, GPT-5.2 Thinking, GPT-5.4 Pro) Not evaluated Erdős problem #1177: candidate full solution according to the wiki (GPT) Not evaluated Erdős problem #1183: partial result according to the wiki (GPT-5.4 Pro) Not evaluated Erdős problem #1190: full solution according to the wiki (GPT-5.4 Pro) Not evaluated Erdős problem #1190: candidate full solution according to the wiki (GPT-5.5 Pro) Not evaluated Erdős problem #1194: partial result with a Lean proof according to the wiki (Codex, GPT-5.5 Pro) Not evaluated Erdős problem #1195: full solution according to the wiki (GPT-5.4 Pro) Not evaluated Erdős problem #1196: full solution stronger than the literature according to the wiki (GPT-5.4 Thinking) Not evaluated Erdős problem #1201: candidate full solution according to the wiki (GPT-5.5 Pro) Not evaluated Erdős problem #1208: candidate partial result according to the wiki (GPT-5.5 Pro) Not evaluated Erdős problem #1209: partial result with a Lean proof according to the wiki (GPT-5.4 Pro) Not evaluated Erdős problem #35: partial results found in the literature according to the wiki (GPT-5) Not evaluated Erdős problem #66: partial results found in the literature according to the wiki (GPT-5) Not evaluated Erdős problem #94: full solution found in the literature according to the wiki (GPT-5) Not evaluated Erdős problem #120: solution to a variant problem found in the literature according to the wiki (GPT-5.4 Thinking) Not evaluated Erdős problem #167: partial results found in the literature according to the wiki (GPT-5) Not evaluated Erdős problem #188: partial results found in the literature according to the wiki (GPT-5) Not evaluated Erdős problem #214: partial results found in the literature according to the wiki (ChatGPT Deep research, Gemini Deep Research) Not evaluated Erdős problem #223: full solution found in the literature according to the wiki (GPT-5) Not evaluated Erdős problem #306: partial results found in the literature according to the wiki (GPT-5.2 Thinking) Not evaluated Erdős problem #325: partial results found in the literature according to the wiki (ChatGPT Deep research) Not evaluated Erdős problem #330: partial results found in the literature with inaccuracies noted by the wiki, literature proof not found (ChatGPT Deep research, Claude, Gemini Deep Research) Contested Erdős problem #333: claimed proof judged incorrect by the wiki, literature proof not found (GPT-5.2 Pro) Withdrawn Erdős problem #333: full solution found in the literature according to the wiki (Aletheia) Not evaluated Erdős problem #339: full solution found in the literature according to the wiki (GPT-5) Not evaluated Erdős problem #347: partial results found in the literature according to the wiki (ChatGPT Deep research) Not evaluated Erdős problem #354: partial results found in the literature according to the wiki (ChatGPT Deep research) Not evaluated Erdős problem #370: problem found to be misstated and solutions to variant problems found in the literature according to the wiki (ChatGPT Deep research, Gemini, Gemini Deep Research) Not evaluated Erdős problem #387: partial results found in the literature according to the wiki (ChatGPT Deep research) Not evaluated Erdős problem #397: full solution found in the literature according to the wiki (ChatGPT Deep research) Not evaluated Erdős problem #481: existing proof unwittingly reproduced according to the wiki (ChatGPT Deep research, Gemini Deep Research) Not evaluated Erdős problem #481: full solution found in the literature according to the wiki (GPT) Not evaluated Erdős problem #494: full solution found in the literature according to the wiki (GPT-5) Not evaluated Erdős problem #515: full solution found in the literature according to the wiki (GPT-5) Not evaluated Erdős problem #516: problem found to be misstated and full solution to the actual problem found in the literature according to the wiki (ChatGPT Deep research, Claude, Gemini Deep Research) Not evaluated Erdős problem #524: partial results found in the literature according to the wiki (GPT-5.2 Pro) Not evaluated Erdős problem #533: full solution found in the literature according to the wiki (GPT) Not evaluated Erdős problem #559: partial results found in the literature according to the wiki (ChatGPT Deep research, Gemini Deep Research) Not evaluated Erdős problem #574: full solution found in the literature according to the wiki (GPT-5.4 Pro) Not evaluated Erdős problem #575: paper identifying a misstatement of the problem found in the literature according to the wiki (GPT) Not evaluated Erdős problem #591: full solution found in the literature according to the wiki (ChatGPT Deep research) Not evaluated Erdős problem #591: full solution found in the literature according to the wiki (Aletheia) Not evaluated Erdős problem #602: related results found in the literature according to the wiki (GPT-5.4 Thinking) Not evaluated Erdős problem #621: full solution found in the literature according to the wiki (GPT-5) Not evaluated Erdős problem #645: full solution found in the literature according to the wiki (GPT-5) Not evaluated Erdős problem #650: full solution found in the literature according to the wiki (ChatGPT Deep research) Not evaluated Erdős problem #652: full solution by applying results from the literature according to the wiki (GPT-5.2 Pro) Not evaluated Erdős problem #652: full solution by applying results from the literature according to the wiki (Aletheia) Not evaluated Erdős problem #659: partial results, upgradeable to a full solution, found in the literature according to the wiki (Gemini Deep Research) Not evaluated Erdős problem #672: partial results found in the literature according to the wiki (GPT) Not evaluated Erdős problem #705: full solution found in the literature according to the wiki (GPT) Not evaluated Erdős problem #705: full solution found in the literature according to the wiki (Aletheia) Not evaluated Erdős problem #729: related results found in the literature according to the wiki (ChatGPT Deep research) Not evaluated Erdős problem #737: full solution found in the literature according to the wiki (GPT-5) Not evaluated Erdős problem #749: partial results found in the literature according to the wiki (GPT-5.4 Thinking) Not evaluated Erdős problem #750: partial results found in the literature according to the wiki (GPT-5) Not evaluated Erdős problem #788: partial results found in the literature according to the wiki (GPT-5) Not evaluated Erdős problem #793: partial results found in the literature according to the wiki (ChatGPT Deep research) Not evaluated Erdős problem #811: partial results found in the literature according to the wiki (GPT-5) Not evaluated Erdős problem #822: full solution found in the literature according to the wiki (GPT-5) Not evaluated Erdős problem #827: partial results found in the literature according to the wiki (GPT-5) Not evaluated Erdős problem #829: partial results found in the literature according to the wiki (GPT-5) Not evaluated Erdős problem #847: full solution found in the literature according to the wiki (GPT-5.2 Pro) Not evaluated Erdős problem #851: confusion with another problem noted by the wiki, partial results found in the literature (ChatGPT Deep research, Claude, Gemini Deep Research) Contested Erdős problem #871: partial results found in the literature according to the wiki (ChatGPT Deep research) Not evaluated Erdős problem #903: full solution found in the literature according to the wiki (GPT-5) Not evaluated Erdős problem #915: partial results found in the literature according to the wiki (ChatGPT Deep research) Not evaluated Erdős problem #942: partial results found in the literature according to the wiki (ChatGPT Deep research) Not evaluated Erdős problem #965: full solution found in the literature according to the wiki (GPT) Not evaluated Erdős problem #971: partial results found in the literature according to the wiki (Claude) Not evaluated Erdős problem #985: partial results found in the literature according to the wiki (GPT-5.4 Thinking) Not evaluated Erdős problem #990: partial results found in the literature according to the wiki (ChatGPT Deep research, Gemini Deep Research) Not evaluated Erdős problem #992: full solution found in the literature according to the wiki (Aletheia) Not evaluated Erdős problem #1008: full solution found in the literature according to the wiki (GPT-5) Not evaluated Erdős problem #1011: partial results found in the literature according to the wiki (GPT-5) Not evaluated Erdős problem #1016: partial results found in the literature according to the wiki (ChatGPT Deep research, Gemini Deep Research) Not evaluated Erdős problem #1019: solution claim found in the literature, without a precise citation, according to the wiki (ChatGPT Deep research, Gemini Deep Research) Not evaluated Erdős problem #1021: full solution, previously noted, found in the literature according to the wiki (GPT) Not evaluated Erdős problem #1043: full solution found in the literature according to the wiki (GPT-5) Not evaluated Erdős problem #1079: full solution found in the literature according to the wiki (GPT-5) Not evaluated Erdős problem #1084: partial results found in the literature according to the wiki (GPT) Not evaluated Erdős problem #1099: full solution found in the literature according to the wiki (ChatGPT Deep research, Gemini, Gemini Deep Research) Not evaluated Erdős problem #1105: partial results found in the literature according to the wiki (ChatGPT Deep research) Not evaluated Erdős problem #1105: full solution found in the literature, with some wrong references noted by the wiki (Aletheia) Contested Erdős problem #1123: full solution found in the literature according to the wiki (Gemini Deep Research) Not evaluated Erdős problem #1124: solution to a variant problem found in the literature according to the wiki (GPT) Not evaluated Erdős problem #1129: full solution found in the literature according to the wiki (GPT-5.2 Pro) Not evaluated Erdős problem #1130: full solution found in the literature according to the wiki (GPT-5.2 Pro) Not evaluated Erdős problem #1147: full solution found in the literature according to the wiki (GPT-5.2 Thinking) Not evaluated Erdős problem #1150: claimed solution found in the literature, likely incorrect according to the wiki (Gemini Deep Research) Not evaluated Erdős problem #1154: partial results found in the literature according to the wiki (GPT-5.2 Thinking) Not evaluated Erdős problem #1161: full solution found in the literature according to the wiki (GPT-5.2 Thinking) Not evaluated Erdős problem #1198: partial results found in the literature according to the wiki (GPT-5.4) Not evaluated Erdős problem #1216: solution stronger than the problem found in the literature according to the wiki (ChatGPT Deep research) Not evaluated Erdős problem #1216: related results found in the literature according to the wiki (GPT-5.4 Thinking) Not evaluated Erdős n°16 : formalisation par Antigravity, Gemini 3.1 Pro (preuve : Chen (2023)) Not evaluated Erdős n°24 : formalisation par Aristotle (preuve : Grzesik (2012)) Not evaluated Erdős n°26 : formalisation par Aristotle (preuve : Ruzsa) Not evaluated Erdős n°31 : formalisation par Aristotle, GPT (preuve : Lorentz (1954), Wouter van Doorn (2025)) Not evaluated Erdős n°34 : formalisation par Aristotle (preuve : Konieczny (2015)) Not evaluated Erdős n°38 : formalisation par Aristotle (preuve : GPT-5.5 Pro (2026)) Not evaluated Erdős n°42 : formalisation par Codex, GPT-5.5 Pro (preuve : GPT-5.5 Pro (2026)) Not evaluated Erdős n°43 : formalisation par Aristotle, Claude (preuve : Barreto (2025)) Not evaluated Erdős n°56 : formalisation par Aristotle, GPT (preuve : Ahlswede and Khachatrian (1995)) Not evaluated Erdős n°71 : formalisation par Aristotle, Claude Opus 4.7, GPT-5.5 (preuve : Bollobás (1977)) Not evaluated Erdős n°90 : formalisation par Aleph Prover (preuve : OpenAI internal model (2026)) Not evaluated 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)) Not evaluated Erdős n°94 : formalisation par Codex, GPT-5.2 Thinking; Seed Prover (preuve : Lefmann and Thiele (1995)) Not evaluated Erdős n°105 : formalisation par Aristotle, GPT Pro (preuve : Xichuan (2025)) Not evaluated Erdős n°106 : formalisation par Aristotle (preuve : Baek, Koizumi, and Ueoro (2024)) Not evaluated 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)) Not evaluated Erdős n°134 : formalisation par Aristotle (preuve : Alon) Not evaluated Erdős n°150 : formalisation par Aristotle (preuve : Bradač (2024)) Not evaluated Erdős n°154 : formalisation par Aristotle, GPT (preuve : Lindström (1998)) Not evaluated Erdős n°164 : formalisation par Codex (preuve : Alexeev, Barreto, Li, Lichtman, Price, Shah, Tang, and Tao (2026)) Not evaluated Erdős n°165 : formalisation par Trellis (preuve : Hefty, Horn, King and Pfender (2025)) Not evaluated Erdős n°178 : formalisation par Aristotle (preuve : Beck (1981)) Not evaluated Erdős n°189 : formalisation par Aristotle, Gemini 3 Pro (preuve : Kovač (2023)) Not evaluated Erdős n°192 : formalisation par Aristotle (preuve : Keränen (1992)) Not evaluated Erdős n°194 : formalisation par Aristotle (preuve : Ardal, Brown, and Jungić (2011)) Not evaluated Erdős n°198 : formalisation par Aristotle, GPT (preuve : Baumgartner (1975)) Not evaluated Erdős n°199 : formalisation par Aristotle (preuve : Baumgartner (1975)) Not evaluated Erdős n°202 : formalisation par Unspecified (preuve : Boon Suan Ho and GPT-5.4 Pro (2026)) Not evaluated Erdős n°204 : formalisation par Aristotle (preuve : Adenwalla (2025)) Not evaluated Erdős n°206 : formalisation par Aristotle (preuve : Kovač (2024)) Not evaluated Erdős n°209 : formalisation par AxiomProver (preuve : Escudero (2016)) Not evaluated Erdős n°214 : formalisation par Aristotle (preuve : Juhász (1979)) Not evaluated Erdős n°221 : formalisation par Aristotle (preuve : Ruzsa (1972) + van Doorn (2025)) Not evaluated Erdős n°226 : formalisation par Aristotle (preuve : Sato and Rankin (1974)) Not evaluated Erdős n°229 : formalisation par Aristotle (preuve : Barth and Schneider (1972)) Not evaluated Erdős n°231 : formalisation par Aristotle (preuve : Keränen (1992)) Not evaluated Erdős n°237 : formalisation par Aristotle (preuve : Chen and Ding (2022)) Not evaluated Erdős n°246 : formalisation par Aristotle (preuve : Birch (1959)) Not evaluated Erdős n°258 : formalisation par Aristotle (preuve : GPT-5.4 Pro (2026)) Not evaluated Erdős n°259 : formalisation par Aristotle (preuve : Chen and Ruzsa (1999)) Not evaluated Erdős n°268 : formalisation par Aristotle (preuve : Kovač (2024)) Not evaluated Erdős n°275 : formalisation par Aristotle (preuve : Balister, Bollobas, Morris, Sahasrabudhe, and Tiba (2020)) Not evaluated Erdős n°280 : formalisation par Aristotle (preuve : Cambie (2025)) Not evaluated Erdős n°281 : formalisation par Aristotle, Gemini 3 Flash (preuve : GPT-5.2 Pro (2026)) Not evaluated Erdős n°283 : formalisation par Aristotle (preuve : van Doorn (2025)) Not evaluated Erdős n°283 : formalisation par Claude Opus 4.7, GPT-5.5 Pro (preuve : Barreto, GPT-5.5 Pro, and Price (2026)) Not evaluated Erdős n°290 : formalisation par Aristotle (preuve : van Doorn (2024)) Not evaluated Erdős n°296 : formalisation par Aristotle (preuve : Hunter and Sawhney) Not evaluated Erdős n°303 : formalisation par Seed Prover (preuve : Brown and Rödl (1991)) Not evaluated Erdős n°314 : formalisation par Aristotle (preuve : Lim and Steinerberger (2024)) Not evaluated Erdős n°315 : formalisation par Aristotle (preuve : Kamio (2025)) Not evaluated Erdős n°328 : formalisation par AxiomProver (preuve : Nešetřil and Rödl (1985)) Not evaluated Erdős n°330 : formalisation par Codex, GPT-5.5 Pro (preuve : GPT-5.5 Pro and Turturean (2026)) Not evaluated Erdős n°331 : formalisation par Aristotle (preuve : Ruzsa) Not evaluated Erdős n°337 : formalisation par Aristotle (preuve : Ruzsa and Turjányi (1985)) Not evaluated Erdős n°350 : formalisation par Aristotle, GPT (preuve : Ryavec (1974)) Not evaluated Erdős n°351 : formalisation par Claude Opus 4.7, GPT-5.5 Pro (preuve : Barreto, GPT-5.5 Pro, and Price (2026)) Not evaluated Erdős n°353 : formalisation par Aristotle (preuve : Kovač and Predojević (2024) + Koizumi (2025)) Not evaluated Erdős n°355 : formalisation par Aristotle, Gemini 3 (preuve : van Doorn and Kovač (2025) (almost the entirety)) Not evaluated Erdős n°363 : formalisation par Aristotle (preuve : Ulas (2005)) Not evaluated Erdős n°367 : formalisation par Aristotle (preuve : van Doorn and Tao (2025)) Not evaluated Erdős n°368 : formalisation par Aristotle (preuve : Pólya (1918)) Not evaluated Erdős n°369 : formalisation par Aristotle (preuve : GPT and Yang (2026)) Not evaluated Erdős n°370 : formalisation par Aristotle, GPT (preuve : Steinerberger (2025)) Not evaluated Erdős n°392 : formalisation par Various (preuve : Tao (2026)) Not evaluated Erdős n°399 : formalisation par Codex (preuve : Barfield (2025)) Not evaluated Erdős n°403 : formalisation par AxiomProver (preuve : Unspecified) Not evaluated Erdős n°418 : formalisation par Aristotle, GPT (preuve : Browkin and Schinzel (1995)) Not evaluated Erdős n°419 : formalisation par Aristotle (preuve : Sawhney (2025)) Not evaluated Erdős n°425 : formalisation par Aristotle, GPT (preuve : Erdős (1938)) Not evaluated Erdős n°426 : formalisation par Aristotle (preuve : Bradač and Christoph (2024)) Not evaluated Erdős n°427 : formalisation par Aristotle (preuve : Pilatte) Not evaluated Erdős n°429 : formalisation par Aristotle (preuve : Weisenberg (2024)) Not evaluated 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)) Not evaluated Erdős n°434 : formalisation par Aristotle, Claude Opus 4.8 (preuve : Continued from [433] formalization) Not evaluated Erdős n°435 : formalisation par Aristotle (preuve : Cambie (2025)) Not evaluated Erdős n°441 : formalisation par AxiomProver (preuve : Chen and Dai (2007)) Not evaluated Erdős n°443 : formalisation par Aristotle (preuve : Hegyvári (2025)) Not evaluated Erdős n°447 : formalisation par Aristotle (preuve : Kleitman (1971)) Not evaluated Erdős n°453 : formalisation par Aristotle (preuve : Pomerance (1979)) Not evaluated Erdős n°459 : formalisation par Aristotle (preuve : Cambie (2026)) Not evaluated Erdős n°464 : formalisation par Aristotle (preuve : de Mathan (1980)) Not evaluated Erdős n°476 : formalisation par Aristotle (preuve : Alon, Nathanson, and Ruzsa (1995)) Not evaluated Erdős n°480 : formalisation par Aristotle (preuve : Chung and Graham (1984)) Not evaluated Erdős n°481 : formalisation par Aristotle, Claude (preuve : Barreto (2025)) Not evaluated Erdős n°484 : formalisation par Aristotle (preuve : Erdős, Sárközy, and Sós (1989)) Not evaluated Erdős n°487 : formalisation par Aristotle (preuve : Kleitman (1971)) Not evaluated Erdős n°490 : formalisation par Aristotle, GPT-5.5 Pro (preuve : Szemerédi (1976)) Not evaluated Erdős n°497 : formalisation par Aristotle (preuve : Kleitman (1969)) Not evaluated Erdős n°498 : formalisation par Aristotle, Claude Opus, Gemini Flash, Gemini Pro (preuve : Kleitman (1965)) Not evaluated Erdős n°499 : formalisation par Aristotle (preuve : Marcus and Minc (1962)) Not evaluated Erdős n°502 : formalisation par Aristotle (preuve : Petrov and Pohoata (2021)) Not evaluated Erdős n°505 : formalisation par Aristotle (preuve : Kahn and Kalai (1993)) Not evaluated Erdős n°512 : formalisation par Aristotle (preuve : McGehee, Pigno, and Smith (1981)) Not evaluated Erdős n°519 : formalisation par Aristotle (preuve : Atkinson (1961)) Not evaluated Erdős n°537 : formalisation par Aristotle (preuve : Ruzsa) Not evaluated Erdős n°540 : formalisation par Aristotle (preuve : Szemerédi (1970)) Not evaluated Erdős n°541 : formalisation par Aristotle, GPT (preuve : Grynkiewicz (2011)) Not evaluated Erdős n°582 : formalisation par Aristotle (preuve : Folkman (1970)) Not evaluated Erdős n°603 : formalisation par Codex, GPT-5.5 (preuve : Chojecki and GPT-5.4 Pro (2026)) Not evaluated Erdős n°613 : formalisation par GPT Pro (preuve : Pikhurko (2001)) Not evaluated Erdős n°618 : formalisation par Aristotle (preuve : Alon) Not evaluated Erdős n°621 : formalisation par Aristotle (preuve : Norin and Sun (2016)) Not evaluated Erdős n°639 : formalisation par Aristotle (preuve : Keevash and Sudakov (2004)) Not evaluated Erdős n°645 : formalisation par Aristotle, GPT (preuve : Brown and Landman (1999)) Not evaluated Erdős n°646 : formalisation par Aristotle (preuve : Berend (1997)) Not evaluated Erdős n°648 : formalisation par Aristotle (preuve : Cambie (2025)) Not evaluated Erdős n°649 : formalisation par Aristotle, GPT (preuve : Tong; Sampaio) Not evaluated Erdős n°650 : formalisation par Aristotle (preuve : He, Li and Tang (2026)) Not evaluated Erdős n°658 : formalisation par Aristotle (preuve : Solymosi (2004)) Not evaluated Erdős n°659 : formalisation par Aristotle (preuve : Gemini and Grayzel (2026)) Not evaluated Erdős n°666 : formalisation par Aristotle (preuve : Chung (1992), Brouwer, Dejter, and Thomassen (1993)) Not evaluated Erdős n°678 : formalisation par Aristotle (preuve : Cambie (2025)) Not evaluated Erdős n°692 : formalisation par Aristotle (preuve : Cambie (2025)) Not evaluated Erdős n°694 : formalisation par Aristotle, Claude Code, Claude Opus 4.7, GPT-5.5 Pro (preuve : GPT-5.5 Pro (2026)) Not evaluated Erdős n°698 : formalisation par Aristotle (preuve : Bergman (2011)) Not evaluated Erdős n°707 : formalisation par GPT (preuve : Hall (1947)) Not evaluated Erdős n°716 : formalisation par Aristotle (preuve : Ruzsa and Szemerédi (1978)) Not evaluated Erdős n°728 : formalisation par Aristotle (preuve : Pomerance (2026)) Not evaluated Erdős n°750 : formalisation par Claude Code, Claude Opus 4.7, GPT-5.5 Pro (preuve : Chojecki and GPT-5.5 Pro (2026)) Not evaluated Erdős n°751 : formalisation par GPT-5.2-Codex, GPT-5.2 Thinking (preuve : Bondy and Vince (1998)) Not evaluated Erdős n°753 : formalisation par Aristotle (preuve : Alon (1992)) Not evaluated Erdős n°756 : formalisation par Aristotle (preuve : Bhowmick (2024)) Not evaluated Erdős n°760 : formalisation par Aristotle (preuve : Alon, Krivelevich, and Sudakov (1997)) Not evaluated Erdős n°762 : formalisation par Aristotle, Claude Opus 4.7, GPT (preuve : Steiner (2024)) Not evaluated Erdős n°765 : formalisation par Aristotle (preuve : Aigner and Ziegler (1998)) Not evaluated Erdős n°775 : formalisation par Aristotle (preuve : Gao (2025)) Not evaluated Erdős n°785 : formalisation par Aristotle (preuve : Narkiewicz (1959/60) + Ruzsa (2015)) Not evaluated Erdős n°788 : formalisation par Aristotle (preuve : GPT-5.2 Pro (2026)) Not evaluated Erdős n°794 : formalisation par Aristotle (preuve : Harris (2025)) Not evaluated Erdős n°798 : formalisation par Aristotle (preuve : Alon (1991)) Not evaluated Erdős n°818 : formalisation par Aristotle (preuve : Solymosi (2009)) Not evaluated Erdős n°835 : formalisation par AlphaProof (preuve : Likely folklore) Not evaluated Erdős n°844 : formalisation par Aristotle (preuve : Chvátal (1974) + Weisenberg) Not evaluated Erdős n°845 : formalisation par Aristotle (preuve : van Doorn and Everts (2025)) Not evaluated Erdős n°848 : formalisation par Aristotle, Claude, GPT-5.2 (preuve : Sawhney (2025)) Not evaluated Erdős n°862 : formalisation par Aristotle (preuve : Saxton and Thomason (2015)) Not evaluated Erdős n°867 : formalisation par Aristotle (preuve : Freud (1993)) Not evaluated Erdős n°897 : formalisation par Aristotle (preuve : Erdős and Wirsing (1975)) Not evaluated Erdős n°898 : formalisation par Aristotle, Gemini 3 Flash (preuve : Barrow and Mordell (1937)) Not evaluated Erdős n°904 : formalisation par Aristotle (preuve : Bollobás and Nikiforov (2005)) Not evaluated Erdős n°905 : formalisation par Aristotle, GPT-5.4 (preuve : Khadžiivanov and Nikiforov (1979)) Not evaluated Erdős n°907 : formalisation par Aristotle (preuve : de Bruijn (1951)) Not evaluated Erdős n°914 : formalisation par Aristotle (preuve : Kierstead and Kostochka (2008)) Not evaluated Erdős n°923 : formalisation par Aristotle (preuve : Rödl (1977)) Not evaluated Erdős n°927 : formalisation par Aristotle (preuve : Spencer (1971)) Not evaluated Erdős n°947 : formalisation par Aristotle, GPT (preuve : Mirsky and Newman + Davenport and Rado) Not evaluated Erdős n°958 : formalisation par Seed Prover 1.5 (preuve : Clemen, Dumitrescu, and Liu (2025)) Not evaluated Erdős n°964 : formalisation par Antigravity, Aristotle, Gemini (preuve : Eberhard (2025)) Not evaluated Erdős n°967 : formalisation par Aristotle (preuve : Yip (2025)) Not evaluated Erdős n°974 : formalisation par Aristotle (preuve : Tijdeman (1966)) Not evaluated Erdős n°986 : formalisation par Trellis (preuve : Bradač (2026)) Not evaluated Erdős n°990 : formalisation par GPT-5.4 Pro (preuve : OpenAI internal model (2026)) Not evaluated Erdős n°997 : formalisation par Aristotle (preuve : OpenAI internal model (2026)) Not evaluated Erdős n°1000 : formalisation par Aristotle, GPT (preuve : Haight) Not evaluated Erdős n°1007 : formalisation par Aristotle (preuve : House (2013)) Not evaluated Erdős n°1008 : formalisation par Aristotle (preuve : Conlon, Fox, and Sudakov (2014)) Not evaluated Erdős n°1022 : formalisation par Aristotle (preuve : KoishiChan (2025)) Not evaluated Erdős n°1023 : formalisation par Aristotle (preuve : Kleitman (1971)) Not evaluated Erdős n°1028 : formalisation par Aristotle (preuve : Erdős (1963); Erdős and Spencer (1971)) Not evaluated Erdős n°1034 : formalisation par Aristotle (preuve : Ma and Tang (2025)) Not evaluated Erdős n°1036 : formalisation par Aristotle (preuve : Shelah (1998)) Not evaluated Erdős n°1037 : formalisation par Aristotle (preuve : Cambie, Chan, and Hunter (2025)) Not evaluated Erdős n°1039 : formalisation par Codex, GPT-5.5 (preuve : GPT-5.5 Pro (2026)) Not evaluated Erdős n°1044 : formalisation par Aristotle (preuve : Tang (2026)) Not evaluated Erdős n°1048 : formalisation par Aristotle (preuve : Pommerenke (1961)) Not evaluated Erdős n°1067 : formalisation par Aleph Prover, Aristotle (preuve : Bowler and Pitz (2024)) Not evaluated Erdős n°1071 : formalisation par Aleph Prover, Aristotle, GPT (preuve : Danzer; Alexeev (2026)) Not evaluated Erdős n°1080 : formalisation par Aristotle (preuve : De Caen and Székely (1992)) Not evaluated Erdős n°1095 : formalisation par Aristotle (preuve : Konyagin (1999)) Not evaluated Erdős n°1098 : formalisation par Aristotle (preuve : Neumann (1976)) Not evaluated Erdős n°1102 : formalisation par Aristotle (preuve : van Doorn and Tao (2025)) Not evaluated Erdős n°1121 : formalisation par Aristotle (preuve : Goodman and Goodman (1945)) Not evaluated Erdős n°1125 : formalisation par Aristotle (preuve : Laczkovich (1984)) Not evaluated Erdős n°1126 : formalisation par Aristotle (preuve : de Bruijn (1966)) Not evaluated Erdős n°1134 : formalisation par AxiomProver (preuve : Unspecified) Not evaluated Erdős n°1136 : formalisation par Aristotle (preuve : Müller (2011)) Not evaluated Erdős n°1138 : formalisation par Aristotle (preuve : Cheri, Kumrawat, and Sunder (2026)) Not evaluated Erdős n°1141 : formalisation par GPT-5.4 Pro (preuve : OpenAI internal model (2026)) Not evaluated Erdős n°1148 : formalisation par Claude Opus 4.6, Gemini 3.1, GPT-5.4, UlamAI Prover (preuve : Chojecki (2026)) Not evaluated Erdős n°1151 : formalisation par Codex, GPT (preuve : Chojecki (2026) (main part)) Not evaluated Erdős n°1187 : formalisation par Codex, GPT-5.5 (preuve : Trivial (second part)) Not evaluated Erdős n°1190 : formalisation par Unspecified (preuve : Boon Suan Ho and GPT-5.4 Pro (2026)) Not evaluated Erdős n°1193 : formalisation par Aristotle (preuve : Trivial) Not evaluated Erdős n°1196 : formalisation par Gauss (preuve : GPT-5.4 Pro (2026)) Not evaluated Erdős problem #396: OEIS sequence computed according to the wiki (Claude Opus 4.6, Gemini 3.1 Deep Think, GPT-5.4 Pro) Not evaluated Erdős problem #513: numerical certificate according to the wiki (GPT-5.2 Pro) Not evaluated Erdős problem #650: numerical optimization according to the wiki (AlphaEvolve) Not evaluated