Gemini 3 Pro — qed.bot

Gemini 3 Pro — qed.bot Claims of contribution to mathematics by Gemini 3 Pro. https://qed.bot/feeds/sys/gemini-3-pro.xml 2026-03-16T00:00:00Z qed.bot Erdős Problem 1148 — full (Gemini 3 Pro, Gemini 3.1 Pro, GPT-5.2 Pro, GPT-5.2 Thinking, GPT-5.4 Pro) urn:qed:16b7cb0a7cc0 2026-03-16T00:00:00Z

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

Erdős Problem 93 — full (Aristotle, Claude Opus 4.5, Claude Opus 4.6, Gemini 3 Flash, Gemini 3 Pro, Numina Lean Agent) urn:qed:4d342276581a 2026-02-17T00:00:00Z

Altman (1963). Autonomy A1, evidence V1, fidelity F2.

Erdős 963 — incorrect (Gemini 3 Pro) urn:qed:219f2d9ae2f4 2026-01-22T00:00:00Z

Argument with major gaps made. Autonomy A3, evidence V1, fidelity F0.

Erdős Problem 888 — incorrect (Claude Opus 4.5, Gemini 3 Pro, GPT-5.2 Thinking) urn:qed:267694f62f7e 2026-01-18T00:00:00Z

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

Erdős 616 — incorrect (Claude Sonnet 4.5, Gemini 3 Pro, GPT-5.2 Pro) urn:qed:713f88c01bc4 2026-01-18T00:00:00Z

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

Erdős Problem 281 — full (Gemini 3 Pro, GPT-5.2 Pro) urn:qed:3a0e3bfd0ec5 2026-01-17T00:00:00Z

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

Erdős Problem 871 — full (Claude Opus 4.5, Gemini 3 Pro) urn:qed:19f099a32293 2026-01-05T00:00:00Z

Existing partial result upgraded to full solution (Lean). Autonomy A2, evidence V2, fidelity F2.

Erdős Problem 189 — full (Aristotle, Gemini 3 Pro) urn:qed:a683a0cd84dc 2025-12-17T00:00:00Z

Kovač (2023). Autonomy A1, evidence V1, fidelity F2.