Aristotle — qed.bot

Aristotle — qed.bot Claims of contribution to mathematics by Aristotle. https://qed.bot/feeds/sys/aristotle.xml 2026-06-23T00:00:00Z qed.bot Erdős Problem 21 — partial (Aristotle, GPT-5.5 Pro) urn:qed:2c9f248e551c 2026-06-23T00:00:00Z

Partial result (Lean). Autonomy A1, evidence V2, fidelity F2.

Erdős Problem 512 — full (Aristotle) urn:qed:677202a69ea4 2026-06-22T00:00:00Z

McGehee, Pigno, and Smith (1981). Autonomy A1, evidence V3, fidelity F2.

Erdős Problem 948 — full (Aristotle, GPT-5.5 Pro) urn:qed:a2cae790a0c9 2026-06-21T00:00:00Z

Full solution (Lean). Autonomy A2, evidence V2, fidelity F2.

Erdős Problem 464 — full (Aristotle) urn:qed:b7a30a74bcef 2026-06-21T00:00:00Z

de Mathan (1980). Autonomy A1, evidence V3, fidelity F2.

Erdős Problem 1197 — full (Aristotle, Claude Opus 4.7, GPT-5.4 Pro) urn:qed:b6a97e12c2cf 2026-06-21T00:00:00Z

Full solution (Lean). Autonomy A2, evidence V2, fidelity F2.

Erdős 716 — full (Aristotle) urn:qed:f80c2ed447b7 2026-06-20T00:00:00Z

Ruzsa and Szemerédi (1978). Autonomy A1, evidence V1, fidelity F0.

Erdős Problem 353 — full (Aristotle) urn:qed:10d5f528cced 2026-06-20T00:00:00Z

Kovač and Predojević (2024) + Koizumi (2025). Autonomy A1, evidence V3, fidelity F2.

Erdős Problem 1095 — partial (Aristotle) urn:qed:555194c7db58 2026-06-20T00:00:00Z

Konyagin (1999). Autonomy A1, evidence V1, fidelity F0.

Erdős 81 — partial (Aristotle, GPT-5.5 Pro) urn:qed:494161c1848c 2026-06-19T00:00:00Z

Partial result (Lean). Autonomy A1, evidence V2, fidelity F0.

Erdős 451 — partial (Aristotle, GPT-5.5 Pro) urn:qed:1363b4beee38 2026-06-19T00:00:00Z

Partial result (Lean). Autonomy A1, evidence V2, fidelity F0.

Erdős Problem 942 — partial (Aristotle, Claude Opus 4.8, Codex, GPT-5.5) urn:qed:7b49df676206 2026-06-14T00:00:00Z

Partial result (Lean). Autonomy A1, evidence V2, fidelity F0.

Erdős Problem 326 — full (Aristotle, Codex, GPT-5.5) urn:qed:338e7180aa31 2026-06-14T00:00:00Z

Full solution (Lean). Autonomy A1, evidence V2, fidelity F0.

Erdős Problem 927 — full (Aristotle) urn:qed:1ed487c42d82 2026-06-05T00:00:00Z

Spencer (1971). Autonomy A1, evidence V1, fidelity F2.

Erdős 696 — full (Aristotle, Claude Code, Claude Opus 4.7, GPT-5.5 Pro) urn:qed:77ca53fbdade 2026-06-05T00:00:00Z

Full solution (Lean). Autonomy A1, evidence V2, fidelity F0.

Erdős Problem 694 — full (Aristotle, Claude Code, Claude Opus 4.7, GPT-5.5 Pro) urn:qed:3d09fed8df1b 2026-06-05T00:00:00Z

GPT-5.5 Pro (2026). Autonomy A1, evidence V1, fidelity F0.

Erdős Problem 775 — full (Aristotle) urn:qed:8490c14a400e 2026-06-03T00:00:00Z

Gao (2025). Autonomy A1, evidence V3, fidelity F2.

Erdős Problem 762 — full (Aristotle, Claude Opus 4.7, GPT) urn:qed:edd98d1ca14a 2026-06-03T00:00:00Z

Steiner (2024). Autonomy A1, evidence V3, fidelity F2.

Erdős Problem 760 — full (Aristotle) urn:qed:7f07ac094488 2026-06-02T00:00:00Z

Alon, Krivelevich, and Sudakov (1997). Autonomy A1, evidence V3, fidelity F2.

