Wie man Pralinen am platzsparendsten stapelt, hat die mathematische Community nach vielen Jahren herausgefunden. Aber was, wenn die Pralinen nicht 3-, sondern 24-dimensional sind? 🎙️
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.
Anmelden
