OpenAI tvrdí, že interní Astra našla řešení deseti dlouho otevřených matematických problémůOpenAI zveřejnilo Lean 4 formalizace deseti výsledků, které podle firmy vznikly pomocí interního systému Astra. Simon Willison upozorňuje na chybějící informace o neúspěšných pokusech.2. srpna 2026matematikateoretická informatikaAI