Erdős Problem 649 — full (Aristotle, GPT) urn:qed:c56cda9d92e9 2026-06-01T00:00:00Z

Tong; Sampaio. Autonomy A1, evidence V1, fidelity F2.

Erdős Problem 434 — full (Aristotle, Claude Opus 4.8) urn:qed:db38941d624f 2026-05-29T00:00:00Z

Continued from [433] formalization. Autonomy A1, evidence V1, fidelity F1.

Erdős Problem 433 — full (Aristotle, Claude Opus 4.8, Claude Sonnet 4.6, Gemini 3 Flash, Gemini 3.1 Pro, Project Numina) urn:qed:471d2585ca1d 2026-05-29T00:00:00Z

Dixmier (1990). Autonomy A1, evidence V1, fidelity F0.

Erdős Problem 296 — full (Aristotle) urn:qed:4f007ee80ecb 2026-05-26T00:00:00Z

Hunter and Sawhney. Autonomy A1, evidence V1, fidelity F2.

Erdős Problem 268 — full (Aristotle) urn:qed:c969b5bfe3df 2026-05-26T00:00:00Z

Kovač (2024). Autonomy A1, evidence V1, fidelity F1.

Erdős Problem 24 — full (Aristotle) urn:qed:5b2f2072752b 2026-05-26T00:00:00Z

Grzesik (2012). Autonomy A1, evidence V1, fidelity F2.

Erdős Problem 71 — full (Aristotle, Claude Opus 4.7, GPT-5.5) urn:qed:239969e360fe 2026-05-24T00:00:00Z

Bollobás (1977). Autonomy A1, evidence V1, fidelity F2.

Erdős Problem 490 — full (Aristotle, GPT-5.5 Pro) urn:qed:ecc95c041c3e 2026-05-17T00:00:00Z

Szemerédi (1976). Autonomy A1, evidence V1, fidelity F2.

Erdős 425 — full (Aristotle, GPT) urn:qed:31bb8e01f55e 2026-05-17T00:00:00Z

Erdős (1938). Autonomy A1, evidence V1, fidelity F0.

Erdős Problem 765 — full (Aristotle) urn:qed:594ab0b701e9 2026-05-16T00:00:00Z

Aigner and Ziegler (1998). Autonomy A1, evidence V1, fidelity F2.

Erdős 345 — partial (Aristotle, GPT) urn:qed:d3d1e280370b 2026-05-16T00:00:00Z

Partial result (Lean). Autonomy A1, evidence V2, fidelity F0.

Erdős Problem 192 — full (Aristotle) urn:qed:842d92dd9d92 2026-05-10T00:00:00Z

Keränen (1992). Autonomy A1, evidence V1, fidelity F2.

Erdős Problem 263 — partial (Aristotle, Claude Opus 4.7, GPT-5.5 Pro) urn:qed:f476ac41fc25 2026-05-09T00:00:00Z

Partial result (Lean) (solution to second part). Autonomy A3, evidence V2, fidelity F2.

Erdős Problem 231 — full (Aristotle) urn:qed:42643fe9fde3 2026-05-09T00:00:00Z

Keränen (1992). Autonomy A1, evidence V1, fidelity F2.

Erdős Problem 798 — full (Aristotle) urn:qed:e1cdb1caa4df 2026-05-08T00:00:00Z

Alon (1991). Autonomy A1, evidence V1, fidelity F2.

Erdős 866 — partial (Aristotle, GPT-5.3 Instant) urn:qed:9624a9357c18 2026-05-04T00:00:00Z

Partial result (Lean). Autonomy A1, evidence V2, fidelity F0.

Erdős Problem 1138 — full (Aristotle) urn:qed:67bad0f03343 2026-05-04T00:00:00Z

Cheri, Kumrawat, and Sunder (2026). Autonomy A1, evidence V1, fidelity F2.

Erdős Problem 639 — full (Aristotle) urn:qed:6abb5252caba 2026-05-03T00:00:00Z

Keevash and Sudakov (2004). Autonomy A1, evidence V1, fidelity F2.

Erdős Problem 7 — incorrect (Aristotle) urn:qed:2abf1dc0cff4 2026-05-02T00:00:00Z

Incorrect proof found. Autonomy A1, evidence V1, fidelity F0.

Erdős Problem 38 — full (Aristotle) urn:qed:0fbb12f276d8 2026-05-01T00:00:00Z

GPT-5.5 Pro (2026). Autonomy A1, evidence V1, fidelity F1.

