GPT-5 Pro entdeckte ein Gegenbeispiel zu einem offenen Problem aus 2014 in der theoretischen Informatik namens Non-Interactive Correlation Distillation with Erasures (NICD). Ein Screenshot seiner Lösung ist öffentlich zugänglich.
GPT-5 Pro findet Gegenbeispiel zum NICD-Problem mit Löschungen
•