The Riemann Hypothesis: Can Superintelligence Crack this Ultimate Mathematical Challenge?
Introduction In July 2025, xAI introduced Grok 4, heralded as the “world’s smartest AI,” capable of solving PhD-level mathematical problems, such as u_t = Δu on a bounded domain Ω ⊂ ℝⁿ, with Dirichlet boundary conditions: u(x, t) = 0 for x ∈ ∂Ω, t > 0. Suppose u(x, t) is a classical solution with initial condition: u(x, 0) = u₀(x), where u₀ ∈ …