PrimeGrid
PrimeGrid — проект добровольных распределенных вычислений на платформе BOINC, целью которого является поиск различных простых чисел специального вида. Проект стартовал 12 июня 2005 года. По состоянию на 25 марта 2012 года в нём приняли участие более 49 000 пользователей (156 565 компьютеров) из 188 стран, в совокупности обеспечивая производительность 3,3 петафлопс[1].
Список подпроектов
В проекте производится поиск простых чисел специального вида следующих типов:
- 321-числа: простые числа вида ;
- числа Софи Жермен: такое простое , что также является простым;
- обобщенные простые числа Ферма: простые числа вида (частный случай, );
- факториальные простые числа: простые вида (последовательность A088054 в OEIS);
- праймориальные простые числа: простые числа вида (последовательности A014545 и A014545 в OEIS);
- простые числа Прота: простые числа вида , — нечетно, (последовательность A080076 в OEIS);
- простые числа Каллена: простые числа вида (последовательность A005849 в OEIS);
- простые числа Вудала: простые числа вида (последовательность A002234 в OEIS);
- обобщённые простые числа Вудалла: простые числа вида ;
- простые числа Вифериха: такие простые , что делится на (последовательность A001220 в OEIS);
- предположительно простые числа;
- простые числа-близнецы: пара простых чисел, отличающихся на 2 (последовательности A006512 и A001359 в OEIS).
Поиск простых чисел Каллена, Вудалла, Прота и обобщённых простых чисел Ферма эффективно реализуется с использованием вычислительных возможностей современных видеокарт Nvidia (технология CUDA).
Часть вычислительных мощностей проекта используется для решения открытых математических проблем:
- проблемы Ризеля: поиск такого минимального нечётного , что число является составным для всех натуральных ;
- проблемы Серпинского: поиск такого минимального нечётного натурального , что число является составным для всех натуральных (поглотив проект Seventeen or Bust);
- проблемы Серпинского — Ризеля по основанию 5: поиск такого минимального нечётного , что число является составным для всех натуральных .
В 2010 году была найдена первая известная арифметическая прогрессия из 26 простых чисел (подпроект AP26). В 2019 году была найдена первая известная арифметическая прогрессия из 27 простых чисел (подпроект AP26/AP27).
Для тестов простоты используются алгоритмы Люка-Лемера-Ризеля и решета.
История проекта
3 июля 2007 года добавлен подпроект, направленный на поиск простых чисел Каллена/Вудалла[2]. Уже 8 августа 2007 года было открыто первое новое простое число Вудалла 2013992×22013992−1, содержащее 606 279 цифр[3].
13 октября 2007 года добавлен подпроект, целью которого является решение проблемы Серпинского[4].
5 декабря 2007 года добавлен подпроект для поиска чисел вида с использованием программного обеспечения LLR[5].
29 июня 2008 года подпроект по поиску чисел вида , проверивший диапазон значений n < 5⋅106, переключён на поиск чисел вида [6].
26 декабря 2008 года добавлен подпроект, направленный на поиск праймориальных простых чисел[7].
27 декабря 2008 года добавлен подпроект AP26, целью которого является поиск арифметической прогрессии из 26 простых чисел[8].
16 августа 2009 года добавлен подпроект, направленный на поиск простых чисел Софи Жермен[9].
10 ноября 2009 года добавлен подпроект по поиску обобщённых чисел Ферма[10].
10 декабря 2009 года для подпроекта AP26 добавлен расчётный клиент с поддержкой технологии CUDA[11].
31 января 2010 года начато сотрудничество с проектом Seventeen or Bust, направленное на решение проблемы Серпинского[12].
1 декабря 2010 года анонсирован новый расчётный модуль для поиска простых чисел Прота методом решета с поддержкой технологий CUDA и OpenCL[13].
7 января 2011 года добавлен подпроект для решения проблемы Серпинского/Ризеля по основанию 5[14].
9 января 2012 года в модуле LLR реализована поддержка векторных расширений системы команд процессора AVX, что обеспечивает 20—50 % прибавку в производительности в зависимости от приложения[15].
4 февраля 2012 года реализован расчётный модуль genefer для поиска обобщённых чисел Ферма с поддержкой технологии CUDA[16].
Достижения
В результате выполняемых расчётов был открыт ряд простых чисел специального вида и арифметических прогрессий из простых чисел.
2007 год
- Числа Вудалла:
- 3752948×23752948−1 (1 129 757 цифр) — самое большое известное простое число Вудалла;
- 2367906×22367906−1 (712 818 цифр);
- 2013992×22013992−1 (606 279 цифр).
2008 год
- 321-числа:
- 3×24235414−1 (1 274 988 цифр).
- Числа Прота:
- 258317×25450519+1 (1 640 776 цифр);
- 265711×24858008+1 (1 462 412 цифры);
- 651×2476632+1 (143 484 цифры);
- 825×2373331+1 (112 387 цифр).
2009 год
- Арифметические прогрессии из 25 простых чисел :
- 12353443596260323+23793841×23#×n;
- 46176957093163301+1109121×23#×n;
- 18162964758258289+3755664×23#×n;
- 20919497549238289+3155495×23#×n;
- 2960886048458003+2346233×23#×n.
- Арифметические прогрессии из 24 простых чисел :
- 4891686128805269+19453568×23#×n;
- 4687877159107031+18203167×23#×n;
- 1948053460212667+17745794×23#×n;
- 3634080452156039+16981607×23#×n;
- 10307159737232191+14120563×23#×n;
- 13678065943093049+13223804×23#×n;
- 10317962076055027+10241601×23#×n;
- 7979661543967237+9936237×23#×n;
- 39421708111691+9740894×23#×n;
- 5531900872160491+9383796×23#×n;
- 13432401425380607+9219580×23#×n;
- 14992521666441877+8832442×23#×n;
- 167806194923077+4935146×23#×n;
- 6274259724784693+2522655×23#×n;
- 7960592659339799+2326495×23#×n;
- 6872932294461509+2042703×23#×n;
- 20187352211709911+1799216×23#×n;
- 2725131905640097+1342336×23#×n;
- 25545151920212759+1140241×23#×n;
- 13785500104035967+1004314×23#×n;
- 19471368812966089+410682×23#×n;
- 19516186145019209+313705×23#×n;
- 20909681071069667+234797×23#×n.
- 321-числа:
- 3×25082306+1 (1 529 928 цифр).
- Числа Каллена:
- 6679881×26679881+1 (2 010 852 цифры) — самое большое известное простое число Каллена;
- 6328548×26328548+1 (1 905 090 цифр).
- Числа Прота:
- 27×22218064+1 (667 706 цифр);
- 659×2617815+1 (185 984 цифры);
- 519×2567235+1 (170 758 цифр);
- 15×2483098+1 (145 429 цифр).
- Обобщённые простые числа Вудалла:
- 563528×13563528−1 (627 745 цифр).
- Предположительно простые числа:
- 24583176+2131 (1 379 674 цифры).
- Другие:
- 27×21902689−1 (572 768 цифр).
2010 год
- Арифметическая прогрессия из 26 простых чисел :
- 43142746595714191+23681770×23#×n.
- Арифметические прогрессии из 25 простых чисел :
- 18626565939034793+30821486×23#×n;
- 25300381597038677+28603610×23#×n;
- 42592855872841649+19093314×23#×n;
- 24715375237181843+19071018×23#×n;
- 46428033558097831+12893265×23#×n;
- 58555890166091939+10416756×23#×n;
- 49644063847333931+7851809×23#×n.
- 321-числа:
- 3×26090515−1 (1 833 429 цифр).
- Числа Прота:
- 90527×29162167+1 (2 758 093 цифры).
- Факториальные простые числа:
- 103040!−1 (471 794 цифры);
- 94550!−1 (429 390 цифр).
- Праймориальные простые числа:
- 843301#−1 (365 851 цифра) — самое большое известное праймориальное простое число на момент открытия;
- 392113#+1 (169 966 цифр).
- Проблема Серпинского — Ризеля по основанию 5:
- 151026×5559670−1 (391 198 цифр);
- 3938×5558032−1 (390 052 цифры);
- 105782×5551766−1 (385 673 цифры);
- 183916×5519597−1 (363 188 цифр);
- 53542×5515155−1 (360 083 цифры).
- Проблема Ризеля: найдено простое число 191249×23417696−1 (1 028 835 цифр), основание 191249 исключено из рассмотрения.
2011 год
- Простые-близнецы:
- 3756801695685×2666669±1 (200 700 цифр) — самая большая известная пара простых-близнецов.
- Обобщённые простые числа Ферма:
- 75898524288+1 (2 558 647 цифр);
- 361658262144+1 (1 457 075 цифр);
- 145310262144+1 (1 353 265 цифр);
- 40734262144+1 (1 208 473 цифр).
- Числа Прота:
- 9×22543551+1 (765 687 цифр);
- 25×22141884+1 (644 773 цифры);
- 4479×2226618+1 (68 223 цифры);
- 3771×2221676+1 (66 736 цифр);
- 7333×2138560+1 (41 716 цифр).
- Факториальные простые числа:
- 110059!-1 (507 082 цифр).
- 321-числа:
- 3×27033641+1 (2 117 338 цифр).
- Обобщённые числа Вудалла:
- 404882×43404882-1 (661 368 цифр).
- Проблема Ризеля: в результате нахождения простых чисел
- 353159×24331116-1 (1 303 802 цифр),
- 141941×24299438-1 (1 294 265 цифр),
- 123547×23804809-1 (1 145 367 цифр),
- 415267×23771929-1 (1 135 470 цифр),
- 65531×23629342-1 (1 092 546 цифр),
- 428639×23506452-1 (1 055 553 цифры)
исключены из рассмотрения основания 428639, 415267, 353159, 141941, 123547, 65531. Непроверенными на тот момент оставались ещё 57 оснований.
2012 год
- Числа Прота:
- Обобщённые простые числа Ферма:
- Обобщённые простые числа Каллена:
- 427194×113427194+1 (877 069 цифр) — самое большое известное обобщённое простое число Каллена[29].
- Праймориальные простые числа:
- 1098133#−1 (476 311 цифр) — самое большое праймориальное простое число среди известных[30].
- Проблема Ризеля: в результате нахождения простых чисел
исключены из рассмотрения основания 162941 и 252191. Непроверенными остаются ещё 55 оснований.
- Проблема Серпинского: в результате нахождения простых чисел
- 147559×22562218+1 (771 310 цифр),
- 123287×22538167+1 (764 070 цифр)
исключены из рассмотрения основания 123287 и 147559. Непроверенными остаются ещё 15 оснований[33].
2013 год
- Числа Прота:
- Проблема Ризеля: в результате нахождения простых чисел
исключены из рассмотрения основания 40597, 304207 и 398023. Непроверенными остаются ещё 52 основания.
2014 год
- Проблема Серпинского — Ризеля по основанию 5:
- 325918×51803339−1 (1 260 486 цифр)[45];
- 138172×51714207−1 (1 198 185 цифр)[46];
- 22478×51675150−1 (1 170 884 цифры)[47];
- 326834×51634978−1 (1 142 807 цифр)[48];
- 207394×51612573−1 (1 127 146 цифр)[49];
- 104944×51610735−1 (1 125 861 цифра)[50];
- 330286×51584399−1 (1 107 453 цифры)[51];
- 22934×51536762−1 (1 074 155 цифр)[52];
- 178658×51525224−1 (1 066 092 цифры)[53];
- 59912×51500861+1 (1 049 062 цифр)[54].
- 321-числа:
- Числа Прота:
- Проблема Ризеля: в результате нахождения простых чисел
исключены из рассмотрения основания 402539 и 502573. Непроверенными остаются ещё 50 оснований.
2015 год
- Числа Прота:
- 27×25213635+1 (1 569 463 цифры)[66];
- 191×23548117+1 (1 068 092 цифры)[67];
- 141×23529287+1 (1 062 424 цифры)[68];
- 249×23486411+1 (1 049 517 цифр)[69];
- 195×23486379+1 (1 049 507 цифр)[70];
- 197×23477399+1 (1 046 804 цифры)[71];
- 113×23437145+1 (1 034 686 цифр)[72];
- 159×23425766+1 (1 031 261 цифра)[73];
- 177×23411847+1 (1 027 071 цифра)[74];
- 267×22662090+1 (801 372 цифры)[75].
- 321-числа:
- Проблема Серпинского — Ризеля по основанию 5:
- Обобщённые числа Ферма:
- 42654182131072+1 (1 000 075 цифр)[80].
2016 год
- Числа Прота:
- 189×23596375+1 (1 082 620 цифр) [81]
- 275×23585539+1 (1 079 358 цифр) [82]
- 309×23577339+1 (1 076 889 цифр) [83]
- 251×23574535+1 (1 076 045 цифр) [84].
- 381×23563676+1 (1 072 776 цифр) [85]
- 351×23545752+1 (1 067 381 цифра) [86]
- 345×23532957+1 (1 063 529 цифр) [87]
- 329×23518451+1 (1 059 162 цифры) [88]
- 495×23484656+1 (1 048 989 цифр) [89]
- 323×23482789+1 (1 048 427 цифр) [90]
- 491×23473837+1 (1 045 732 цифры) [91]
- 453×23461688+1 (1 042 075 цифр) [92]
- 479×23411975+1 (1 027 110 цифр) [93];
- 373×23404702+1 (1 024 921 цифра) [94];
- 303×23391977+1 (1 021 090 цифр) [95];
- 453×23387048+1 (1 019 606 цифр) [96];
- 369×23365614+1 (1 013 154 цифры) [97];
- 393×23349525+1 (1 008 311 цифра) [98];
- 403×23334410+1 (1 003 716 цифр) [99];
- 387×23322763+1 (1 000 254 цифры) [100].
- Проблема Серпинского — Ризеля по основанию 5:
- Обобщённые простые числа Ферма:
- Простые Софи Жермен:
- 2618163402417×21290000−1 (388 342 цифры) [114] — самое большое известное простое Софи Жермен.
Последующие годы
С каждым годом сообщество PrimeGrid продолжает набирать все большую и большую вычислительную мощь. На текущий момент новые результаты - простые числа специального вида - появляется каждые несколько дней. Анонсирование этих достижений в реальном времени осуществляется в Дискорд-канале сообщества[115].
Примечания
- Boinc all Project Stats Архивировано 2 марта 2012 года.
- New subproject added
- Biggest ever Woodall prime discovered!
- Prime Sierpinski Project sieve available
- New subproject available
- 3*2^n-1 switched to +1
- Primorial Prime Search
- AP26 Search
- Sophie Germain Prime Search
- Generalized Fermat Prime Search
- AP26 CUDA Application Released
- Seventeen or Bust
- Official release of tpsieve for PPS (Sieve)
- Sierpinski/Riesel Base 5 Project
- AVX build of llr
- Generalized Fermat Prime Search
- PPS Mega Prime!
- PPS Mega Prime!
- Mega Prime Found
- Prime Fermat Divisor Found
- Prime Fermat Divisor Found
- Prime Fermat Divisor Found
- Prime Fermat Divisor Found
- World Record GFN Prime!
- World Record GFN Prime!
- Generalized Fermat Mega Prime
- Generalized Fermat Mega Prime
- Generalized Fermat Mega Prime
- World Record Generalized Cullen Prime
- World Record Primorial prime
- World Record TRP Prime!
- Prime found for the Riesel Problem
- March was a great month for the Extended Sierpinski Problem project
- World Record Sophie Germain prime found!
- 27 Mega Prime
- PPS Mega Prime!
- Fermat Divisor!
- Fermat Divisor!
- New TRP Mega Prime Found!
- Another Record TRP Prime!!
- World Record TRP Prime!
- Factorial Prime Found!
- New SR5 Mega Prime Found!
- First base 5 mega prime found!
- SR5 Mega Prime!
- Another New SR5 Prime Found!
- New SR5 Mega Prime Found!
- Yet another SR5 prime discovered!
- http://www.primegrid.com/download/SR5-207394.pdf
- New SR5 Mega Prime Found!!
- World record SR5 prime discovered!
- Deja Vu: World Record SR5 Discovery
- Another Record SR5 Prime!
- New SR5 Mega Prime Found!
- 321 Mega Prime!
- World Record 321 Mega Prime Found!
- New MEGA prime found!
- And Another New MEGA prime found!
- New MEGA prime found!
- New MEGA prime found!
- MEGA Prime Found
- Another MEGA Prime Found
- PPS MEGA Prime Found!
- Another TRP Prime!
- TRP Mega Prime!
- 27 Mega Prime!
- PPS Mega Prime!
- PPS Mega Prime - September Edition!
- PPS Mega Prime!
- Another PPS Mega Prime!
- PPS Mega Prime!
- Another PPS Mega Prime!
- PPS MEGA Prime of the Month!
- PPS MEGA Prime Found!
- Fermat Divisor!
- 321 Mega Prime! (2015 Edition, part 2)
- 321 Mega Prime! (2015 Edition)
- SR5 Mega Prime!
- SR5 Mega Prime!
- GFN-131072 Mega Prime!
- Another PPS Mega Prime!
- PPS Mega Prime!
- And the PPS Mega Primes Keep on Rolling!
- PPS Mega Prime!
- Another PPS Mega Prime!
- Another PPS Mega Prime!
- Another PPS Mega Prime!
- PPS Mega Prime!
- Another PPS Mega Prime!
- Another PPS Mega Prime!
- Yes, Its Another PPS Mega Prime!
- Another PPS Mega Prime!
- Yet Another PPS Mega Prime!
- Another PPS Mega Prime!
- Another PPS Mega Prime!
- Oh My! Another PPS Mega Prime!
- PPS Mega Prime!
- PPS Mega Prime!
- You Guessed It...Another PPS Mega Prime!
- PPS Mega Prime!
- SR5 Mega Prime!
- SR5 Mega Prime - PrimeGrid's 100th MEGA Prime Find!!!
- SR5 Mega Prime - March 2016 Edition Version 3.0
- SR5 Mega Prime - March 2016 Edition Version 2.0
- SR5 Mega Prime - March 2016 Edition
- SR5 Mega Prime - January 2016 Edition
- SR5 Mega Prime - November 2015 Edition
- GFN-262144 Mega Prime!
- GFN-262144 Mega Prime May Edition!
- GFN-262144 Mega Prime March Edition!
- GFN-262144 Mega Prime!
- Another GFN-131072 Mega Prime!
- GFN-131072 Mega Prime!
- World Record Sophie Germain Prime!
- PrimeGrid Discord chat server (almost daily discovery announcements)