Claims, announcements and changes across Erdős. https://qed.bot/feeds/collections/erdos.xml 2026-09-30T14:34:16Z qed.bot urn:qed:change:formal-status:erdos:331:solved 2026-09-30T14:34:16Z

The formal record now marks Erdős Problem 331 as solved, previously mixed.

urn:qed:change:formal-status:erdos:1084:solved 2026-09-30T14:34:16Z

The formal record now marks Erdős Problem 1084 as solved, previously mixed.

urn:qed:change:formal-status:erdos:1099:solved 2026-09-30T14:34:16Z

The formal record now marks Erdős Problem 1099 as solved, previously mixed.

urn:qed:change:formal-status:erdos:44:mixed 2026-09-30T14:34:16Z

The formal record now marks Erdős Problem 44: Extending Sidon Sets as mixed, previously open.

urn:qed:change:formal-status:erdos:80:mixed 2026-09-30T14:34:16Z

The formal record now marks Erdős Problem 80 as mixed, previously open.

urn:qed:change:formal-status:erdos:1106:mixed 2026-09-30T14:34:16Z

The formal record now marks Erdős Problem 1106 as mixed, previously open.

urn:qed:change:fidelity:erdos:789:F2 2026-09-29T16:33:59Z

The fidelity grade for Erdős Problem 789 moved from F0 to F2.

urn:qed:change:verified:erdos:67:Palomar 2026-09-29T01:40:08Z

Erdős Problem 67 is now machine-checked, by Palomar.

urn:qed:change:fidelity:erdos:67:F2 2026-09-29T01:40:08Z

The fidelity grade for Erdős Problem 67 moved from F0 to F2.

urn:qed:change:registration:PALOMAR-2026-09-29-000002:erdos:67 2026-09-29T01:40:08Z

Palomar registered a rebuild of Erdős Problem 67, attached here as a check.

urn:qed:change:fidelity:erdos:1054:F2 2026-09-28T11:57:19Z

The fidelity grade for Erdős Problem 1054 moved from F0 to F2.

urn:qed:change:formal-status:erdos:995:mixed 2026-09-28T11:57:19Z

The formal record now marks Erdős Problem 995 as mixed, previously unclassified.

urn:qed:change:formal-status:erdos:3:mixed 2026-09-28T11:57:19Z

The formal record now marks Erdős Problem 3 as mixed, previously open.

urn:qed:change:formal-status:erdos:19:mixed 2026-09-28T11:57:19Z

The formal record now marks Erdős Problem 19 as mixed, previously unclassified.

urn:qed:change:formal-status:erdos:30:mixed 2026-09-28T11:57:19Z

The formal record now marks Erdős Problem 30 as mixed, previously open.

urn:qed:change:formal-status:erdos:78:mixed 2026-09-28T11:57:19Z

The formal record now marks Erdős Problem 78 as mixed, previously unclassified.

urn:qed:change:formal-status:erdos:102:mixed 2026-09-28T11:57:19Z

The formal record now marks Erdős Problem 102 as mixed, previously unclassified.

urn:qed:change:formal-status:erdos:103:open 2026-09-28T11:57:19Z

The formal record now marks Erdős Problem 103 as open, previously unclassified.

urn:qed:change:formal-status:erdos:148:mixed 2026-09-28T11:57:19Z

The formal record now marks Erdős Problem 148 as mixed, previously unclassified.

urn:qed:change:fidelity:erdos:261:F2 2026-09-28T11:57:19Z

The fidelity grade for Erdős Problem 261 moved from F0 to F2.

urn:qed:change:fidelity:erdos:302:F2 2026-09-28T11:57:19Z

The fidelity grade for Erdős Problem 302 moved from F0 to F2.

urn:qed:change:formal-status:erdos:482:solved 2026-09-28T11:57:19Z

The formal record now marks Erdős Problem 482 as solved, previously unclassified.

urn:qed:change:fidelity:erdos:482:F2 2026-09-28T11:57:19Z

The fidelity grade for Erdős Problem 482 moved from F0 to F2.

urn:qed:change:formal-status:erdos:522:solved 2026-09-28T11:57:19Z

The formal record now marks Erdős Problem 522 as solved, previously mixed.

urn:qed:change:fidelity:erdos:522:F2 2026-09-28T11:57:19Z

The fidelity grade for Erdős Problem 522 moved from F0 to F2.

urn:qed:change:fidelity:erdos:809:F2 2026-09-28T11:57:19Z

The fidelity grade for Erdős 809 moved from F0 to F2.

urn:qed:change:fidelity:erdos:1219:F2 2026-09-28T11:57:19Z

The fidelity grade for Erdős 1219 moved from F0 to F2.

urn:qed:change:fidelity:erdos:1220:F2 2026-09-27T08:37:38Z

The fidelity grade for Erdős 1220 moved from F0 to F2.

urn:qed:announcement:openai-2026-08-01 2026-08-01T00:00:00Z

Claims ten advances on open problems in mathematics and theoretical computer science. Disclosure D3: 10 of 10 identified, 10 checkable.

urn:qed:3d73d278c8e8 2026-06-29T00:00:00Z

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

urn:qed:3e886831430b 2026-06-29T00:00:00Z

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

urn:qed:ecb1a6355fe9 2026-06-27T00:00:00Z

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

urn:qed:4930555daa29 2026-06-27T00:00:00Z

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

urn:qed:b06c5541a56d 2026-06-24T00:00:00Z

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

urn:qed:33d27449433a 2026-06-24T00:00:00Z

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

urn:qed:dfdf737cc1be 2026-06-23T00:00:00Z

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

urn:qed:00cad66cefa8 2026-06-23T00:00:00Z

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

