Suddenly, AI has solved 90 of the 500 most important open problems in mathematics

Highest ranked problems:

#2 Riemann Hypothesis — PARTIAL
#4 Hodge Conjecture — PARTIAL
#5 Birch and Swinnerton-Dyer Conjecture — PARTIAL
#10 Extended Riemann hypothesis for Dedekind zeta functions — PARTIAL
#12 Generalized Riemann Hypothesis for Dirichlet L-functions — PARTIAL
#15 Tate Conjecture for Algebraic Cycles — PARTIAL
#22 Hilbert's Tenth Problem over the Rationals — FULL CLAIM
#24 Grothendiecks Generalized Hodge Conjecture — PARTIAL
#28 Matrix-Multiplication Exponent Equals Two — PARTIAL
#29 Unique Games Conjecture — FULL CLAIM
#31 Anderson Model Extended States in Dimension at Least Three — FULL CLAIM
#37 Prove the Penrose inequality or present a counterexample — FULL CLAIM
#38 Higher-dimensional Euclidean Kakeya conjecture — PARTIAL
#39 Modularity of Elliptic Curves over Number Fields (End_K(E)=Z) — PARTIAL
#40 Hilbert's Sixteenth Problem, Second Part — PARTIAL
#46 Fourier restriction conjecture — PARTIAL
#47 The Fontaine-Mazur Conjecture on Geometric Galois Representations — PARTIAL
#48 Nonexistence of Landau–Siegel zeros for quadratic Dirichlet L-functions — FULL CLAIM
#52 The Baum-Connes Conjecture for the K-Theory of Reduced Group C*-Algebras — FULL CLAIM
#62 Permanent versus Determinant over C — PARTIAL
#69 Finiteness of the Tate-Shafarevich Group for Elliptic Curves — PARTIAL
#72 Termination of Flips Conjecture in the Minimal Model Program — PARTIAL
#77 Chowla conjecture on correlations of the Liouville function — PARTIAL
#78 Abundance Conjecture for the minimal model program — FULL CLAIM
#80 Hadwiger Conjecture — FULL CLAIM
#83 Zilber-Pink Conjecture on Unlikely Intersections — PARTIAL
#87 Bose-Einstein Condensation in Interacting Continuous Bose Gases — FULL CLAIM
#92 Entanglement Area Law for 2D Gapped Quantum Systems — FULL CLAIM
#94 Grothendieck Standard Conjecture of Hodge Type — PARTIAL
#95 Kannan-Lovasz-Simonovits conjecture on isoperimetry of log-concave measures — PARTIAL
#99 Grothendiecks Section Conjecture in Anabelian Geometry — PARTIAL
#112 The Haldane Conjecture on Spectral Gaps of Antiferromagnetic Quantum Spin Chains — PARTIAL
#114 Iitaka conjecture C_{n,m} on subadditivity of Kodaira dimension — FULL CLAIM
#119 The Borel Conjecture on Topological Rigidity of Aspherical Manifolds — FULL CLAIM
#124 Aspherical Manifolds Admit No Metric of Positive Scalar Curvature — FULL CLAIM
#130 Polynomial Bound for Limit Cycles of Planar Polynomial Vector Fields — PARTIAL
#136 Erdős problem 3: divergent harmonic series and long arithmetic progressions — FULL CLAIM
#139 Cannon's conjecture — FULL CLAIM
#145 Residual Finiteness of Hyperbolic Groups — FULL CLAIM
#153 Congruent Number Problem — PARTIAL
#161 BPL = L (Derandomizing Bounded-Error Logspace) — FULL CLAIM
#163 NP versus the Existential Theory of the Reals — PARTIAL
#169 The Free Group Factor Isomorphism Problem — FULL CLAIM
#172 Conformal Invariance of the Critical Random-Cluster Model with q <= 4 — FULL CLAIM
#179 Arnold Conjecture on Hamiltonian Fixed Points — FULL CLAIM
#181 Polyakov Conjecture: Absence of a Phase Transition for Planar O(n) Models with n >= 3 — FULL CLAIM
#183 Smooth anisotropic Calderón uniqueness from full boundary data — FULL CLAIM
#193 Nonvanishing conjecture for projective log canonical pairs — FULL CLAIM
#195 Parity conjecture for elliptic curves — PARTIAL
#198 Long-Range Order in the Quantum Heisenberg Ferromagnet — FULL CLAIM
#203 Bochner-Riesz conjecture — PARTIAL
#205 Local Smoothing Conjecture for Wave Equations — PARTIAL
#206 Kaplansky's Zero-Divisor Conjecture for Torsion-Free Groups — FULL CLAIM
#210 Artin's primitive root conjecture — PARTIAL
#211 Hilbert-Smith Conjecture — FULL CLAIM
#213 Falconer distance set conjecture — FULL CLAIM
#222 Virasoro Conjecture for Gromov–Witten Invariants — PARTIAL
#224 Wall's Poincare Duality Group Conjecture — FULL CLAIM
#225 K(pi,1) conjecture for Artin groups — FULL CLAIM
#234 Unconditional 2−epsilon Inapproximability of Minimum Vertex Cover — FULL CLAIM
#235 Chromatic Number of the Plane (Hadwiger--Nelson Problem) — PARTIAL
#237 Global Existence of Classical Solutions to the Relativistic Vlasov-Maxwell System — PARTIAL
#239 Universal Optimality of the Hexagonal Lattice in Dimension Two — FULL CLAIM
#246 De Giorgi Conjecture for the Allen-Cahn Equation in Dimensions 4 to 8 — FULL CLAIM
#254 Exact satisfiability threshold for random k-SAT for small k (k = 3) — PARTIAL
#256 Polynomial-Time Decidability of Semidefinite Programming Feasibility — PARTIAL
#260 RL versus L — FULL CLAIM
#261 Kadison Similarity Problem for C*-Algebras — FULL CLAIM
#267 Sidorenko Conjecture on Bipartite Homomorphism Densities — FULL CLAIM
#268 Shafarevich Holomorphic-Convexity Conjecture — FULL CLAIM
#270 Kuznetsov Rationality Conjecture for Cubic Fourfolds — FULL CLAIM
#271 All groups are good: the four-dimensional disc-embedding conjecture — FULL CLAIM
#278 Planar homogeneous Mumford–Shah local-structure conjecture — PARTIAL
#284 Nearby Lagrangian Conjecture — FULL CLAIM
#285 Cartan-Hadamard isoperimetric conjecture — FULL CLAIM
#289 Sharp Upper Bound in Yau's Conjecture on Nodal Sets of Laplace Eigenfunctions — FULL CLAIM
#290 Kaplansky's Idempotent Conjecture — FULL CLAIM
#291 Calderón uniqueness for bounded measurable real isotropic conductivities — FULL CLAIM
#292 Global Attractor Conjecture for Complex-Balanced Mass-Action Systems — FULL CLAIM
#295 Zariski Multiplicity Conjecture for Hypersurface Singularities — FULL CLAIM
#297 Amenability of Thompson's Group F — FULL CLAIM
#298 Griffiths Positivity Conjecture for Ample Vector Bundles — FULL CLAIM
#300 The Singer Conjecture on Vanishing of L2-Cohomology of Aspherical Manifolds — PARTIAL
#305 Birkhoff Conjecture (Near-Boundary Continuous Invariant Foliation) — FULL CLAIM
#306 Secret key from all entangled states — FULL CLAIM
#311 Mahler Conjecture on the Volume Product of a Convex Body — FULL CLAIM
#321 Finiteness of Finitely Presented Periodic Groups — FULL CLAIM
#328 Sinai's Positive Metric Entropy Conjecture for the Chirikov Standard Map — FULL CLAIM
#334 Unrestricted Linear-Circuit Lower Bound for the Discrete Fourier Transform — FULL CLAIM
#343 Koebe circle-domain uniformization conjecture — FULL CLAIM
#351 Kobayashi Conjecture: Hyperbolic Compact Kähler Manifolds Have Ample Canonical Bundle — FULL CLAIM
#356 Bott Conjecture: nonnegatively curved simply connected manifolds are rationally elliptic — PARTIAL
#357 Strong Hyperplane Conjecture for Isotropic Constants — FULL CLAIM
#358 CAT(0) Models for All Word-Hyperbolic Groups — FULL CLAIM
#359 Hopf Conjecture: no metric of positive sectional curvature on S^2 x S^2 — PARTIAL
#361 Alperins Weight Conjecture for Modular Representations of Finite Groups — FULL CLAIM
#364 Log-Brunn-Minkowski Inequality for Symmetric Convex Bodies — FULL CLAIM
#366 Hyperkähler SYZ (Lagrangian Fibration) Conjecture — FULL CLAIM
#368 Benjamini-Schramm conjecture p_c<p_u for non-amenable Cayley graphs — FULL CLAIM
#369 Dixmier unitarisability problem for discrete groups — FULL CLAIM
#374 Fujita Freeness Conjecture — FULL CLAIM
#375 Nagata Conjecture on Plane Curve Linear Systems — FULL CLAIM
#378 Toms–Winter: Strict Comparison Implies Z-Stability — FULL CLAIM
#379 Margulis–Platonov normal-subgroup conjecture — FULL CLAIM
#388 Shelah's Categoricity Conjecture for L_omega1,omega — PARTIAL
#392 Measure-zero singular set of stationary integral varifolds — FULL CLAIM
#401 Serres Positivity Conjecture for Intersection Multiplicities over Regular Local Rings — FULL CLAIM
#403 Rokhlin problem on multiple mixing — FULL CLAIM
#419 Lück's Determinant Conjecture for Discrete Groups — FULL CLAIM
#420 Absolute continuity of Bernoulli convolutions outside reciprocal Pisot parameters — FULL CLAIM
#421 GNRS Conjecture — PARTIAL
#424 Irrationality of Catalan's Constant — FULL CLAIM
#425 Separable Quotient Problem for Banach Spaces — FULL CLAIM
#430 Long-Time Existence of the Calabi Flow on Compact Kaehler Manifolds — FULL CLAIM
#432 Combinatorial Invariance of Kazhdan-Lusztig Polynomials — FULL CLAIM
#434 Realizable Limit Shapes in Two-Dimensional First-Passage Percolation — PARTIAL
#438 Zariski Cancellation Problem (characteristic zero, dimension ≥ 3) — FULL CLAIM
#440 Stein's Conjecture on the Hilbert Transform along Lipschitz Vector Fields — FULL CLAIM
#448 Smooth Realization of Finite-Entropy Ergodic Transformations — FULL CLAIM
#450 Deligne–Drinfeld Freeness Conjecture for grt_1 — FULL CLAIM
#453 Shub entropy conjecture — FULL CLAIM
#456 Maximal Number of Mutually Unbiased Bases in Composite Dimensions — PARTIAL
#458 LeBrun-Salamon Conjecture: positive quaternion-Kahler manifolds are symmetric spaces — FULL CLAIM
#461 Kaplansky's Direct Finiteness Conjecture — FULL CLAIM
#465 David–Semmes Riesz-transform problem in intermediate dimensions — FULL CLAIM
#467 Small Cohen-Macaulay Conjecture — FULL CLAIM
#468 Ergodicity of Irrational Triangular Billiards — FULL CLAIM
#472 CAT(0) Conjecture for All Artin Groups — FULL CLAIM
#475 Katok entropy rigidity conjecture — FULL CLAIM
#476 Polynomial-Time Solvability of Condon's Simple Stochastic Games — PARTIAL
#480 Furstenberg No-Bigeodesics (Planar FPP, Standard Minimum Moment) — FULL CLAIM
#483 Gaboriau's Fixed Price Problem for Countable Groups — FULL CLAIM
#484 Persistence Conjecture for Weakly Reversible Mass-Action Systems — FULL CLAIM
#486 Campana-Peternell Conjecture — PARTIAL
#497 Maximum Number of k-sets and Complexity of k-levels — PARTIAL