OpenAI lässt KI-Beweise in Mathematik, Informatik und Physik extern prüfen
🤖 KI-generierter Inhalt — Titel und Zusammenfassung wurden automatisch von künstlicher Intelligenz erstellt, ohne menschliche redaktionelle Prüfung.
OpenAI berichtet, interne KI-Modelle hätten unter anderem eine zentrale Annahme der Informatik widerlegt (Exponential Time Hypothesis, SAT) und einen Teil eines Millennium-Preisproblems bewiesen; je Problem sind eine Million Dollar ausgesetzt. Externe Experten, darunter ein Nobelpreisträger, prüfen die Manuskripte; Mathe- und Informatikbeweise wurden in Lean übersetzt. Hält der Informatik-Beweis, verlieren hunderte Forschungsarbeiten ihre Grundlage.
Weiter in der App — abstimmen & mitreden ➔Quelle: The Decoder (AI) · über ahirlevel.hu