ulam.ai scaffold with Gemini 3 Flash and Gemini 3.1 Pro — qed.bot Claims of contribution to mathematics by ulam.ai scaffold with Gemini 3 Flash and Gemini 3.1 Pro. https://qed.bot/feeds/sys/ulam-ai-scaffold-with-gemini-3-flash-and-gemini-3-1-pro.xml 2026-03-03T00:00:00Z qed.bot Erdős Problem 115 — full (Aristotle, Claude Opus 4.6, Claude Sonnet 4.6, Gemini 3 Flash, Gemini 3.1 Pro, ulam.ai scaffold with Gemini 3 Flash and Gemini 3.1 Pro) urn:qed:5f0e78428115 2026-03-03T00:00:00Z Eremenko and Lempert (1994). Autonomy A1, evidence V1, fidelity F2.