Gemini — qed.bot

Gemini — qed.bot Claims of contribution to mathematics by Gemini. https://qed.bot/feeds/sys/gemini.xml 2026-03-15T00:00:00Z qed.bot Erdős 388 — incorrect (Claude, Gemini, GPT-5.4) urn:qed:729124ceabb3 2026-03-15T00:00:00Z

Incorrect proof found. Autonomy A1, evidence V1, fidelity F0.

Erdős 964 — full (Antigravity, Aristotle, Gemini) urn:qed:e1122efc69f7 2026-02-14T00:00:00Z

Eberhard (2025). Autonomy A1, evidence V1, fidelity F0.

Erdős 524 — partial (Gemini, GPT-5.2, Grok) urn:qed:588c3e556623 2026-01-30T00:00:00Z

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

Erdős Problem 647 — incorrect (ChatGPT Deep research, DeepSeek DeepThink, Gemini) urn:qed:74d10d26fa5e 2026-01-28T00:00:00Z

Incorrect proof found. Autonomy A3, evidence V1, fidelity F1.

Erdős Problem 1026 — full (AlphaEvolve, Aristotle, Gemini, GPT) urn:qed:b8e0590404f6 2025-12-08T00:00:00Z

Full solution (Lean). Autonomy A1, evidence V2, fidelity F2.

Erdős Problem 942 — partial (Gemini) urn:qed:108e75b0773d 2025-11-23T00:00:00Z

New proof found. Autonomy A2, evidence V1, fidelity F0.

Erdős Problem 1099 — full (ChatGPT Deep research, Gemini, Gemini Deep Research) urn:qed:0093399a840f 2025-10-19T00:00:00Z

Full solution found. Autonomy A1, evidence V1, fidelity F2.

Erdős Problem 370 — partial (ChatGPT Deep research, Gemini, Gemini Deep Research) urn:qed:4271ec794545 2025-10-17T00:00:00Z

Problem found to be misstated; solutions to variant problems found. Autonomy A1, evidence V1, fidelity F2.