OpenAI udostępniło 722 manuskrypty matematyczne obejmujące 372 rodziny powiązanych wyników, wyprodukowane przez nieopublikowany model frontier. Średni czas obliczeń na jeden wynik wynosił około trzech godzin pracy ChatGPT Pro.
OpenAI właśnie otworzyło drzwi do czegoś, co jeszcze niedawno brzmiało jak science fiction: 722 matematyczne manuskrypty, wyprodukowane nie przez ludzi w swetrach przy tablicy, lecz przez model AI pracujący średnio trzy godziny nad każdym wynikiem. To tak, jakby nagle otrzymać bibliotekę odkryć z równoległego uniwersytetu, gdzie doktoranci nie śpią, nie jedzą i nigdy nie mają kryzysu motywacyjnego.
Zanim jednak zaczniemy świętować narodziny cyfrowego Einsteina, warto zapytać o rzecz zasadniczą: czy te 372 rodziny wyników to przełomy, które zmienią matematykę, czy starannie wyglądające konstrukcje pozbawione prawdziwej głębi, których weryfikacja spadnie na barki i tak już przeciążonych ludzkich badaczy?
To streszczenie zostało przygotowane przy pomocy narzędzi AI na podstawie źródła. Pełną treść znajdziesz w oryginalnym artykule



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