Rất hào hứng khi chia sẻ rằng tôi đang bắt đầu một công ty mới chuyên về việc tạo ra siêu trí tuệ được xác thực thông qua tự hình thức hóa. Dựa trên cơ sở hạ tầng RL tuyệt vời mà chúng tôi đã phát triển tại @morph_labs, @mathematics_inc đã đạt được một kết quả đột phá bằng cách hoàn thành việc hình thức hóa định lý số nguyên tố mạnh với tác nhân tự hình thức hóa mới của nó, Gauss.