Hôm nay chúng tôi thông báo về Gauss, đại lý tự động hóa đầu tiên của chúng tôi vừa hoàn thành dự án Định lý Số nguyên tố mạnh mẽ của Terry Tao & Alex Kontorovich trong 3 tuần—một nỗ lực mà các chuyên gia con người đã mất hơn 18 tháng để có được những tiến bộ một phần.