GPT-5.5 Pro — qed.bot

GPT-5.5 Pro — qed.bot Claims of contribution to mathematics by GPT-5.5 Pro. https://qed.bot/feeds/sys/gpt-5-5-pro.xml 2026-06-29T00:00:00Z qed.bot Erdős Problem 36 — candidate (GPT-5.5 Pro) urn:qed:3d73d278c8e8 2026-06-29T00:00:00Z

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

Erdős 1033 — candidate (GPT-5.5 Pro) urn:qed:4930555daa29 2026-06-27T00:00:00Z

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

Erdős Problem 730 — candidate (GPT-5.5 Pro) urn:qed:b06c5541a56d 2026-06-24T00:00:00Z

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

Erdős 432 — candidate (GPT-5.5 Pro) urn:qed:00cad66cefa8 2026-06-23T00:00:00Z

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

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 176 — candidate (Codex, GPT-5.5 Pro) urn:qed:1aff9b408d56 2026-06-23T00:00:00Z

Candidate partial result (Lean). Autonomy A3, evidence V0, fidelity F0.

Erdős Problem 1054 — partial (Claude Opus 4.8, GPT-5.5 Pro, Principia Math) urn:qed:0718d31147f0 2026-06-23T00:00:00Z

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

Erdős Problem 865 — full (GPT-5.5 Pro) urn:qed:4f3376d89ebe 2026-06-22T00:00:00Z

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

Erdős 671 — candidate (Codex, GPT-5.5 Pro) urn:qed:ead34dae37b8 2026-06-22T00:00:00Z

Candidate full solution (Lean). Autonomy A3, evidence V0, fidelity F0.

Erdős Problem 536 — partial (Codex, GPT-5.5 Pro) urn:qed:45803743c5ee 2026-06-22T00:00:00Z

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

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 176 — partial (Codex, GPT-5.5 Pro) urn:qed:55859d8a9d9f 2026-06-21T00:00:00Z

Partial result (Lean). Autonomy A3, evidence V2, 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 346 — partial (Codex, GPT-5.5 Pro) urn:qed:8c3caff2bf2e 2026-06-19T00:00:00Z

Solution to variant problem (Lean). Autonomy A3, evidence V3, fidelity F1.

Erdős Problem 1139 — candidate (GPT-5.2 Pro, GPT-5.5 Pro) urn:qed:1daccb189823 2026-06-19T00:00:00Z

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

Erdős 1208 — candidate (GPT-5.5 Pro) urn:qed:7a2ad60ed190 2026-06-14T00:00:00Z

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

Erdős Problem 90: The unit distance problem — full (GPT-5.5 Pro) urn:qed:efc432a4d6b5 2026-06-09T00:00:00Z

Improved explicit bound. 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 623 — candidate (GPT-5.5 Pro) urn:qed:524b64d372a0 2026-06-04T00:00:00Z

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

Erdős Problem 501 — candidate (GPT-5.5 Pro) urn:qed:208aef487e77 2026-06-01T00:00:00Z

Candidate conditional partial result (conditional solution to first part). Autonomy A1, evidence V0, fidelity F2.

Erdős Problem 352 — partial (GPT-5.4 Pro, GPT-5.5 Pro) urn:qed:c83c6bcbed06 2026-05-29T00:00:00Z

Partial result of variant problem. Autonomy A1, evidence V1, fidelity F0.

Erdős Problem 52 — partial (GPT-5.5 Pro) urn:qed:a17db36f743e 2026-05-28T00:00:00Z

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

Erdős Problem 503 — partial (GPT-5.5 Pro) urn:qed:c721092d8123 2026-05-28T00:00:00Z

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

Smallest dimension in which Borsuk's conjecture is known to fail — record (GPT-5.5 Pro) urn:qed:8fe849d74fe1 2026-05-26T00:00:00Z

A 321-point set in dimension 63 that cannot be split into 64 parts of smaller diameter, improving 64.. Autonomy A1, evidence V2, fidelity F0.

