GPT-6 Astra — qed.bot Claims of contribution to mathematics by GPT-6 Astra. https://qed.bot/feeds/sys/gpt-6-astra.xml 2026-09-09T00:00:00Z qed.bot Existence and Smoothness of the Navier–Stokes Equation — full (GPT-6 Astra) urn:qed:89ef9abfa51b 2026-09-09T00:00:00Z Formalised the Navier–Stokes and Euler results in Lean, checked with Comparator against the Formal Conjectures statements of alternatives (C) and (D).. Autonomy A1, evidence V2, fidelity F3. Finite-time blowup for the incompressible porous media equation with smooth forcing — full (Claude, GPT-5.6 Sol, GPT-6 Astra) urn:qed:0ccd14772447 2026-09-07T00:00:00Z Finite-time blowup for the incompressible porous media equation on the two-dimensional torus with a force smooth in space and time, extending Córdoba and Martínez-Zoroa's result with a spatially smooth force.. Autonomy A1, evidence V1, fidelity F0. Finite-time blowup for the 3D incompressible Euler equations with smooth forcing — full (Claude, GPT-5.6 Sol, GPT-6 Astra) urn:qed:58935e97737d 2026-09-07T00:00:00Z A finite-time singularity for the incompressible Euler equations on ℝ³ with a force smooth in space and time up to and including the blowup time.. Autonomy A1, evidence V1, fidelity F0. Finite-time blowup for the inviscid Boussinesq equations with smooth forcing — full (Claude, GPT-5.6 Sol, GPT-6 Astra) urn:qed:3edb0739c066 2026-09-07T00:00:00Z Finite-time blowup for the inviscid Boussinesq system on ℝ² with smooth forcing in both equations: the temperature stays bounded while its gradient and the vorticity blow up.. Autonomy A1, evidence V1, fidelity F0. Bounded gaps between primes — record (GPT-6 Astra) urn:qed:e36c3b5ee17d 2026-09-03T00:00:00Z Proved that infinitely many pairs of consecutive primes are at most 186 apart.. Autonomy A3, evidence V2, fidelity F2.