https://openmath.dev/ https://openmath.dev/problems https://openmath.dev/about https://openmath.dev/coverage https://openmath.dev/problems/birch-and-swinnerton-dyer-conjecture https://openmath.dev/problems/caccetta-haggkvist https://openmath.dev/problems/dinitz-garg-goemans-flow https://openmath.dev/problems/cycle-double-cover https://openmath.dev/problems/erdos-unit-distances https://openmath.dev/problems/feige-conjecture https://openmath.dev/problems/gaussian-moments https://openmath.dev/problems/hodge-conjecture https://openmath.dev/problems/prime-gaps https://openmath.dev/problems/jacobian-conjecture https://openmath.dev/problems/kls-conjecture https://openmath.dev/problems/kemeny-three-voters https://openmath.dev/problems/navier-stokes https://openmath.dev/problems/p-vs-np https://openmath.dev/problems/petersen-coloring https://openmath.dev/problems/poincare-conjecture https://openmath.dev/problems/riemann-hypothesis https://openmath.dev/problems/schiffer-pompeiu https://openmath.dev/problems/sendov-conjecture https://openmath.dev/problems/chernoff-density https://openmath.dev/problems/euler-regularity https://openmath.dev/problems/prime-infinitude https://openmath.dev/problems/cerny-synchronization https://openmath.dev/problems/birch-and-swinnerton-dyer-conjecture/history https://openmath.dev/problems/caccetta-haggkvist/history https://openmath.dev/problems/dinitz-garg-goemans-flow/history https://openmath.dev/problems/cycle-double-cover/history https://openmath.dev/problems/erdos-unit-distances/history https://openmath.dev/problems/feige-conjecture/history https://openmath.dev/problems/gaussian-moments/history https://openmath.dev/problems/hodge-conjecture/history https://openmath.dev/problems/prime-gaps/history https://openmath.dev/problems/jacobian-conjecture/history https://openmath.dev/problems/kls-conjecture/history https://openmath.dev/problems/kemeny-three-voters/history https://openmath.dev/problems/navier-stokes/history https://openmath.dev/problems/p-vs-np/history https://openmath.dev/problems/petersen-coloring/history https://openmath.dev/problems/poincare-conjecture/history https://openmath.dev/problems/riemann-hypothesis/history https://openmath.dev/problems/schiffer-pompeiu/history https://openmath.dev/problems/sendov-conjecture/history https://openmath.dev/problems/chernoff-density/history https://openmath.dev/problems/euler-regularity/history https://openmath.dev/problems/cerny-synchronization/history https://openmath.dev/tasks/strict-prime-bound https://openmath.dev/sources/prime-note https://openmath.dev/statements/bsd-analytic-rank-at-most-one https://openmath.dev/statements/bsd-rank-one-converse-finite-sha https://openmath.dev/statements/bsd-semistable-rank-one-p-part https://openmath.dev/statements/bsd-supersingular-p-part https://openmath.dev/statements/bsd-46a1-quadratic-twists https://openmath.dev/statements/bsd-miller-finite-computations https://openmath.dev/statements/bsd-rank-target https://openmath.dev/statements/bsd-full-target https://openmath.dev/statements/bsd-sha-finiteness-target https://openmath.dev/statements/bsd-mordell-weil https://openmath.dev/statements/bsd-strong-implies-rank https://openmath.dev/statements/bsd-finite-points-consequence https://openmath.dev/statements/bsd-congruent-number-consequence https://openmath.dev/statements/bsd-sha-order-consequence https://openmath.dev/statements/bsd-openai-low-selmer-proposal https://openmath.dev/statements/bsd-openai-goldfeld-proposal https://openmath.dev/statements/ch-cycle-bound https://openmath.dev/statements/ch-small-outdegree https://openmath.dev/statements/ch-vertex-transitive https://openmath.dev/statements/ch-large-order https://openmath.dev/statements/ch-triangle-target https://openmath.dev/statements/ch-triangle-03465 https://openmath.dev/statements/ch-rainbow-cycle https://openmath.dev/statements/ch-rainbow-implies-directed https://openmath.dev/statements/ch-rainbow-additive https://openmath.dev/statements/flow-cost-preserving-rounding https://openmath.dev/statements/flow-seven-vertex-counterexample https://openmath.dev/statements/flow-congestion-only-rounding https://openmath.dev/statements/flow-planar-two-demand-allowance https://openmath.dev/statements/cycle-double-cover-existence https://openmath.dev/statements/cycle-double-cover-total-length https://openmath.dev/statements/unit-distances-near-linear https://openmath.dev/statements/unit-distances-positive-exponent https://openmath.dev/statements/unit-distances-four-thirds-upper https://openmath.dev/statements/unit-distances-erdos-grid https://openmath.dev/statements/feige-unit-slack https://openmath.dev/statements/feige-sharp-finite-unit-slack https://openmath.dev/statements/feige-july-deviation-bounds https://openmath.dev/statements/feige-all-deviations-sharp https://openmath.dev/statements/feige-conjecture-consequence https://openmath.dev/statements/feige-bound-one-thirteenth https://openmath.dev/statements/feige-bound-one-eighth https://openmath.dev/statements/feige-bound-0-1798 https://openmath.dev/statements/gaussian-moments-universal https://openmath.dev/statements/gaussian-moments-three-variable-witness https://openmath.dev/statements/gaussian-moments-four-variable-witness https://openmath.dev/statements/gaussian-moments-one-variable https://openmath.dev/statements/gaussian-moments-two-variable https://openmath.dev/statements/gaussian-moments-consequence https://openmath.dev/statements/gaussian-moments-higher-dimensions https://openmath.dev/statements/hodge-divisor-classes https://openmath.dev/statements/hodge-dimension-at-most-three https://openmath.dev/statements/hodge-abelian-fourfolds https://openmath.dev/statements/hodge-weil-fourfold-powers https://openmath.dev/statements/hodge-motivated-transfer https://openmath.dev/statements/integral-hodge-counterexamples https://openmath.dev/statements/hodge-rational-target https://openmath.dev/statements/hodge-kunneth-consequence https://openmath.dev/statements/hodge-inverse-lefschetz-consequence https://openmath.dev/statements/hodge-kahler-extension https://openmath.dev/statements/hodge-broe-tate-fourfolds https://openmath.dev/statements/hodge-openai-cm-proposal https://openmath.dev/statements/hodge-openai-milne-proposal https://openmath.dev/statements/prime-gaps-twin-primes https://openmath.dev/statements/prime-gaps-bound-70000000 https://openmath.dev/statements/prime-gaps-bound-600 https://openmath.dev/statements/prime-gaps-bound-246 https://openmath.dev/statements/prime-gaps-bound-240 https://openmath.dev/statements/prime-gaps-bound-212 https://openmath.dev/statements/prime-gaps-186-conditional https://openmath.dev/statements/prime-gaps-bv-implies-246 https://openmath.dev/statements/jacobian-polynomial-inverse https://openmath.dev/statements/jacobian-three-point-fiber https://openmath.dev/statements/jacobian-dimension-two https://openmath.dev/statements/jacobian-no-polynomial-inverse https://openmath.dev/statements/jacobian-all-dimensions https://openmath.dev/statements/kls-dimension-free-poincare https://openmath.dev/statements/kls-first-revision-iterated-log-bound https://openmath.dev/statements/kls-conjecture-consequence https://openmath.dev/statements/kls-lee-vempala https://openmath.dev/statements/kls-chen https://openmath.dev/statements/kls-klartag-lehec https://openmath.dev/statements/kls-klartag-log https://openmath.dev/statements/kemeny-three-decision https://openmath.dev/statements/kemeny-three-optimization https://openmath.dev/statements/kemeny-fixed-voters https://openmath.dev/statements/kemeny-two-voters https://openmath.dev/statements/navier-stokes-unforced-r3 https://openmath.dev/statements/navier-stokes-unforced-periodic https://openmath.dev/statements/navier-stokes-forced-r3 https://openmath.dev/statements/navier-stokes-singular-flow-from-rest https://openmath.dev/statements/navier-stokes-forced-periodic https://openmath.dev/statements/navier-stokes-compact-continuation-obstruction https://openmath.dev/statements/navier-stokes-two-dimensional https://openmath.dev/statements/navier-stokes-small-data https://openmath.dev/statements/navier-stokes-short-time https://openmath.dev/statements/navier-stokes-leray-weak-solutions https://openmath.dev/statements/navier-stokes-leray-hopf-bound https://openmath.dev/statements/navier-stokes-partial-regularity https://openmath.dev/statements/navier-stokes-prodi-serrin https://openmath.dev/statements/navier-stokes-l3-criterion https://openmath.dev/statements/pnp-equality https://openmath.dev/statements/pnp-inequality https://openmath.dev/statements/pnp-sat-in-p https://openmath.dev/statements/pnp-sat-equivalence https://openmath.dev/statements/pnp-np-circuits https://openmath.dev/statements/pnp-circuits-imply-separation https://openmath.dev/statements/pnp-np-conp https://openmath.dev/statements/pnp-conp-implies-separation https://openmath.dev/statements/pnp-karp-lipton https://openmath.dev/statements/pnp-ladner https://openmath.dev/statements/pnp-one-way https://openmath.dev/statements/pnp-owf-implies-separation https://openmath.dev/statements/pnp-eth https://openmath.dev/statements/pnp-eth-implies-separation https://openmath.dev/statements/pnp-vp-vnp https://openmath.dev/statements/pnp-seth https://openmath.dev/statements/pnp-seth-implies-separation https://openmath.dev/statements/pnp-relativization https://openmath.dev/statements/pnp-natural-proofs https://openmath.dev/statements/pnp-algebrization https://openmath.dev/statements/pnp-nexp-acc https://openmath.dev/statements/pnp-threshold-2026 https://openmath.dev/statements/pnp-near-maximum-2026 https://openmath.dev/statements/pnp-three-sum-2026 https://openmath.dev/statements/pnp-apsp-2026 https://openmath.dev/statements/pnp-np-search https://openmath.dev/statements/pnp-hierarchy-collapse https://openmath.dev/statements/pnp-np-complete-hard https://openmath.dev/statements/pnp-ugc-proposal https://openmath.dev/statements/pnp-depth-three-proposal https://openmath.dev/statements/pnp-permanent-proposal https://openmath.dev/statements/petersen-universal-coloring https://openmath.dev/statements/petersen-normal-five https://openmath.dev/statements/petersen-normal-five-equivalence https://openmath.dev/statements/petersen-112-main-witness https://openmath.dev/statements/petersen-112-symmetric-witness https://openmath.dev/statements/petersen-infinitely-many-counterexamples https://openmath.dev/statements/poincare-three-topological https://openmath.dev/statements/poincare-three-smooth https://openmath.dev/statements/poincare-moise-smoothing https://openmath.dev/statements/poincare-finite-extinction https://openmath.dev/statements/poincare-smooth-four https://openmath.dev/statements/poincare-topological-four https://openmath.dev/statements/poincare-high-dimensions https://openmath.dev/statements/poincare-smooth-spheres-standard https://openmath.dev/statements/poincare-exotic-spheres https://openmath.dev/statements/rh-finite-height https://openmath.dev/statements/rh-simple-critical-line-proportion https://openmath.dev/statements/rh-guth-maynard-zero-density https://openmath.dev/statements/rh-explicit-zero-free-region-2026 https://openmath.dev/statements/rh-newman-nonnegative https://openmath.dev/statements/rh-newman-upper-bound https://openmath.dev/statements/rh-prime-counting-equivalence https://openmath.dev/statements/rh-newman-zero-equivalence https://openmath.dev/statements/rh-distinct-zero-proportion https://openmath.dev/statements/rh-simple-or-critical-line-proportion https://openmath.dev/statements/rh-average-simple-line-proportion https://openmath.dev/statements/rh-dirichlet-generalized-variant https://openmath.dev/statements/rh-dirichlet-fixed-character-proportions https://openmath.dev/statements/rh-weil-finite-field-analogue https://openmath.dev/statements/rh-simple-zero-variant https://openmath.dev/statements/rh-proposed-seven-eighths-half-plane https://openmath.dev/statements/rh-proposed-newman-improvement https://openmath.dev/statements/rh-classical-target https://openmath.dev/statements/rh-fails https://openmath.dev/statements/rh-prime-error-target https://openmath.dev/statements/rh-newman-zero-target https://openmath.dev/statements/rh-dirichlet-grh-implies-classical https://openmath.dev/statements/schiffer-planar-disk-rigidity https://openmath.dev/statements/schiffer-analytic-tenfold-witness https://openmath.dev/statements/schiffer-smooth-symmetry-family https://openmath.dev/statements/schiffer-normalized-c2-witness https://openmath.dev/statements/pompeiu-planar-rigidity https://openmath.dev/statements/pompeiu-star-shaped-c2-witness https://openmath.dev/statements/schiffer-pompeiu-consequence https://openmath.dev/statements/sendov-distance-one https://openmath.dev/statements/sendov-phelps-rodriguez https://openmath.dev/statements/sendov-sharp-radius-example https://openmath.dev/statements/sendov-low-degree https://openmath.dev/statements/sendov-large-degree https://openmath.dev/statements/chernoff-strong-log-concavity https://openmath.dev/statements/chernoff-ordinary-log-concavity https://openmath.dev/statements/chernoff-curvature-tail https://openmath.dev/statements/chernoff-airy-factor https://openmath.dev/statements/chernoff-origin-minimum-curvature https://openmath.dev/statements/euler-smooth-unforced-singularity https://openmath.dev/statements/euler-no-global-smooth-energy-solution https://openmath.dev/statements/euler-vorticity-breakdown-criterion https://openmath.dev/statements/euler-elgindi-c1alpha https://openmath.dev/statements/euler-chen-hou-boundary https://openmath.dev/statements/euler-forced-blowup https://openmath.dev/statements/prime-strictly-above https://openmath.dev/statements/prime-above-bound https://openmath.dev/statements/primes-unbounded https://openmath.dev/statements/primes-infinite https://openmath.dev/statements/prime-divisor-characterization https://openmath.dev/statements/cerny-quadratic-bound https://openmath.dev/statements/cerny-positive-level-one-cluster https://openmath.dev/statements/cerny-relative-extension https://openmath.dev/statements/cerny-one-cluster-sharp-family https://openmath.dev/statements/cerny-circular-case https://openmath.dev/statements/cerny-examples-attain https://openmath.dev/insights/insight-factorial-plus-one https://openmath.dev/attempts/attempt-strict-broken https://openmath.dev/attempts/attempt-strict-success https://openmath.dev/runs/run-strict-success https://openmath.dev/runs/run-strict-broken https://openmath.dev/context-packs/context-prime-strict-v1 https://openmath.dev/context-packs/context-prime-strict-v2