Z radością dzielę się informacją, że zakładam nową firmę poświęconą tworzeniu zweryfikowanej superinteligencji poprzez autoformalizację. Opierając się na niesamowitej infrastrukturze RL, którą opracowaliśmy w @morph_labs, @mathematics_inc już osiągnęło przełomowy wynik, kończąc formalizację silnego twierdzenia o liczbach pierwszych za pomocą swojego nowego agenta autoformalizacji, Gaussa.