Niewydany model Anthropic posunął badania nad hipotezą Riemanna

31 milionów tokenów na jeden dowód

Podczas testu niewydanego modelu od Anthropic, deweloper bez głębokiego wykształcenia matematycznego polecił modelowi podjąć próbę udowodnienia hipotezy Riemanna (jednego z najstarszych i najbardziej skomplikowanych problemów w matematyce, za którego rozwiązanie wyznaczono nagrodę w wysokości 1 000 000 USD). Model pracował przez półtora dnia, koordynując sieć 60 subagentów.

W tym czasie przetestował 650 różnych koncepcji matematycznych. Spośród 60 agentów, dwóch odpowiadało za rozwój głównych myśli, 13 dostarczało im materiały pomocnicze, 30 bezskutecznie próbowało znaleźć nowe ścieżki, 13 działało jako weryfikatorzy, a dwaj ostatni napisali sam artykuł naukowy. Wynik został następnie sformalizowany w systemie Lean i potwierdzony przez wewnętrznych matematyków Anthropic.

Od losowych prób do zorganizowanej sieci

Badania naukowe przechodzą z fazy, w której model działał jako sprytna wyszukiwarka, do fazy skoordynowanego laboratorium. Anthropic nie użył jednego dużego modelu, ale pozwolił mu wygenerować i zarządzać całą strukturą wyspecjalizowanych pracowników.

Dla instytucji badawczych i firm zmienia to perspektywę na to, ile zasobów potrzeba na projekty naukowe. Zamiast kosztownych lat badań i setek godzin pracy ludzkiej, wystarczy zapłacić rachunek za 31 000 000 tokenów wyjściowych i uruchomić proces na weekend.

Granica między odkryciem a weryfikacją

Choć model przesunął dolną granicę, dla której hipoteza Riemanna jest prawdziwa, nadal nie rozwiązał jej w sposób ogólny. Brutalna siła agentów napotyka granicę w momencie, gdy potrzebny jest zupełnie nowy, nieopisany wcześniej aparat teoretyczny, a nie tylko łączenie istniejących metod.

Rzeczywista integracja z Lean pokaże prawdziwą siłę

Decydującym czynnikiem będzie to, jak szersza społeczność matematyczna ustosunkuje się do tych dowodów. Jeśli czasopisma akademickie zostaną zalane artykułami napisanymi przez agentów i sformalizowanymi przez Lean, pojawi się debata na temat tego, co właściwie oznacza autorstwo odkrycia naukowego.

Werdykt Lilith

Nauka przestaje być genialnym przebłyskiem w umyśle jednego matematyka, a staje się rachunkiem za chmurę. Kto ma większy budżet na tokeny, ten będzie przesuwał granice hipotez.