Erdős Problem 206 — full (Aristotle) urn:qed:166dc634d7b5 2026-04-28T00:00:00Z

Kovač (2024). Autonomy A1, evidence V1, fidelity F2.

Erdős Problem 1044 — full (Aristotle) urn:qed:ddb089b9a1c8 2026-04-28T00:00:00Z

Tang (2026). Autonomy A1, evidence V1, fidelity F2.

Erdős Problem 974 — full (Aristotle) urn:qed:18452d53cbd6 2026-04-27T00:00:00Z

Tijdeman (1966). Autonomy A1, evidence V1, fidelity F2.

Erdős 956 — candidate (Aristotle, GPT-5.5 Pro) urn:qed:ae2756a4eabb 2026-04-27T00:00:00Z

Candidate full solution. Autonomy A1, evidence V0, fidelity F0.

Erdős Problem 844 — full (Aristotle) urn:qed:fb163551267a 2026-04-26T00:00:00Z

Chvátal (1974) + Weisenberg. Autonomy A1, evidence V1, fidelity F1.

Erdős Problem 427 — full (Aristotle) urn:qed:8ce67f2da62a 2026-04-26T00:00:00Z

Pilatte. Autonomy A1, evidence V1, fidelity F2.

Erdős Problem 888 — full (Aristotle, GPT-5.5 Pro) urn:qed:df320548f4a1 2026-04-25T00:00:00Z

Full solution. Autonomy A1, evidence V1, fidelity F2.

Erdős Problem 818 — full (Aristotle) urn:qed:4cc08c1187f4 2026-04-25T00:00:00Z

Solymosi (2009). Autonomy A1, evidence V1, fidelity F2.

Erdős Problem 1098 — full (Aristotle) urn:qed:c72ba61056e0 2026-04-25T00:00:00Z

Neumann (1976). Autonomy A1, evidence V1, fidelity F2.

Erdős Problem 598 — candidate (Aristotle, GPT-5.4 Pro) urn:qed:d326f02d0ba1 2026-04-22T00:00:00Z

Candidate partial result. Autonomy A1, evidence V0, fidelity F0.

Erdős Problem 503 — incorrect (Aristotle, GPT-5.4 Pro) urn:qed:aa44f2567d58 2026-04-22T00:00:00Z

Argument with major gaps made. Autonomy A1, evidence V1, fidelity F0.

Erdős 610 — full (Aristotle, GPT-5.4 Pro) urn:qed:b814f9cf1fec 2026-04-21T00:00:00Z

Full solution (Lean) (implicit in literature). Autonomy A1, evidence V2, fidelity F0.

Erdős Problem 259 — full (Aristotle) urn:qed:8d81737e6383 2026-04-21T00:00:00Z

Chen and Ruzsa (1999). Autonomy A1, evidence V1, fidelity F1.

Erdős Problem 178 — full (Aristotle) urn:qed:29b97cf26619 2026-04-21T00:00:00Z

Beck (1981). Autonomy A1, evidence V1, fidelity F2.

Erdős Problem 923 — full (Aristotle) urn:qed:9cee6be38781 2026-04-20T00:00:00Z

Rödl (1977). Autonomy A1, evidence V1, fidelity F2.

Erdős Problem 658 — full (Aristotle) urn:qed:0ececee426b2 2026-04-20T00:00:00Z

Solymosi (2004). Autonomy A1, evidence V1, fidelity F2.

Erdős Problem 426 — full (Aristotle) urn:qed:561118d8fc93 2026-04-20T00:00:00Z

Bradač and Christoph (2024). Autonomy A1, evidence V1, fidelity F2.

Erdős Problem 621 — full (Aristotle) urn:qed:a75399f6d073 2026-04-19T00:00:00Z

Norin and Sun (2016). Autonomy A1, evidence V1, fidelity F2.

Erdős Problem 519 — full (Aristotle) urn:qed:a3ed43ed4e53 2026-04-19T00:00:00Z

Atkinson (1961). Autonomy A1, evidence V1, fidelity F2.

Erdős Problem 1136 — full (Aristotle) urn:qed:5ca24070f552 2026-04-19T00:00:00Z

Müller (2011). Autonomy A1, evidence V1, fidelity F2.

Erdős Problem 904 — full (Aristotle) urn:qed:d2f47a542bcf 2026-04-18T00:00:00Z

