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.

Chúng tôi rất vui mừng chào đón @jdlichtman gia nhập Morph với vai trò là nhà toán học chính, nơi ông sẽ rút ngắn con đường đến với siêu trí tuệ đã được xác minh.

Chúng tôi rất vui mừng thông báo về Trinity, một hệ thống tự động hóa cho trí tuệ siêu việt đã được chúng tôi phát triển tại @morph_labs. Chúng tôi đã sử dụng nó để tự động hình thức hóa trong Lean một kết quả cổ điển của de Bruijn rằng giả thuyết abc là đúng gần như luôn luôn.