Wichtige OpenAI-Publikation: "Können LLMs einfache mathematische Vermutungen lösen? Forscher haben einen "Godel-Test" entwickelt, um zu sehen, ob GPT-5 neue, einfache Ergebnisse mit minimalem Kontext beweisen kann zu 5 neuen Optimierungsvermutungen: • fast korrekt bei 3/5 • p2: fand eine alternative, gültige Lösung • p4: gescheitert (musste zwei Arbeiten kombinieren) • p5: gescheitert (konnte den Beweis nicht abschließen)