urn:qed:2c9f248e551c 2026-06-23T00:00:00Z

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

urn:qed:1aff9b408d56 2026-06-23T00:00:00Z

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

urn:qed:da1dfc1b4cfe 2026-06-23T00:00:00Z

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

urn:qed:0718d31147f0 2026-06-23T00:00:00Z

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

urn:qed:4f3376d89ebe 2026-06-22T00:00:00Z

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

urn:qed:2cffd6455cdc 2026-06-22T00:00:00Z

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

urn:qed:ead34dae37b8 2026-06-22T00:00:00Z

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

urn:qed:4b0ad2e50880 2026-06-22T00:00:00Z

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

urn:qed:45803743c5ee 2026-06-22T00:00:00Z

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

urn:qed:677202a69ea4 2026-06-22T00:00:00Z

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

urn:qed:d0d65ca90dc9 2026-06-22T00:00:00Z

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

urn:qed:55859d8a9d9f 2026-06-21T00:00:00Z

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

urn:qed:a2cae790a0c9 2026-06-21T00:00:00Z

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

urn:qed:b7a30a74bcef 2026-06-21T00:00:00Z

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

urn:qed:51a915ecd033 2026-06-21T00:00:00Z

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

urn:qed:b6a97e12c2cf 2026-06-21T00:00:00Z

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

urn:qed:f80c2ed447b7 2026-06-20T00:00:00Z

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

urn:qed:10d5f528cced 2026-06-20T00:00:00Z

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

urn:qed:555194c7db58 2026-06-20T00:00:00Z

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

urn:qed:8c3caff2bf2e 2026-06-19T00:00:00Z

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

urn:qed:494161c1848c 2026-06-19T00:00:00Z

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

urn:qed:1363b4beee38 2026-06-19T00:00:00Z

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

urn:qed:a8de9e7f1351 2026-06-19T00:00:00Z

Chen and Dai (2007). Autonomy A1, evidence V1, fidelity F2.

urn:qed:83ad9b858e23 2026-06-19T00:00:00Z

Unspecified. Autonomy A1, evidence V3, fidelity F2.

urn:qed:9717094565e7 2026-06-19T00:00:00Z

Nešetřil and Rödl (1985). Autonomy A1, evidence V3, fidelity F2.

urn:qed:f4944bb39039 2026-06-19T00:00:00Z

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

urn:qed:32d65f2b9c5d 2026-06-19T00:00:00Z

Escudero (2016). Autonomy A1, evidence V3, fidelity F2.

urn:qed:1daccb189823 2026-06-19T00:00:00Z

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

urn:qed:00fa638da55b 2026-06-19T00:00:00Z

Unspecified. Autonomy A1, evidence V1, fidelity F2.

urn:qed:5ec141d2eeff 2026-06-17T00:00:00Z

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

urn:qed:4cb62d1bc8be 2026-06-16T00:00:00Z

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

urn:qed:7b49df676206 2026-06-14T00:00:00Z

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

urn:qed:338e7180aa31 2026-06-14T00:00:00Z

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

urn:qed:7a2ad60ed190 2026-06-14T00:00:00Z

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

urn:qed:e84c27a326fd 2026-06-12T00:00:00Z

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

urn:qed:413f06cefa6d 2026-06-10T00:00:00Z

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

urn:qed:3c8bb4580bc2 2026-06-10T00:00:00Z

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

urn:qed:3d78fb043de4 2026-06-10T00:00:00Z

Hefty, Horn, King and Pfender (2025). Autonomy A1, evidence V1, fidelity F0.

urn:qed:efc432a4d6b5 2026-06-09T00:00:00Z

Improved explicit bound. Autonomy A1, evidence V1, fidelity F2.

urn:qed:0cdf5f2fa83e 2026-06-09T00:00:00Z

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

urn:qed:28d3692204d9 2026-06-08T00:00:00Z

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

urn:qed:1ed487c42d82 2026-06-05T00:00:00Z

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

urn:qed:77ca53fbdade 2026-06-05T00:00:00Z

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

urn:qed:3d09fed8df1b 2026-06-05T00:00:00Z

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

urn:qed:524b64d372a0 2026-06-04T00:00:00Z

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

urn:qed:2c99a876d706 2026-06-04T00:00:00Z

Candidate solution to variant problem. Autonomy A1, evidence V0, fidelity F0.

urn:qed:99081a0b3086 2026-06-03T00:00:00Z

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

urn:qed:8490c14a400e 2026-06-03T00:00:00Z

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

urn:qed:edd98d1ca14a 2026-06-03T00:00:00Z

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

urn:qed:7f07ac094488 2026-06-02T00:00:00Z

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

urn:qed:c56cda9d92e9 2026-06-01T00:00:00Z

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

urn:qed:208aef487e77 2026-06-01T00:00:00Z

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

urn:qed:db38941d624f 2026-05-29T00:00:00Z

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

urn:qed:471d2585ca1d 2026-05-29T00:00:00Z

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

urn:qed:c83c6bcbed06 2026-05-29T00:00:00Z

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

urn:qed:a17db36f743e 2026-05-28T00:00:00Z

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

urn:qed:95b7a60ac400 2026-05-28T00:00:00Z

Improved bound to variant problem. Autonomy A1, evidence V1, fidelity F0.

urn:qed:c721092d8123 2026-05-28T00:00:00Z

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

urn:qed:f9a4dbfe9bf9 2026-05-26T00:00:00Z

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

urn:qed:4f007ee80ecb 2026-05-26T00:00:00Z

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

urn:qed:c969b5bfe3df 2026-05-26T00:00:00Z

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

urn:qed:5b2f2072752b 2026-05-26T00:00:00Z

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

urn:qed:239969e360fe 2026-05-24T00:00:00Z

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