AIX Global claims quantum solution to six Millennium Problems

AIX Global published a paper claiming to solve all six remaining Clay Millennium Problems using IBM Heron quantum hardware and Lean 4 formal verification. The authors report 27 Lean theorems, 10 hours 24 minutes of QPU time and about $59,900 in hardware cost; the claims require independent scrutiny.

• Claims cover Riemann, Yang–Mills, Navier–Stokes, Hodge, BSD and P vs NP
• Pipeline uses IBM Heron, fixed-point certificates and Lean 4 verification
• Reported 27 Lean theorems, 10h 24m QPU time and about $59,900 in hardware
• Authors describe a shared workflow: operator, spectral computation, certificate, audit