OpenAI veröffentlicht Beweise für 372 bedeutende mathematische Probleme, einschließlich der Unique-Games-Vermutung
OpenAI hat Lösungen für 372 langjährige mathematische Probleme veröffentlicht, darunter die Unique-Games-Vermutung. Diese wurden von einem internen Modell generiert und erfordern menschliche Verifizierung.
