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 Pro.
OpenAI właśnie wypuściło na świat 722 matematyczne manuskrypty, a to brzmi jak coś, co jeszcze dekadę temu uznalibyśmy za science fiction: nieopublikowany model AI produkuje setki dowodów matematycznych, część z nich sformalizowanych w języku Lean, poświęcając średnio trzy godziny "myślenia" na każdy wynik. Jakby ktoś zamknął nieśmiertelnego doktoranta w piwnicy i kazał mu bez przerwy rozwiązywać zadania.
Zanim jednak zaczniemy świętować narodziny cyfrowego Gaussa, warto zadać niewygodne pytanie: skoro model pozostaje nieopublikowany i nie wiadomo, jak dobierano zadania, to kto i jak zweryfikuje, czy te 372 rodziny wyników to prawdziwy przełom, czy starannie dobrana parada przypadków, w których AI wypadała najlepiej?
To streszczenie zostało przygotowane przy pomocy narzędzi AI na podstawie źródła. Pełną treść znajdziesz w
Co o tym myślisz?
Zaloguj się, aby dołączyć do dyskusji.
Zaloguj się do dzis.ai
Komentuj, zachowaj swoją passę, dołącz do dyskusji.
G Kontynuuj z Google