AI Research · Neuigkeiten
OpenAI verkündet drei KI-Ergebnisse in der Wissenschaft: Nun prüfen Forschende
Am 26. Oktober verkündete OpenAI drei Ergebnisse eines internen Modells in Mathematik, Informatik und Physik. Wir beleuchten, welche Materialien bereits zugänglich sind, was genau in Lean formalisiert wurde und wie die unabhängige Prüfung organisiert ist.
0
↗