Great Internet Mersenne Prime Search

Great Internet Mersenne Prime Search (GIMPS) (tạm dịch: Tìm kiếm số nguyên tố Mersenne khổng lồ trên Internet) là dự án hợp tác của các tình nguyện viên sử dụng phần mềm miễn phí có sẵn để tìm kiếm các số nguyên tố Mersenne.

GIMPS được George Woltman thành lập năm 1996, ông cũng là tác giả tạo nên ứng dụng Prime95 trên máy client và bản port MPrime trên Linux. Scott Kurowski đã viết sản phẩm backend PrimeNet cho máy chủ để trình diễn phần mềm máy tính phân tán của công ty Entropia do ông thành lập năm 1997. GIMPS được đăng ký dưới cái tên Mersenne Research, Inc. với Kurowski là Phó chủ tịch điều hành và giám đốc hội đồng quản trị. GIMPS được cho là một trong những dự án điện toán phân tán quy mô lớn đầu tiên qua Internet dành cho mục đích nghiên cứu.

, dự án đã tìm ra cả thảy 17 số nguyên tố Mersenne, trong đó có 15 số nguyên tố lớn nhất đã biết tại thời điểm phát hiện. , số nguyên tố lớn nhất  là 282.589.933 − 1 (hay viết dưới dạng M82.589.933) được Patrick Laroche tìm ra ngày 7 tháng 12 năm 2018. Ngày 4 tháng 12 năm 2020, dự án đã đi qua chặng đường đáng nhớ khi tất các số dưới 100 triệu đều đã được kiểm tra ít nhất một lần.

Dự án chủ yếu dựa vào Kiểm tra tính nguyên tố Lucas-Lehmer vì đó là thuật toán chuyên kiểm tra số nguyên tố Mersenne và đặc biệt hiệu quả trên kiến trúc máy tính nhị phân. Ngoài ra còn có giai đoạn sàng lọc chia thử để loại bỏ nhanh các thừa số nhỏ. Thuật toán p - 1 của Pollard cũng được sử dụng để tìm kiếm thừa số nguyên tố smooth (mịn). Năm 2017, GIMPS chọn Kiểm tra tính nguyên tố Fermat làm lựa chọn thay thế. Tháng 9 năm 2020, GIMPS bắt đầu sử dụng các chứng minh PRP, cùng với kiểm tra lỗi đáng tin cậy, do Robert Gerbicz sáng tạo ra, dùng để tạo ra kết quả đáng tin mà không cần kiểm tra lại lần hai.

Xem thêm 
 Cơ sở hạ tầng mở Berkeley cho máy tính mạng

Tham khảo

Liên kết ngoài 

 Trang chủ GIMPS
 Trực quan hóa GIMPS
 Diễn đàn GIMPS

Xử lý thông tin xã hội
Khởi đầu năm 1996 ở Hoa Kỳ