DeepMind prover agent — qed.bot
Claims of contribution to mathematics by DeepMind prover agent.
https://qed.bot/feeds/sys/deepmind-prover-agent.xml
2026-04-16T00:00:00Z
qed.bot
Erdős Problem 741 — full (DeepMind prover agent)
urn:qed:bc6d208e3124
2026-04-16T00:00:00Z
Full solution (Lean). Autonomy A3, evidence V2, fidelity F2.
Erdős Problem 138 — partial (DeepMind prover agent)
urn:qed:1bcd4154624a
2026-04-10T00:00:00Z
Partial result (Lean). Autonomy A3, evidence V2, fidelity F2.
Erdős Problem 12 — partial (DeepMind prover agent)
urn:qed:7b07021feec6
2026-04-07T00:00:00Z
Partial result (Lean) (solutions to first part and second part). Autonomy A2, evidence V2, fidelity F2.
Erdős Problem 26 — full (DeepMind prover agent)
urn:qed:7e7c7f65d65d
2026-04-06T00:00:00Z
Solution to stronger problem. Autonomy A2, evidence V1, fidelity F2.
Erdős Problem 152 — full (DeepMind prover agent)
urn:qed:feb80ec80e59
2026-04-03T00:00:00Z
Full solution (Lean). Autonomy A3, evidence V2, fidelity F2.
Erdős Problem 741 — partial (DeepMind prover agent)
urn:qed:6df916f48156
2026-03-31T00:00:00Z
Partial result (Lean) (solution to variant of first part; solution to second part). Autonomy A3, evidence V2, fidelity F2.
Erdős Problem 125 — full (DeepMind prover agent)
urn:qed:15981fb31db1
2026-03-30T00:00:00Z
Full solution (Lean). Autonomy A3, evidence V2, fidelity F2.
Erdős Problem 120 — partial (DeepMind prover agent)
urn:qed:35347ec995e3
2026-03-14T00:00:00Z
Solution to variant problem (Lean). Autonomy A3, evidence V2, fidelity F2.
Erdős Problem 846 — full (DeepMind prover agent, OpenAI internal model)
urn:qed:fa49ce4c3771
2026-02-25T00:00:00Z
Full solution (Lean); Full solution. Autonomy A3, evidence V2, fidelity F2.
Erdős Problem 125 — partial (DeepMind prover agent)
urn:qed:daa6cdd76e44
2026-02-21T00:00:00Z
Solution to variant problem (Lean). Autonomy A3, evidence V2, fidelity F2.
Erdős Problem 1082 — partial (DeepMind prover agent)
urn:qed:03ba30a89c98
2026-02-14T00:00:00Z
Counterexample to one part (Lean). Autonomy A3, evidence V2, fidelity F2.