utworzone przez Redakcja | paź 7, 2026
OpenAI opublikowało 722 manuskrypty matematyczne obejmujące 372 rodziny wyników, wyprodukowane przez nieopublikowany model frontier. Część posiada formalne dowody w języku Lean, a średni czas obliczeń na wynik wynosił około trzech godzin myślenia ChatGPT...
