KI-gestützte Lösung des Erdős-Problems #1196 (heise.de)

• Lösung einer seit 60 Jahren ungelösten mathematischen Vermutung.
• Erfolgreicher Einsatz von GPT-5.4 Pro zur Generierung neuer Beweis-Algorithmen.
• Paradigmenwechsel in der Rolle von KI bei der grundlagenwissenschaftlichen Beweisführung.

"Ein 23-jähriger Anwender hat mittels GPT-5.4 Pro eine 60 Jahre alte mathematische Vermutung (Erdős #1196) gelöst. Die Fachwelt bewertet dies als Meilenstein für KI-Assistenz in der Grundlagenforschung, da die KI komplexe logische Pfade generierte, die über bisherige automatisierte Beweisverfahren hinausgehen."