OpenAI hat auf einen Schlag mehr als 700 mathematische Manuskripte ins Netz gestellt. Das wohl brisanteste: Die KI ist einem Beweis der berühmten Riemann-Vermutung einen großen Schritt näher gekommen.