OpenAI reports that an unreleased internal model produced a finite-time blowup proof for forced Navier-Stokes flow, accompanied by a Lean formalization.
Discover87,371Open Problems in Mathematics
Explore MathDBFeatured Problems
Latest Developments
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.
Paths maximize the expected range of integer-valued graph homomorphisms among connected bipartite graphs of fixed order.
Fan Chang, Hong Liu, and Miao Liu claim a proof that every hereditary set family has a largest intersecting subfamily that is a star.
Forum
All discussionsDatabase
Browse databaseMatroid 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
Lexicographic product formula for weakly-canonical poset games
Let and be poset games, with for some , and suppose that is weakly-canonical. Let be their lexicographic product, whose underlyin…
The large-number Syracuse falling-time conjecture
Let denote the Syracuse falling time of an odd positive integer . Large-number Syracuse falling-time conjecture. … for all odd . This con…