OpenAI internal model — qed.bot

OpenAI internal model — qed.bot Claims of contribution to mathematics by OpenAI internal model. https://qed.bot/feeds/sys/openai-internal-model.xml 2026-09-08T00:00:00Z qed.bot Existence and Smoothness of the Navier–Stokes Equation — full (OpenAI internal model) urn:qed:ed88695692e8 2026-09-08T00:00:00Z

Finite-time blowup for the 3D incompressible Navier–Stokes equations with smooth forcing, on Euclidean space and on the torus: Fefferman's alternatives (C) and (D), a negative answer to the Millennium problem. Unforced Euler blowup is proved alongside.. Autonomy A2, evidence V2, fidelity F3.

Erdős Problem 986 — full (Claude, OpenAI internal model) urn:qed:4cb62d1bc8be 2026-06-16T00:00:00Z

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

Erdős Problem 90: The unit distance problem — full (OpenAI internal model) urn:qed:08473a5a5f9e 2026-05-20T00:00:00Z

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

Erdős Problem 1014 — full (OpenAI internal model) urn:qed:2f7089d32688 2026-04-23T00:00:00Z

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

Erdős Problem 990 — full (OpenAI internal model) urn:qed:925dc9d89c0b 2026-04-09T00:00:00Z

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

Erdős Problem 987 — full (OpenAI internal model) urn:qed:3bbb52d3dca6 2026-04-09T00:00:00Z

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

Erdős 960 — full (OpenAI internal model) urn:qed:b17268e643b1 2026-04-09T00:00:00Z

Full solution. Autonomy A3, evidence V1, fidelity F0.

Erdős Problem 1141 — full (OpenAI internal model) urn:qed:416aebe71e56 2026-04-09T00:00:00Z

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

Erdős 1091 — full (OpenAI internal model) urn:qed:e206745c8999 2026-04-09T00:00:00Z

Full solution. Autonomy A3, evidence V1, fidelity F0.

Erdős Problem 997 — full (OpenAI internal model) urn:qed:6bec3759e5fb 2026-03-31T00:00:00Z

Full solution. Autonomy A3, evidence V1, fidelity F1.

Erdős Problem 741 — partial (OpenAI internal model) urn:qed:fa1ee05ad786 2026-03-31T00:00:00Z

Partial result (solution to second part). Autonomy A3, evidence V1, fidelity F2.

Erdős 684 — partial (OpenAI internal model) urn:qed:8029e6379dcf 2026-03-31T00:00:00Z

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

Erdős Problem 846 — full (DeepMind prover agent, OpenAI internal model) urn:qed:fa49ce4c3771 2026-02-25T00:00:00Z

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