Erdős Problem 1148 — full (GPT-5.5 Pro) urn:qed:992c1c80da1d 2026-05-19T00:00:00Z

Solution to stronger problem. 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 Problem 42: Maximal Sidon Sets and Disjoint Difference Sets — full (Codex, GPT-5.5 Pro) urn:qed:f755f10d743c 2026-05-10T00:00:00Z

GPT-5.5 Pro (2026). 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 875 — partial (Codex, GPT-5.5 Pro) urn:qed:bc0a73474b1e 2026-05-07T00:00:00Z

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

Erdős 1039 — partial (GPT-5.5 Pro) urn:qed:daac5b4ac1ac 2026-05-07T00:00:00Z

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

Erdős 1032 — partial (Codex, GPT-5.5 Pro) urn:qed:69b0a45a2860 2026-05-07T00:00:00Z

Improved partial result (Lean). Autonomy A2, evidence V2, fidelity F0.

Erdős Problem 351 — full (Claude Opus 4.7, GPT-5.5 Pro) urn:qed:b1ee8ab51052 2026-05-06T00:00:00Z

Barreto, GPT-5.5 Pro, and Price (2026). Autonomy A1, evidence V1, fidelity F2.

Erdős Problem 283 — full (Claude Opus 4.7, GPT-5.5 Pro) urn:qed:4e1cea1ddfe6 2026-05-06T00:00:00Z

Barreto, GPT-5.5 Pro, and Price (2026). Autonomy A1, evidence V1, fidelity F2.

Erdős Problem 330 — full (Codex, GPT-5.5 Pro) urn:qed:b72665a5ff42 2026-05-05T00:00:00Z

GPT-5.5 Pro and Turturean (2026). Autonomy A1, evidence V1, fidelity F2.

Erdős Problem 750 — full (Claude Code, Claude Opus 4.7, GPT-5.5 Pro) urn:qed:4721e7da55c4 2026-05-04T00:00:00Z

Chojecki and GPT-5.5 Pro (2026). Autonomy A1, evidence V1, fidelity F2.

Erdős Problem 456 — candidate (GPT-5.5 Pro) urn:qed:10fbb08de6a1 2026-05-04T00:00:00Z

Candidate partial result (solutions to first part and second part; conditional solution to third part). Autonomy A1, evidence V0, fidelity F0.

Erdős Problem 750 — full (GPT-5.5 Pro) urn:qed:35f3056ca547 2026-05-03T00:00:00Z

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

Erdős 393 — partial (GPT-5.5 Pro) urn:qed:e0d5db711bfb 2026-05-03T00:00:00Z

Conditional partial result. Autonomy A1, evidence V1, fidelity F0.

Erdős Problem 351 — full (GPT-5.5 Pro) urn:qed:30d1827c38ca 2026-05-03T00:00:00Z

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

Erdős Problem 283 — full (GPT-5.5 Pro) urn:qed:4fbac5f5d03e 2026-05-03T00:00:00Z

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

Erdős Problem 390 — candidate (GPT-5.5 Pro) urn:qed:ffb35a03d91d 2026-05-02T00:00:00Z

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

Erdős 1194 — partial (Codex, GPT-5.5 Pro) urn:qed:601032b4863d 2026-05-02T00:00:00Z

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

Erdős Problem 694 — full (GPT-5.5 Pro) urn:qed:7475619dd2fe 2026-05-01T00:00:00Z

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

Erdős 983 — partial (GPT-5.5 Pro) urn:qed:0d642e02029f 2026-04-30T00:00:00Z

Partial result (solution to first part). Autonomy A3, evidence V1, fidelity F0.

Erdős Problem 521 — candidate (GPT-5.5 Pro) urn:qed:2edaedb2f636 2026-04-30T00:00:00Z

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

Erdős Problem 202 — candidate (GPT-5.5 Pro) urn:qed:d12602c38ea6 2026-04-30T00:00:00Z

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

