Erdős 788 — qed.bot

Erdős 788 — qed.bot Claims, announcements and changes recorded against Erdős 788. https://qed.bot/feeds/s/erdos-788.xml 2026-01-20T00:00:00Z qed.bot Erdős 788 — partial (GPT-5.2 Pro) urn:qed:8b7ef5aaaef9 2026-01-20T00:00:00Z

New partial result. Autonomy A2, evidence V1, fidelity F0.

Erdős 788 — partial (Aristotle) urn:qed:a868ca113de7 2026-01-20T00:00:00Z

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

Erdős 788 — partial (GPT-5) urn:qed:ebbbc7df03dc 2025-10-14T00:00:00Z

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