Erdős 783 — qed.bot

Erdős 783 — qed.bot Claims, announcements and changes recorded against Erdős 783. https://qed.bot/feeds/s/erdos-783.xml 2026-02-21T00:00:00Z qed.bot Erdős 783 — partial (GPT-5.2 Thinking) urn:qed:d59a93e5637b 2026-02-21T00:00:00Z

Tao (2026). Autonomy A1, evidence V1, fidelity F0.

Erdős 783 — partial (GPT-5.2 Thinking) urn:qed:350571389a0c 2026-01-24T00:00:00Z

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

Erdős 783 — partial (GPT-5.2) urn:qed:30caf9fd06f3 2026-01-23T00:00:00Z

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