Bollobás and Nikiforov (2005). Autonomy A1, evidence V1, fidelity F2.

Erdős Problem 280 — full (Aristotle) urn:qed:45dc719f68b9 2026-04-18T00:00:00Z

Cambie (2025). Autonomy A1, evidence V1, fidelity F2.

Erdős Problem 1121 — full (Aristotle) urn:qed:f1db7c3ac2b3 2026-04-16T00:00:00Z

Goodman and Goodman (1945). Autonomy A1, evidence V1, fidelity F2.

Erdős Problem 914 — full (Aristotle) urn:qed:939f8d1c5e17 2026-04-15T00:00:00Z

Kierstead and Kostochka (2008). Autonomy A1, evidence V1, fidelity F2.

Erdős Problem 540 — full (Aristotle) urn:qed:19f6063d9949 2026-04-15T00:00:00Z

Szemerédi (1970). Autonomy A1, evidence V1, fidelity F2.

Erdős Problem 484 — full (Aristotle) urn:qed:c52238815eaa 2026-04-15T00:00:00Z

Erdős, Sárközy, and Sós (1989). Autonomy A1, evidence V1, fidelity F2.

Erdős Problem 194 — full (Aristotle) urn:qed:b43899acb6a5 2026-04-15T00:00:00Z

Ardal, Brown, and Jungić (2011). Autonomy A1, evidence V1, fidelity F1.

Erdős Problem 753 — full (Aristotle) urn:qed:b3283b975471 2026-04-14T00:00:00Z

Alon (1992). Autonomy A1, evidence V1, fidelity F2.

Erdős Problem 258 — full (Aristotle) urn:qed:843479cd3512 2026-04-14T00:00:00Z

GPT-5.4 Pro (2026). Autonomy A1, evidence V1, fidelity F2.

Erdős Problem 1193 — full (Aristotle) urn:qed:c372e3536f8f 2026-04-13T00:00:00Z

Trivial. Autonomy A1, evidence V1, fidelity F2.

Erdős Problem 1125 — full (Aristotle) urn:qed:3b74b4fe37ae 2026-04-11T00:00:00Z

Laczkovich (1984). Autonomy A1, evidence V1, fidelity F2.

Erdős Problem 907 — full (Aristotle) urn:qed:3b0101341479 2026-04-07T00:00:00Z

de Bruijn (1951). Autonomy A1, evidence V1, fidelity F2.

Erdős Problem 905 — full (Aristotle, GPT-5.4) urn:qed:b11534009b7c 2026-04-07T00:00:00Z

Khadžiivanov and Nikiforov (1979). Autonomy A1, evidence V1, fidelity F2.

Erdős Problem 867 — full (Aristotle) urn:qed:26eb91f1dbcf 2026-04-07T00:00:00Z

Freud (1993). Autonomy A1, evidence V1, fidelity F2.

Erdős 237 — full (Aristotle) urn:qed:6d215427a710 2026-04-04T00:00:00Z

Chen and Ding (2022). Autonomy A1, evidence V1, fidelity F0.

Erdős Problem 692 — full (Aristotle) urn:qed:135ed64ffccc 2026-04-02T00:00:00Z

Cambie (2025). Autonomy A1, evidence V1, fidelity F1.

Erdős Problem 997 — full (Aristotle) urn:qed:2a69a5e834e6 2026-04-01T00:00:00Z

OpenAI internal model (2026). Autonomy A1, evidence V1, fidelity F1.

Erdős Problem 314 — full (Aristotle) urn:qed:ea5980b93736 2026-04-01T00:00:00Z

Lim and Steinerberger (2024). Autonomy A1, evidence V1, fidelity F2.

Erdős Problem 150 — full (Aristotle) urn:qed:47fc7897c2d2 2026-03-31T00:00:00Z

Bradač (2024). Autonomy A1, evidence V1, fidelity F2.

Erdős Problem 283 — partial (Aristotle) urn:qed:7822bf6af0f6 2026-03-28T00:00:00Z

van Doorn (2025). Autonomy A1, evidence V1, fidelity F2.

Erdős Problem 369 — full (Aristotle) urn:qed:04af97a4e93a 2026-03-27T00:00:00Z

GPT and Yang (2026). Autonomy A1, evidence V1, fidelity F2.

Erdős Problem 488 — partial (Aristotle, GPT-5.4) urn:qed:b2920fc3027c 2026-03-20T00:00:00Z

