P vs NP: ETH disproved via sub-exponential counterexample; UGC fully proved.
Riemann Hypothesis: Quasi-Riemann hypothesis proved and formalized, Landau–Siegel zeros non-existence proved.
Yang–Mills and Mass Gap: Yang-Mills part solved and formalized.
Navier–Stokes: Disproved via a counterexample.
Hodge Conjecture: Partial proof for CM-type abelian varieties.
Birch and Swinnerton-Dyer: Rank 0 and 1 cases settled.
Poincaré Conjecture: Solved by Grigori Perelman in 2003.
