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
Aritmetika bez čísel: co jde vyčíst z aktivací LLMAlvaro Videla popisuje projekt Rune, který zkoumá, zda lze operace a operandy pro výpočet získat z vnitřních stavů modelu.7. června 2026AImatematikainterpretabilita