Eine OpenAI-KI hat die Mathematik einen Schritt näher an die Lösung eines berühmten Erdős-Problems gebracht. Seit 80 Jahren hingen die Forscher hier fest.
KI beweist: Mathematiker lagen falsch
Eine OpenAI-KI hat die Mathematik einen Schritt näher an die Lösung eines berühmten Erdős-Problems gebracht. Seit 80 Jahren hingen die Forscher hier fest.