Code für hochdimensionale Kugeln: Wenn KI der Mathematik den Takt vorgibt Spektrum der Wissenschaft RSS-Feed Von:Manon Bischoff 12. März 2026 um 12:00 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. © Angelica Zander / Getty Images / E+
Anmelden
