Aktualności3 sierpnia 2026 OpenAI: model Astra rozwiązał 10 otwartych problemów matematyki
OpenAI ogłosiło, że jego wewnętrzny model rozwiązał dziesięć od lat otwartych problemów matematyki i teoretycznej informatyki — poniżej 2000 dolarów na problem, z dowodami sformalizowanymi w Lean 4.
