Witamy @mathematics_inc - nową firmę poświęconą autoformalizacji i tworzeniu zweryfikowanej superinteligencji inkubowanej w Morph przez ostatnie kilka miesięcy. Unikalnie umożliwione przez infrastrukturę obliczeniową środowiska Infinibranch Morph, pierwszym produktem Math, Inc. jest Gauss, agent autoformalizacji, który osiąga bezprecedensową skalowalność obliczeniową w czasie testów w tej dziedzinie, z tysiącami równoległych agentów, z których każdy pracuje przez maksymalnie 12 godzin, aby stworzyć formalizację Twierdzenia o Liczbach Pierwszych Silnych o objętości 25 000 LOC. To kompresuje to, co wcześniej zajmowało ekspertom lata, do zaledwie kilku tygodni. To jest przedsmak przyszłości pracy wiedzy --- autonomicznej, planetarnej skali, zaprojektowanej, aby wspierać ludzi i ich wspaniałe osiągnięcia --- która będzie oparta na Morph Cloud.