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 problem #16: formalisation by Antigravity and Gemini 3.1 Pro (proof: Chen (2023)) Not evaluated Erdős problem #24: formalisation by Aristotle (proof: Grzesik (2012)) Not evaluated Erdős problem #26: formalisation by Aristotle (proof: Ruzsa) Not evaluated Erdős problem #31: formalisation by Aristotle and GPT (proof: Lorentz (1954), Wouter van Doorn (2025)) Not evaluated Erdős problem #34: formalisation by Aristotle (proof: Konieczny (2015)) Not evaluated Erdős problem 38: Aristotle's formalisation of a proof attributed to GPT-5.5 Pro (2026) Not evaluated Erdős problem #42: formalisation by Codex, GPT-5.5 Pro (proof: GPT-5.5 Pro (2026)) Not evaluated Erdős problem #43: formalisation by Aristotle and Claude (proof: Barreto (2025)) Not evaluated Erdős problem #56: formalisation by Aristotle and GPT (proof: Ahlswede and Khachatrian (1995)) Not evaluated Erdős problem 71: Aristotle, Claude Opus 4.7 and GPT-5.5, formalisation of the proof by Bollobás (1977) Not evaluated Erdős problem 90: formalisation by Aleph Prover (proof: OpenAI internal model (2026)) Not evaluated Erdős problem #93: formalisation by Aristotle, Claude Opus 4.5, Claude Opus 4.6, Gemini 3 Flash, Gemini 3 Pro and Numina Lean Agent (proof: Altman (1963)) Not evaluated Erdős problem #94: formalisation by Codex, GPT-5.2 Thinking and Seed Prover (proof: Lefmann and Thiele (1995)) Not evaluated Erdős problem #105: formalisation by Aristotle and GPT Pro (proof: Xichuan (2025)) Not evaluated Erdős problem #106: formalisation by Aristotle (proof: Baek, Koizumi, and Ueoro (2024)) Not evaluated Erdős problem #115: formalisation by 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 (proof: Eremenko and Lempert (1994)) Not evaluated Erdős problem #134: formalisation by Aristotle (proof: Alon) Not evaluated Erdős problem #150: formalisation by Aristotle (proof: Bradač (2024)) Not evaluated Erdős problem #154: formalisation by Aristotle, GPT (proof: Lindström (1998)) Not evaluated Erdős problem #164: formalisation by Codex (proof: Alexeev, Barreto, Li, Lichtman, Price, Shah, Tang, and Tao (2026)) Not evaluated Erdős problem #165: formalisation by Trellis (proof: Hefty, Horn, King and Pfender (2025)) Not evaluated Erdős problem #178: formalisation by Aristotle (proof: Beck (1981)) Not evaluated Erdős problem #189: formalisation by Aristotle, Gemini 3 Pro (proof: Kovač (2023)) Not evaluated Erdős problem #192: formalisation by Aristotle (proof: Keränen (1992)) Not evaluated Erdős problem #194: formalisation by Aristotle (proof: Ardal, Brown, and Jungić (2011)) Not evaluated Erdős problem #198: formalisation by Aristotle, GPT (proof: Baumgartner (1975)) Not evaluated Erdős problem #199: formalisation by Aristotle (proof: Baumgartner (1975)) Not evaluated Erdős problem #202: formalisation of the proof by Boon Suan Ho and GPT-5.4 Pro (2026) Not evaluated Erdős problem #204: formalisation by Aristotle (proof: Adenwalla (2025)) Not evaluated Erdős problem 206: formalisation by Aristotle (proof: Kovač (2024)) Not evaluated Erdős problem #209: formalisation by AxiomProver (proof: Escudero (2016)) Not evaluated Erdős problem #214: formalisation by Aristotle (proof: Juhász (1979)) Not evaluated Erdős problem #221: formalisation by Aristotle (proof: Ruzsa (1972) + van Doorn (2025)) Not evaluated Erdős problem #226: formalisation by Aristotle (proof: Sato and Rankin (1974)) Not evaluated Erdős problem #229: formalisation by Aristotle (proof: Barth and Schneider (1972)) Not evaluated Erdős problem #231: formalisation by Aristotle (proof: Keränen (1992)) Not evaluated Erdős problem #237: formalisation by Aristotle (proof: Chen and Ding (2022)) Not evaluated Erdős problem #246: formalisation by Aristotle (proof: Birch (1959)) Not evaluated Erdős problem #258: formalisation by Aristotle (proof: GPT-5.4 Pro (2026)) Not evaluated Erdős problem #259: formalisation by Aristotle (proof: Chen and Ruzsa (1999)) Not evaluated Erdős problem #268: formalisation by Aristotle (proof: Kovač (2024)) Not evaluated Erdős problem #275: formalisation by Aristotle (proof: Balister, Bollobas, Morris, Sahasrabudhe, and Tiba (2020)) Not evaluated Erdős problem #280: formalisation by Aristotle (proof: Cambie (2025)) Not evaluated Erdős problem #281: formalisation by Aristotle and Gemini 3 Flash (proof: GPT-5.2 Pro (2026)) Not evaluated Erdős problem #283: formalisation by Aristotle (proof: van Doorn (2025)) Not evaluated Erdős problem #283: formalisation by Claude Opus 4.7, GPT-5.5 Pro (proof: Barreto, GPT-5.5 Pro, and Price (2026)) Not evaluated Erdős problem #290: formalisation by Aristotle (proof: van Doorn (2024)) Not evaluated Erdős problem #296: formalisation by Aristotle (proof: Hunter and Sawhney) Not evaluated Erdős problem #303: formalisation by Seed Prover (proof: Brown and Rödl (1991)) Not evaluated Erdős problem #314: formalisation by Aristotle (proof: “Lim and Steinerberger (2024)”) Not evaluated Erdős problem #315: formalisation by Aristotle (proof: Kamio (2025)) Not evaluated Erdős problem #328: formalisation by AxiomProver (proof: Nešetřil and Rödl (1985)) Not evaluated Erdős problem #330: formalisation by Codex and GPT-5.5 Pro (proof: GPT-5.5 Pro and Turturean (2026)) Not evaluated Erdős problem #331: formalisation by Aristotle (proof: Ruzsa) Not evaluated Erdős problem #337: formalisation by Aristotle (proof: Ruzsa and Turjányi (1985)) Not evaluated Erdős problem #350: formalisation by Aristotle and GPT (proof: Ryavec (1974)) Not evaluated Erdős problem #351: formalisation by Claude Opus 4.7, GPT-5.5 Pro (proof: Barreto, GPT-5.5 Pro, and Price (2026)) Not evaluated Erdős problem #353: formalisation by Aristotle (proof: Kovač and Predojević (2024) + Koizumi (2025)) Not evaluated Erdős problem #355: formalisation by Aristotle, Gemini 3 (proof: van Doorn and Kovač (2025) (almost the entirety)) Not evaluated Erdős problem #363: formalisation by Aristotle (proof: Ulas (2005)) Not evaluated Erdős problem #367: formalisation by Aristotle (proof: van Doorn and Tao (2025)) Not evaluated Erdős problem #368: formalisation by Aristotle (proof: Pólya (1918)) Not evaluated Erdős problem #369: formalisation by Aristotle (proof: GPT and Yang (2026)) Not evaluated Erdős problem #370: formalisation by Aristotle and GPT (proof: Steinerberger (2025)) Not evaluated Erdős problem #392: formalisation by “Various” (proof: Tao (2026)) Not evaluated Erdős problem #399: formalisation by Codex (proof: Barfield (2025)) Not evaluated Erdős problem #403: formalisation by AxiomProver (proof unspecified) Not evaluated Erdős problem #418: formalisation by Aristotle, GPT (proof: Browkin and Schinzel (1995)) Not evaluated Erdős problem #419: formalisation by Aristotle (proof: Sawhney (2025)) Not evaluated Erdős problem 425: formalisation by Aristotle and GPT (proof: Erdős (1938)) Not evaluated Erdős problem #426: formalisation by Aristotle (proof: Bradač and Christoph (2024)) Not evaluated Erdős problem #427: formalisation by Aristotle (proof: Pilatte) Not evaluated Erdős problem #429: formalisation by Aristotle (proof: Weisenberg (2024)) Not evaluated Erdős problem #433: formalisation by Aristotle, Claude Opus 4.8, Claude Sonnet 4.6, Gemini 3 Flash, Gemini 3.1 Pro, Project Numina (proof: Dixmier (1990)) Not evaluated Erdős problem #434: formalisation by Aristotle and Claude Opus 4.8 (proof: “Continued from [433] formalization”) Not evaluated Erdős problem #435: formalisation by Aristotle (proof: Cambie (2025)) Not evaluated Erdős problem 441: AxiomProver, formalisation of the proof by Chen and Dai (2007) Not evaluated Erdős problem #443: formalisation by Aristotle (proof: Hegyvári (2025)) Not evaluated Erdős problem #447: formalisation by Aristotle (proof: Kleitman (1971)) Not evaluated Erdős problem #453: formalisation by Aristotle (proof: Pomerance (1979)) Not evaluated Erdős problem #459: formalisation by Aristotle (proof: Cambie (2026)) Not evaluated Erdős problem #464: formalisation by Aristotle (proof: de Mathan (1980)) Not evaluated Erdős problem #476: formalisation by Aristotle (proof: Alon, Nathanson, and Ruzsa (1995)) Not evaluated Erdős problem #480: formalisation by Aristotle (proof: Chung and Graham (1984)) Not evaluated Erdős problem #481: formalisation by Aristotle and Claude (proof: Barreto (2025)) Not evaluated Erdős problem #484: formalisation by Aristotle (proof: “Erdős, Sárközy, and Sós (1989)”) Not evaluated Erdős problem #487: formalisation by Aristotle (proof: Kleitman (1971)) Not evaluated Erdős problem #490: formalisation by Aristotle, GPT-5.5 Pro (proof: Szemerédi (1976)) Not evaluated Erdős problem #497: formalisation by Aristotle (proof: Kleitman (1969)) Not evaluated Erdős problem #498: formalisation by Aristotle, Claude Opus, Gemini Flash and Gemini Pro (proof: Kleitman (1965)) Not evaluated Erdős problem #499: formalisation by Aristotle (proof: Marcus and Minc (1962)) Not evaluated Erdős problem #502: formalisation by Aristotle (proof: Petrov and Pohoata (2021)) Not evaluated Erdős problem #505: formalisation by Aristotle (proof: Kahn and Kalai (1993)) Not evaluated Erdős problem #512: formalisation by Aristotle (proof: McGehee, Pigno, and Smith (1981)) Not evaluated Erdős problem #519: formalisation by Aristotle (proof: Atkinson (1961)) Not evaluated Erdős problem #537: formalisation by Aristotle (proof: Ruzsa) Not evaluated Erdős problem #540: formalisation by Aristotle (proof: Szemerédi (1970)) Not evaluated Erdős problem #541: formalisation by Aristotle and GPT (proof: Grynkiewicz (2011)) Not evaluated Erdős problem #582: formalisation by Aristotle (proof: Folkman (1970)) Not evaluated Erdős problem #603: formalisation by Codex, GPT-5.5 (proof: Chojecki and GPT-5.4 Pro (2026)) Not evaluated Erdős problem #613: formalisation by GPT Pro (proof: Pikhurko (2001)) Not evaluated Erdős problem #618: formalisation by Aristotle (proof: Alon) Not evaluated Erdős problem #621: formalisation by Aristotle (proof: Norin and Sun (2016)) Not evaluated Erdős problem 639: formalisation by Aristotle (proof: Keevash and Sudakov (2004)) Not evaluated Erdős problem #645: formalisation by Aristotle, GPT (proof: Brown and Landman (1999)) Not evaluated Erdős problem #646: formalisation by Aristotle (proof: Berend (1997)) Not evaluated Erdős problem #648: formalisation by Aristotle (proof: Cambie (2025)) Not evaluated Erdős problem #649: formalisation by Aristotle, GPT (proof: Tong; Sampaio) Not evaluated Erdős problem #650: formalisation by Aristotle (proof: He, Li and Tang (2026)) Not evaluated Erdős problem #658: formalisation by Aristotle (proof: Solymosi (2004)) Not evaluated Erdős problem #659: formalisation by Aristotle (proof: Gemini and Grayzel (2026)) Not evaluated Erdős problem #666: formalisation by Aristotle (proof: Chung (1992), Brouwer, Dejter, and Thomassen (1993)) Not evaluated Erdős problem #678: formalisation by Aristotle (proof: Cambie (2025)) Not evaluated Erdős problem #692: formalisation by Aristotle (proof: Cambie (2025)) Not evaluated Erdős problem #694: formalisation by Aristotle, Claude Code, Claude Opus 4.7, GPT-5.5 Pro (proof: GPT-5.5 Pro (2026)) Not evaluated Erdős problem #698: formalisation by Aristotle (proof: Bergman (2011)) Not evaluated Erdős problem #707: formalisation by GPT (proof: Hall (1947)) Not evaluated Erdős problem 716: Aristotle's formalisation of Ruzsa and Szemerédi (1978) Not evaluated Erdős problem #728: formalisation by Aristotle (proof: Pomerance (2026)) Not evaluated Erdős problem #750: formalisation by Claude Code, Claude Opus 4.7 and GPT-5.5 Pro (proof: Chojecki and GPT-5.5 Pro (2026)) Not evaluated Erdős problem #751: formalisation by GPT-5.2-Codex, GPT-5.2 Thinking (proof: Bondy and Vince (1998)) Not evaluated Erdős problem #753: formalisation by Aristotle (proof: Alon (1992)) Not evaluated Erdős problem #756: formalisation by Aristotle (proof: Bhowmick (2024)) Not evaluated Erdős problem #760: formalisation by Aristotle (proof: Alon, Krivelevich, and Sudakov (1997)) Not evaluated Erdős problem #762: formalisation by Aristotle, Claude Opus 4.7 and GPT (proof: Steiner (2024)) Not evaluated Erdős problem 765: formalisation by Aristotle (proof: Aigner and Ziegler (1998)) Not evaluated Erdős problem #775: formalisation by Aristotle (proof: Gao (2025)) Not evaluated Erdős problem #785: formalisation by Aristotle (proof: Narkiewicz (1959/60) + Ruzsa (2015)) Not evaluated Erdős problem #788: formalisation by Aristotle (proof: GPT-5.2 Pro (2026)) Not evaluated Erdős problem #794: formalisation by Aristotle (proof: Harris (2025)) Not evaluated Erdős problem #798: formalisation by Aristotle (proof: Alon (1991)) Not evaluated Erdős problem #818: formalisation by Aristotle (proof: Solymosi (2009)) Not evaluated Erdős problem #835: formalisation by AlphaProof (proof: “Likely folklore”) Not evaluated Erdős problem #844: formalisation by Aristotle (proof: Chvátal (1974) + Weisenberg) Not evaluated Erdős problem #845: formalisation by Aristotle (proof: van Doorn and Everts (2025)) Not evaluated Erdős problem #848: formalisation by Aristotle, Claude and GPT-5.2 (proof: Sawhney (2025)) Not evaluated Erdős problem #862: formalisation by Aristotle (proof: Saxton and Thomason (2015)) Not evaluated Erdős problem #867: formalisation by Aristotle (proof: Freud (1993)) Not evaluated Erdős problem #897: formalisation by Aristotle (proof: Erdős and Wirsing (1975)) Not evaluated Erdős problem #898: formalisation by Aristotle, Gemini 3 Flash (proof: Barrow and Mordell (1937)) Not evaluated Erdős problem #904: formalisation by Aristotle (proof: Bollobás and Nikiforov (2005)) Not evaluated Erdős problem #905: formalisation by Aristotle, GPT-5.4 (proof: Khadžiivanov and Nikiforov (1979)) Not evaluated Erdős problem #907: formalisation by Aristotle (proof: de Bruijn (1951)) Not evaluated Erdős problem #914: formalisation by Aristotle (proof: Kierstead and Kostochka (2008)) Not evaluated Erdős problem #923: formalisation by Aristotle (proof: Rödl (1977)) Not evaluated Erdős problem #927: formalisation by Aristotle (proof: Spencer (1971)) Not evaluated Erdős problem #947: formalisation by Aristotle, GPT (proof: Mirsky and Newman + Davenport and Rado) Not evaluated Erdős problem #958: formalisation by Seed Prover 1.5 (proof: Clemen, Dumitrescu, and Liu (2025)) Not evaluated Erdős problem #964: formalisation by Antigravity, Aristotle and Gemini (proof: Eberhard (2025)) Not evaluated Erdős problem #967: formalisation by Aristotle (proof: Yip (2025)) Not evaluated Erdős problem #974: formalisation by Aristotle (proof: Tijdeman (1966)) Not evaluated Erdős problem 986: formalisation by Trellis (proof: Bradač (2026)) Not evaluated Erdős problem #990: formalisation by GPT-5.4 Pro (proof: OpenAI internal model (2026)) Not evaluated Erdős problem #997: formalisation by Aristotle (proof: OpenAI internal model (2026)) Not evaluated Erdős problem #1000: formalisation by Aristotle and GPT (proof: Haight) Not evaluated Erdős problem #1007: formalisation by Aristotle (proof: House (2013)) Not evaluated Erdős problem #1008: formalisation by Aristotle (proof: Conlon, Fox, and Sudakov (2014)) Not evaluated Erdős problem #1022: formalisation by Aristotle (proof: KoishiChan (2025)) Not evaluated Erdős problem #1023: formalisation by Aristotle (proof: Kleitman (1971)) Not evaluated Erdős problem #1028: formalisation by Aristotle (proof: Erdős (1963); Erdős and Spencer (1971)) Not evaluated Erdős problem #1034: formalisation by Aristotle (proof: Ma and Tang (2025)) Not evaluated Erdős problem #1036: formalisation by Aristotle (proof: Shelah (1998)) Not evaluated Erdős problem #1037: formalisation by Aristotle (proof: Cambie, Chan, and Hunter (2025)) Not evaluated Erdős problem #1039: formalisation by Codex, GPT-5.5 (proof: GPT-5.5 Pro (2026)) Not evaluated Erdős problem #1044: formalisation by Aristotle (proof: Tang (2026)) Not evaluated Erdős problem #1048: formalisation by Aristotle (proof: Pommerenke (1961)) Not evaluated Erdős problem #1067: formalisation by Aleph Prover, Aristotle (proof: Bowler and Pitz (2024)) Not evaluated Erdős problem #1071: formalisation by Aleph Prover, Aristotle and GPT (proof: Danzer; Alexeev (2026)) Not evaluated Erdős problem #1080: formalisation by Aristotle (proof: De Caen and Székely (1992)) Not evaluated Erdős problem #1095: formalisation by Aristotle (proof: Konyagin (1999)) Not evaluated Erdős problem #1098: formalisation by Aristotle (proof: Neumann (1976)) Not evaluated Erdős problem #1102: formalisation by Aristotle (proof: van Doorn and Tao (2025)) Not evaluated Erdős problem #1121: formalisation by Aristotle (proof: Goodman and Goodman (1945)) Not evaluated Erdős problem #1125: formalisation by Aristotle (proof: Laczkovich (1984)) Not evaluated Erdős problem #1126: formalisation by Aristotle (proof: de Bruijn (1966)) Not evaluated Erdős problem #1134: formalisation by AxiomProver of an unspecified proof Not evaluated Erdős problem #1136: formalisation by Aristotle (proof: “Müller (2011)”) Not evaluated Erdős problem #1138: formalisation by Aristotle (proof: Cheri, Kumrawat, and Sunder (2026)) Not evaluated Erdős problem #1141: formalisation by GPT-5.4 Pro (proof: OpenAI internal model (2026)) Not evaluated Erdős problem #1148: formalisation by Claude Opus 4.6, Gemini 3.1, GPT-5.4 and UlamAI Prover (proof: Chojecki (2026)) Not evaluated Erdős problem #1151: formalisation by Codex, GPT (proof: “Chojecki (2026) (main part)”) Not evaluated Erdős problem #1187: formalisation by Codex, GPT-5.5 (proof: “Trivial (second part)”) Not evaluated Erdős problem 1190: formalisation of the proof by Boon Suan Ho and GPT-5.4 Pro (2026) Not evaluated Erdős problem #1193: formalisation by Aristotle (proof: “Trivial”) Not evaluated Erdős problem #1196: formalisation by Gauss (proof: “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