OpenAI reports that an unreleased internal model produced a finite-time blowup proof for forced Navier-Stokes flow, accompanied by a Lean formalization.
Discover88,106Open Problems in Mathematics
Explore MathDBFeatured Problems
Latest Developments
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.
Jizhou Guo constructs convex non-ball domains disproving the Schiffer and Pompeiu conjectures in dimensions 3, 4, 6, 8, 10, and 14.
Forum
All discussionsDatabase
Browse databaseExplicit Realization of PSU₃(8) as a Galois Group over ℚ
This problem asks for an explicit realization of the projective special unitary group as a Galois group over . The goal is to construct a separable…
Explicit Realization of PSU₃(4) as a Galois Group over ℚ
This problem asks for an explicit realization of the projective special unitary group as a Galois group over . The goal is to construct a separable…
The conjecture that the Schur-degree threshold equals the Schur number
For , let be the th Schur number. Let be the least length such that every sequence in with and average satisfies…
Maximum number of intersections between two simple heptagons
Problem. Determine the exact value of . In particular, is …
The conjectured first-difference sequence for the Fibonacci word
Let be the infinite Fibonacci word, let be its alphabet, and define … Here is the number of distinct closed factors of , and denotes th…