CMU-Streit um KI-Mathematik: Math Inc. meldet Viazovska-Beweis in zwei Wochen verifiziert, Doktorand widerspricht 8. September 2026