Bisher bedeutendster mathematischer Beweis mittels Sprach-KI verblüfft Fachleute

Ein Sprachmodell von OpenAI löste im Alleingang das seit 1946 offene "Unit Distance Problem". Das neue Ergebnis wird als Meilenstein bewertet