Chào mừng @mathematics_inc - một công ty mới chuyên về tự động hình thức hóa và tạo ra siêu trí tuệ được xác thực, đã được ươm mầm tại Morph trong vài tháng qua. Được hỗ trợ độc đáo bởi hạ tầng tính toán môi trường gốc Infinibranch của Morph, sản phẩm đầu tiên của Math, Inc. là Gauss, một tác nhân tự động hình thức hóa đạt được khả năng mở rộng tính toán chưa từng có trong thời gian kiểm tra cho lĩnh vực này, với hàng ngàn tác nhân đồng thời mỗi người làm việc lên đến 12 giờ một lần để tạo ra một hình thức hóa 25,000 LOC của Định lý Số nguyên tố mạnh. Điều này nén lại những gì trước đây mất nhiều năm của các chuyên gia thành chỉ vài tuần. Đây là một cái nhìn thoáng qua về tương lai của công việc tri thức --- tự động, quy mô hành tinh, được thiết kế để trao quyền cho con người và những thành tựu vĩ đại của họ --- sẽ được xây dựng trên Morph Cloud.