Erdős Problem 1201 — candidate (GPT-5.5 Pro) urn:qed:331c91f86ec7 2026-04-30T00:00:00Z

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

Erdős Problem 1190 — candidate (GPT-5.5 Pro) urn:qed:3b8913ede014 2026-04-30T00:00:00Z

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

Erdős 1151 — full (GPT-5.5 Pro) urn:qed:9b32250a0c24 2026-04-30T00:00:00Z

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

Erdős Problem 872 — candidate (GPT-5.5 Pro) urn:qed:b35fd9faf659 2026-04-29T00:00:00Z

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

Erdős 1143 — partial (GPT-5.5 Pro) urn:qed:39be151de239 2026-04-29T00:00:00Z

Partial result (implicit in literature). Autonomy A1, evidence V1, fidelity F0.

Erdős Problem 1133 — candidate (GPT-5.5 Pro) urn:qed:0a06dd218265 2026-04-29T00:00:00Z

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

Erdős Problem 1004 — partial (GPT-5.5 Pro) urn:qed:eeeb2dd2e9dc 2026-04-29T00:00:00Z

Partial result (implicit in literature). Autonomy A2, evidence V1, fidelity F0.

Erdős 514 — partial (GPT-5.5 Pro) urn:qed:fb243d877b57 2026-04-28T00:00:00Z

Partial result (Lean) (solution to third part). Autonomy A1, evidence V2, fidelity F0.

Erdős Problem 1092 — full (GPT-5.5 Pro) urn:qed:ba9d5d00f02f 2026-04-28T00:00:00Z

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

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 953 — full (GPT-5.5 Pro) urn:qed:b92b070005cf 2026-04-27T00:00:00Z

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

Erdős 836 — candidate (GPT-5.5 Pro) urn:qed:fa7af936c699 2026-04-27T00:00:00Z

Candidate partial result (solution to second part). Autonomy A3, evidence V0, fidelity F0.

Erdős Problem 42: Maximal Sidon Sets and Disjoint Difference Sets — full (GPT-5.5 Pro) urn:qed:d59a532b1928 2026-04-27T00:00:00Z

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

Erdős Problem 1101 — candidate (GPT-5.5 Pro) urn:qed:3c0d4810df3f 2026-04-27T00:00:00Z

Candidate partial result (solution to second part). Autonomy A3, evidence V0, fidelity F0.

Erdős 896 — full (GPT-5.5 Pro) urn:qed:a0950ad04c16 2026-04-26T00:00:00Z

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

Erdős 1131 — candidate (GPT-5.5 Pro) urn:qed:907933bfc89c 2026-04-26T00:00:00Z

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

Erdős Problem 906 — candidate (GPT-5.5 Pro) urn:qed:86b014fc8e09 2026-04-25T00:00:00Z

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

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 521 — partial (GPT-5.5 Pro) urn:qed:f45eefe96858 2026-04-25T00:00:00Z

Solution to variant problem. Autonomy A1, evidence V1, fidelity F2.

Erdős Problem 38 — full (GPT-5.5 Pro) urn:qed:047193a31f83 2026-04-25T00:00:00Z

Full solution. Autonomy A3, evidence V1, fidelity F1.

Erdős Problem 1138 — full (GPT-5.5 Pro, GPT-5.5 Thinking) urn:qed:7449d128be16 2026-04-25T00:00:00Z

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

Erdős 852 — candidate (GPT-5.5 Pro) urn:qed:a785ebc8de1f 2026-04-24T00:00:00Z

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

Erdős Problem 330 — full (GPT-5.5 Pro) urn:qed:54fbcb034acf 2026-04-24T00:00:00Z

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

Erdős Problem 689 — candidate (Codex, GPT-5.2, GPT-5.5 Pro) urn:qed:9477d1eb1531 2025-10-29T00:00:00Z

Candidate full solution. Autonomy A1, evidence V3, fidelity F3.