Forscher der Freien Universität Brüssel berichten, dass OpenAIs ChatGPT-5.2 eine seit langem bestehende mathematische Vermutung durch autonome Beweiserzeugung gelöst hat – ein Durchbruch, der als „Vibe-Proving“ bezeichnet wird. Dies belegt die eigenständige Denkfähigkeit der KI in der theoretischen Mathematik, was die Rolle des Menschen potenziell in Richtung Verifizierung verlagern und die Forschung beschleunigen könnte.