GPT‑5 testet neue Mathematik‑Hypothesen – Fortschritt, aber Grenzen
Ein kürzlich auf arXiv veröffentlichtes Papier stellt den „Godel‑Test“ vor, ein Verfahren, mit dem die Fähigkeit großer Sprachmodelle bewertet wird, einfache, bislang ungelöste mathematische Vermutungen zu beweisen. Im Fokus steht dabei GPT‑5, das auf fünf Konjekturen aus der kombinatorischen Optimierung geprüft wird.
