NEUOpenAI löst zehn mathematische Probleme mit Astra-Modell1. August 20261. August 2026AI Models, OpenAIOpenAI demonstriert mit Astra Lösungen für langjährig ungelöste mathematische Probleme und veröffentlicht Lean-4-Formalisierungen sowie LLM-generierte Rekonstruktionen der Beweise. Share on:
