OpenAI Astra: KI-Modell löst zehn offene Mathematik-Probleme
OpenAI Astra löst zehn seit Jahren offene Mathematik-Probleme – mit auf GitHub prüfbaren Lean-Beweisen. Was hinter dem neuen KI-Modell steckt.
Schlagwort
OpenAI Astra löst zehn seit Jahren offene Mathematik-Probleme – mit auf GitHub prüfbaren Lean-Beweisen. Was hinter dem neuen KI-Modell steckt.