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.

Z radością witamy @jdlichtman w Morph jako naszego głównego matematyka, gdzie skróci drogę do zweryfikowanej superinteligencji.

Z radością ogłaszamy Trinity, system automatycznej formalizacji dla zweryfikowanej superinteligencji, który opracowaliśmy w @morph_labs. Użyliśmy go do automatycznej formalizacji w Lean klasycznego wyniku de Bruijna, że hipoteza abc jest prawdziwa prawie zawsze.