Ein OpenAI-Modell hat eine Mathematik-Vermutung von Paul Erdős aus dem Jahr 1946 widerlegt. Komplett autonom. Ohne menschliche Hilfe.