Erdős 176 — qed.bot

Erdős 176 — qed.bot Claims, announcements and changes recorded against Erdős 176. https://qed.bot/feeds/s/erdos-176.xml 2026-06-23T00:00:00Z qed.bot 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 176 — partial (Codex, GPT-5.5 Pro) urn:qed:55859d8a9d9f 2026-06-21T00:00:00Z

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