Code für hochdimensionale Kugeln: Wenn KI der Mathematik den Takt vorgibt

Ein Start-up überrascht die Fachwelt: Eine KI hat einen modernen Beweis in eine Programmiersprache überführt, um ihn zu verifizieren. Doch nicht alle brechen in Jubel aus.