Partial result. Autonomy A1, evidence V1, fidelity F0.

Erdős Problem 756 — full (Aristotle) urn:qed:db0760e1ee7e 2026-03-15T00:00:00Z

Bhowmick (2024). Autonomy A1, evidence V1, fidelity F2.

Erdős Problem 204 — full (Aristotle) urn:qed:55f20ec61fb9 2026-03-15T00:00:00Z

Adenwalla (2025). Autonomy A1, evidence V1, fidelity F2.

Erdős Problem 355 — full (Aristotle, Gemini 3) urn:qed:9ace399127e2 2026-03-13T00:00:00Z

van Doorn and Kovač (2025) (almost the entirety). Autonomy A1, evidence V1, fidelity F2.

Erdős Problem 459 — full (Aristotle) urn:qed:755da432d7f1 2026-03-11T00:00:00Z

Cambie (2026). Autonomy A1, evidence V1, fidelity F2.

Erdős Problem 363 — full (Aristotle) urn:qed:d44467eb771e 2026-03-10T00:00:00Z

Ulas (2005). Autonomy A1, evidence V1, fidelity F2.

Erdős Problem 650 — full (Aristotle) urn:qed:9f4673340ef6 2026-03-08T00:00:00Z

He, Li and Tang (2026). Autonomy A1, evidence V1, fidelity F2.

Erdős 1039 — partial (Aristotle, Claude Opus 4.6) urn:qed:cf1d65755f5d 2026-03-08T00:00:00Z

Partial result (Lean). Autonomy A1, evidence V2, fidelity F0.

Erdős Problem 785 — full (Aristotle) urn:qed:364c5808e81e 2026-03-06T00:00:00Z

Narkiewicz (1959/60) + Ruzsa (2015). Autonomy A1, evidence V1, fidelity F2.

Erdős Problem 115 — full (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) urn:qed:5f0e78428115 2026-03-03T00:00:00Z

Eremenko and Lempert (1994). Autonomy A1, evidence V1, fidelity F2.

Erdős Problem 457 — full (Aristotle, GPT-5.2 Pro) urn:qed:97edde5349da 2026-03-02T00:00:00Z

Full solution (Lean). Autonomy A3, evidence V2, fidelity F2.

Erdős Problem 214 — full (Aristotle) urn:qed:bd81f2cbfe9a 2026-03-02T00:00:00Z

Juhász (1979). Autonomy A1, evidence V1, fidelity F2.

Erdős Problem 646 — full (Aristotle) urn:qed:2b519c74fd67 2026-02-27T00:00:00Z

Berend (1997). Autonomy A1, evidence V1, fidelity F2.

Erdős Problem 1126 — full (Aristotle) urn:qed:4be7bec1f35c 2026-02-27T00:00:00Z

de Bruijn (1966). Autonomy A1, evidence V1, fidelity F2.

Erdős Problem 1090 — full (Aristotle, Gemini 3 Flash) urn:qed:630299007f8b 2026-02-27T00:00:00Z

Proof found (Lean). Autonomy A2, evidence V2, fidelity F2.

Erdős Problem 966 — full (Aristotle) urn:qed:6b7834359eaa 2026-02-25T00:00:00Z

Full solution (Lean). Autonomy A2, evidence V2, fidelity F2.

Erdős Problem 199 — full (Aristotle) urn:qed:3d9818ddbf64 2026-02-24T00:00:00Z

Baumgartner (1975). Autonomy A1, evidence V1, fidelity F2.

Erdős Problem 1102 — full (Aristotle) urn:qed:a8b07fb6fbbd 2026-02-23T00:00:00Z

van Doorn and Tao (2025). Autonomy A1, evidence V1, fidelity F2.

Erdős Problem 93 — full (Aristotle, Claude Opus 4.5, Claude Opus 4.6, Gemini 3 Flash, Gemini 3 Pro, Numina Lean Agent) urn:qed:4d342276581a 2026-02-17T00:00:00Z

Altman (1963). Autonomy A1, evidence V1, fidelity F2.

Erdős 368 — partial (Aristotle) urn:qed:a8701ddc78a1 2026-02-17T00:00:00Z

Pólya (1918). Autonomy A1, evidence V1, fidelity F0.

Erdős Problem 487 — full (Aristotle) urn:qed:2a5a6a74ccbd 2026-02-16T00:00:00Z

Kleitman (1971). Autonomy A1, evidence V1, fidelity F2.