AlphaProof — qed.bot
Claims of contribution to mathematics by AlphaProof.
https://qed.bot/feeds/sys/alphaproof.xml
2026-01-07T00:00:00Z
qed.bot
Erdős Problem 949 — partial (AlphaProof)
urn:qed:c75344181994
2026-01-07T00:00:00Z
Solution to variant problem (Lean). Autonomy A3, evidence V2, fidelity F0.
Erdős Problem 477 — partial (AlphaProof)
urn:qed:b54313e789ac
2026-01-07T00:00:00Z
Solution to variant problem (Lean). Autonomy A3, evidence V2, fidelity F2.
Erdős Problem 835 — partial (AlphaProof)
urn:qed:adc95c02b4fe
2025-12-26T00:00:00Z
Likely folklore. Autonomy A1, evidence V1, fidelity F0.
Erdős Problem 686 — partial (AlphaProof, Claude, Gemini Deep Think, GPT-5.2 Thinking, GPT-5.4 Thinking, Seed 2.0 Pro)
urn:qed:1fa3f303ac7a
2025-08-09T00:00:00Z
Various partial results. Autonomy A1, evidence V1, fidelity F0.