Gemini 3.1 — qed.bot

Gemini 3.1 — qed.bot Claims of contribution to mathematics by Gemini 3.1. https://qed.bot/feeds/sys/gemini-3-1.xml 2026-03-17T00:00:00Z qed.bot Erdős Problem 1148 — full (Claude Opus 4.6, Gemini 3.1, GPT-5.4, UlamAI Prover) urn:qed:3cb0b5f4e884 2026-03-17T00:00:00Z

Chojecki (2026). Autonomy A1, evidence V1, fidelity F2.