Nieopublikowany model Anthropic zrobił postępy w hipotezie Riemanna

👁 138 przeczytań

Anthropic ogłosił w poniedziałek, że jego jeszcze nieopublikowany model AI poczynił znaczący postęp w hipotezie Riemanna - problemie nierozwiązanym od ponad 150 lat, za którego dowód Instytut Claya oferuje milion dolarów. Model istotnie podwyższył dolną granicę rozwiązań, dla których hipoteza jest prawdziwa.

Zadanie zostało zlecone przez pracownika Anthropic bez głębokiego przygotowania matematycznego, który poprosił model, żeby „naprawdę się postarał” o dowód, po czym pozostawił go samemu sobie na półtorej doby. W tym czasie model przetestował 650 różnych pomysłów, koordynując pracę 60 sub-agentów i generując łącznie 31 milionów tokenów. Spośród tych agentów dwóch opracowało kluczowe koncepcje matematyczne, 13 im asystowało, 30 nie zdołało wnieść nowych idei, 13 pełniło rolę walidatorów, a dwóch ostatnich pomogło napisać wstępną pracę.

Wyniki zweryfikowali wewnętrzni matematycy Anthropic i sformalizowali je przy pomocy open-source’owego asystenta dowodów Lean. To kolejny matematyczny przełom AI - w tym roku rozwiązano kilka problemów Erdősa, a OpenAI opublikowało dziesięć wyników udowodnionych przez swój model „Astra”.

Środowisko matematyczne jest podzielone. Laureata Medalu Fieldsa Timothy Gowers skomentował na blogu, że świat bez autorstwa teorematów może nie być bardziej problematyczny niż gwiazdy bez imion astronomów. Inni matematycy w czerwcowej deklaracji wyrazili obawy, że AI zagraża fundamentalnej zasadzie atrybucji odkryć konkretnym autorom.

// czytaj dalejRząd USA nałożył kontrolę eksportową na model Anthropic. Donos złożył szef AmazonuNewsyNajpotężniejszy model Anthropic miał być zbyt groźny dla ludzi. Mógł trafić do ChinNewsyAnthropic wpadł we własne sidła. Gdy straszysz, że twój model jest groźny, ktoś w końcu ci uwierzyNewsy