OpenAI: KI-Modell „Astra“ löst zehn jahrzehntealte Mathe-Probleme – mit maschinell geprüften Beweisen
OpenAIs noch unveröffentlichtes Modell „Astra“ löst zehn seit über 10 Jahren offene Mathe-/Informatik-Probleme – je mit formalem Lean-Beweis auf GitHub.




