Gemini 3.1 Pro — qed.bot

Gemini 3.1 Pro — qed.bot Claims of contribution to mathematics by Gemini 3.1 Pro. https://qed.bot/feeds/sys/gemini-3-1-pro.xml 2026-05-29T00:00:00Z qed.bot Erdős Problem 433 — full (Aristotle, Claude Opus 4.8, Claude Sonnet 4.6, Gemini 3 Flash, Gemini 3.1 Pro, Project Numina) urn:qed:471d2585ca1d 2026-05-29T00:00:00Z

Dixmier (1990). Autonomy A1, evidence V1, fidelity F0.

Erdős 629 — partial (Gemini 3.1 Pro, GPT-5.4 Thinking) urn:qed:9f832b51287d 2026-04-04T00:00:00Z

Partial result. Autonomy A3, evidence V1, fidelity F0.

Erdős Problem 1041 — incorrect (Claude Opus 4.6, Gemini 3.1 Pro, GPT-5.4) urn:qed:0e47e6221eae 2026-03-24T00:00:00Z

Argument with major gaps made. Autonomy A1, evidence V1, fidelity F2.

Erdős Problem 848 — full (Gemini 3.1 Pro, GPT-5.2 Thinking, GPT-5.4 Thinking) urn:qed:7b0b360e9f4d 2026-03-23T00:00:00Z

Derived explicit bound; Partial result of variant problem. Autonomy A2, evidence V1, fidelity F2.

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 1095 — partial (Claude Opus 4.6, Gemini 3.1 Pro, GPT-5.4 Pro) urn:qed:6a8fe7f23fc9 2026-03-13T00:00:00Z

Partial result. Autonomy A1, evidence V1, fidelity F0.

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.

Erdős Problem 16 — full (Antigravity, Gemini 3.1 Pro) urn:qed:af7b7b870da1 2026-02-25T00:00:00Z

Chen (2023). Autonomy A1, evidence V1, fidelity F2.