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 cont…]

[🄳🄾🄾🄼🄿🤖🅂🅃🄸🄽🄶