GPT Pro — qed.bot Claims of contribution to mathematics by GPT Pro. https://qed.bot/feeds/sys/gpt-pro.xml 2025-11-17T00:00:00Z qed.bot Erdős Problem 105 — full (Aristotle, GPT Pro) urn:qed:6e0e4e7e240f 2025-11-17T00:00:00Z Xichuan (2025). Autonomy A1, evidence V3, fidelity F2. Erdős Problem 613 — full (GPT Pro) urn:qed:fbcdb84f6132 2025-11-04T00:00:00Z Pikhurko (2001). Autonomy A1, evidence V1, fidelity F2.