Results

20 statements

1. ◌Proposed
   A singular forced flow starting from rest

   Supporting resultNavier–Stokes existence and smoothnessOpenAI 2026

2. ◌Proposed
   A uniform Poincaré bound for isotropic log-concave measures

   Main statementKannan–Lovász–Simonovits conjectureSong & Zhang 2026

3. ◌Proposed
   Counterexamples in every dimension from three up

   CounterexampleJacobian conjectureGao 2026

4. ◌Proposed
   Every bridgeless graph has a cycle double cover

   Main statementCycle double cover conjectureOpenAI 2026Formalized

5. ◌Proposed
   Forced breakdown on the three-torus

   VariantNavier–Stokes existence and smoothnessOpenAI 2026Formalized

6. ◌Proposed
   Forced whole-space nonexistence

   CounterexampleNavier–Stokes existence and smoothnessOpenAI 2026Formalized

7. ◌Proposed
   Gaps at most 212, infinitely often

   BoundHow small can prime gaps be?Charton et al. 2026

8. ◌Proposed
   No global smooth bounded-energy solution for selected data

   Supporting resultThree-dimensional Euler regularityOpenAI 2026Formalized

9. ◌Proposed
   Proposed cubic complex determinantal lower bound

   VariantP versus NPOpenAI internal model 2026

10. ◌Proposed
    Proposed depth-three bound beyond the square-root exponent

    Restricted modelP versus NPOpenAI internal model 2026

11. ◌Proposed
    Proposed full BSD at Selmer corank zero or one

    Special caseBirch and Swinnerton-Dyer conjectureOpenAI 2026

12. ◌Proposed
    Proposed half-densities in every quadratic-twist family

    VariantBirch and Swinnerton-Dyer conjectureOpenAI 2026

13. ◌Proposed
    Proposed Hodge result for all CM abelian varieties

    Special caseHodge conjectureOpenAI 2026

14. ◌Proposed
    Proposed rationality of specialized Hodge pairings

    VariantHodge conjectureOpenAI 2026

15. ◌Proposed
    Proposed result: a fixed zero-free half-plane Re(s) > 7/8

    BoundRiemann hypothesisOpenAI

16. ◌Proposed
    Proposed result: Λ ≤ 0.1787854

    BoundRiemann hypothesisGomila

17. ◌Proposed
    Proposed Unique Games gap reductions

    VariantP versus NPOpenAI internal model 2026

18. ◌Proposed
    Smooth unforced data with finite-time breakdown

    Main statementThree-dimensional Euler regularityOpenAI 2026Formalized

19. ◌Proposed
    The first revision’s iterated-logarithm estimate

    Supporting resultKannan–Lovász–Simonovits conjectureSong & Zhang 2026

20. ◌Proposed
    The later proposal for every positive deviation

    VariantFeige’s probability conjectureLing 2026