OpenAI reports that an unreleased internal model produced a finite-time blowup proof for forced Navier-Stokes flow, accompanied by a Lean formalization.
Discover87,484Open Problems in Mathematics
Explore MathDBFeatured Problems
Latest Developments
A lone-author Zenodo deposit claims a proof of the Hodge conjecture using topological confinement, chiral symmetry breaking, and a universal rough operator algebra.
A preprint claims the exact Lp norm of the Beurling–Ahlfors transform is p−1 for p≥2 and its dual value for 1<p≤2.
A preprint claims to construct a polarized smooth projective fivefold that is K-polystable but has no constant-scalar-curvature Kähler metric.
A preprint claims a continuous piecewise-quadratic semialgebraic function that lacks a finite lattice-polynomial representation.
Forum
All discussionsDatabase
Browse databaseSyracuse conjecture (Collatz conjecture)
For every positive integer , define the Collatz map by if is even and if is odd. The conje…
Unique choice is Weihrauch-equivalent to choice on Baire space
Let denote the unique closed choice operation on a represented Hausdorff space , and let denote closed choice on . For Baire space…
Matroid Secretary Conjecture
Conjecture. There exist an absolute constant and an online algorithm such that, for every finite matroid and every choice of nonnegative weights, the algorithm selects…
Rank-three case of the Kajitani–Ueno–Miyano cyclic orderability conjecture
Problem. Is every finite uniformly dense matroid of rank cyclically orderable?
Proportion of critical-line zeros of the Riemann zeta function
Problem. Determine . In particular, is