GPT — qed.bot

GPT — qed.bot Claims of contribution to mathematics by GPT. https://qed.bot/feeds/sys/gpt.xml 2026-06-27T00:00:00Z qed.bot Erdős 731 — candidate (GPT) urn:qed:ecb1a6355fe9 2026-06-27T00:00:00Z

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

Erdős Problem 1061 — candidate (GPT) urn:qed:33d27449433a 2026-06-24T00:00:00Z

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

Erdős Problem 593 — candidate (GPT) urn:qed:dfdf737cc1be 2026-06-23T00:00:00Z

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

Erdős 1177 — candidate (GPT) urn:qed:da1dfc1b4cfe 2026-06-23T00:00:00Z

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

Erdős 768 — candidate (GPT) urn:qed:2cffd6455cdc 2026-06-22T00:00:00Z

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

Erdős Problem 550 — candidate (GPT) urn:qed:4b0ad2e50880 2026-06-22T00:00:00Z

Candidate full solution. Autonomy A3, evidence V0, fidelity F2.

Erdős Problem 400 — candidate (GPT) urn:qed:d0d65ca90dc9 2026-06-22T00:00:00Z

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

Erdős Problem 346 — full (Codex, GPT) urn:qed:51a915ecd033 2026-06-21T00:00:00Z

Full solution (Lean). Autonomy A1, evidence V3, fidelity F1.

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 649 — full (Aristotle, GPT) urn:qed:c56cda9d92e9 2026-06-01T00:00:00Z

Tong; Sampaio. 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 345 — partial (Aristotle, GPT) urn:qed:d3d1e280370b 2026-05-16T00:00:00Z

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

Erdős 1151 — full (Codex, GPT) urn:qed:38762ffd63bf 2026-05-06T00:00:00Z

Chojecki (2026) (main part). Autonomy A1, evidence V1, fidelity F0.

Erdős Problem 369 — full (GPT) urn:qed:f5bca0970af4 2026-03-26T00:00:00Z

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

Erdős Problem 396 — partial (Claude, Codex, GPT) urn:qed:fe178f970419 2026-03-15T00:00:00Z

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

Erdős Problem 154 — full (Aristotle, GPT) urn:qed:0f1c224190e0 2026-02-06T00:00:00Z

Lindström (1998). Autonomy A1, evidence V1, fidelity F2.

Erdős Problem 947 — full (Aristotle, GPT) urn:qed:8796dd09bfa2 2026-02-02T00:00:00Z

Mirsky and Newman + Davenport and Rado. Autonomy A1, evidence V1, fidelity F2.

Erdős Problem 1071 — full (Aleph Prover, Aristotle, GPT) urn:qed:f752bd027a81 2026-01-29T00:00:00Z

Danzer; Alexeev (2026). Autonomy A1, evidence V1, fidelity F2.

Erdős Problem 218 — partial (GPT) urn:qed:7780ab00b1d1 2026-01-28T00:00:00Z

Conditional solution. Autonomy A3, evidence V1, fidelity F0.

Erdős Problem 705 — full (GPT) urn:qed:246a04153cc7 2026-01-26T00:00:00Z

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

Erdős Problem 533 — full (GPT) urn:qed:2edf92442cff 2026-01-26T00:00:00Z

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

Erdős Problem 11 — incorrect (Aristotle, GPT) urn:qed:23ef88eec0be 2026-01-24T00:00:00Z

Incorrect claim made. Autonomy A3, evidence V1, fidelity F0.

Erdős Problem 1084 — partial (GPT) urn:qed:c2f4ac27cd17 2026-01-21T00:00:00Z

Partial results found. Autonomy A1, evidence V1, fidelity F2.

Erdős Problem 1021 — full (GPT) urn:qed:a1173adb12ae 2026-01-21T00:00:00Z

Full solution (which was previously noted) found. Autonomy A1, evidence V1, fidelity F2.

Erdős 575 — partial (GPT) urn:qed:80913a063394 2026-01-14T00:00:00Z

Paper identifying a misstatement to the problem found. Autonomy A1, evidence V1, fidelity F0.

Erdős Problem 672 — partial (GPT) urn:qed:baf867522fc0 2026-01-07T00:00:00Z

Partial results found. Autonomy A1, evidence V1, fidelity F2.

Erdős Problem 965 — full (GPT) urn:qed:14ee19443f6d 2026-01-02T00:00:00Z

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

Erdős 1124 — full (GPT) urn:qed:185307c4cc7b 2025-12-31T00:00:00Z

Solution to variant problem found. Autonomy A1, evidence V1, fidelity F0.

Erdős Problem 541 — full (Aristotle, GPT) urn:qed:f6f459195eb0 2025-12-30T00:00:00Z

Grynkiewicz (2011). Autonomy A1, evidence V1, fidelity F2.

Erdős Problem 1043 — full (GPT) urn:qed:79571244b024 2025-12-30T00:00:00Z

New proof found. Autonomy A2, evidence V1, fidelity F2.

Erdős Problem 1000 — full (Aristotle, GPT) urn:qed:c7e4a200b895 2025-12-28T00:00:00Z

Haight. Autonomy A1, evidence V1, fidelity F2.

Erdős Problem 1026 — full (AlphaEvolve, Aristotle, Gemini, GPT) urn:qed:b8e0590404f6 2025-12-08T00:00:00Z

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

Erdős Problem 481 — full (GPT) urn:qed:fdd069b5b085 2025-12-03T00:00:00Z

Full solution found. Autonomy A1, evidence V1, fidelity F0.

Erdős Problem 56 — full (Aristotle, GPT) urn:qed:09598eda9ef2 2025-11-25T00:00:00Z

Ahlswede and Khachatrian (1995). Autonomy A1, evidence V1, fidelity F2.

Erdős Problem 350 — full (Aristotle, GPT) urn:qed:bdfecaf71893 2025-11-25T00:00:00Z

Ryavec (1974). Autonomy A1, evidence V1, fidelity F2.

Erdős Problem 370 — full (Aristotle, GPT) urn:qed:b06a77405e89 2025-11-24T00:00:00Z

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

Erdős Problem 31 — full (Aristotle, GPT) urn:qed:1c155f5abdce 2025-11-24T00:00:00Z

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

Erdős Problem 198 — full (Aristotle, GPT) urn:qed:f2d39bdaf1ab 2025-11-24T00:00:00Z

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

Erdős Problem 707: Embedding Sidon Sets in Perfect Difference Sets — full (GPT) urn:qed:8f4e058f7e16 2025-11-23T00:00:00Z

Hall (1947). Autonomy A1, evidence V3, fidelity F2.

Erdős Problem 645 — full (Aristotle, GPT) urn:qed:3d40ad05a5fb 2025-11-23T00:00:00Z

Brown and Landman (1999). Autonomy A1, evidence V1, fidelity F2.

Erdős Problem 418 — full (Aristotle, GPT) urn:qed:7c6a828623ae 2025-11-22T00:00:00Z

Browkin and Schinzel (1995). Autonomy A1, evidence V1, fidelity F2.

Erdős Problem 347 — full (Aristotle, Claude Opus, Codex, GPT) urn:qed:0dba117032ee 2025-10-25T00:00:00Z

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