В этом пункте объясняется, почему тема простых чисел-гигантов связана и с классической математикой, и с современными вычислениями. Здесь формулируются проблема проверки огромных чисел, актуальность исследования и его цель; также обозначаются задачи, методы работы и границы практической части, чтобы читателю было понятно, какие вопросы будут рассмотрены.

Раздел вводит определения простого и составного числа, поясняет роль делителей и разбирает примеры, доступные для ручной проверки. Отдельно рассматривается доказанная Евклидом бесконечность простых чисел, чтобы отличить бесконечность множества от поиска конкретного рекордсмена и правильно понимать выражение «самое большое известное простое число».

В этом пункте прослеживается развитие поиска простых чисел: от математических рассуждений и ручных вычислений до программных проверок и участия распределённых вычислительных проектов. Исторические примеры помогают показать, почему рекорды меняются со временем, какие данные обычно указывают при сообщении о находке и чем рекорд известного числа отличается от существования наибольшего простого числа.

Раздел знакомит с числами вида 2^p − 1 и объясняет, почему они удобны для поиска крупных простых чисел. На примерах показывается, что простой показатель p необходим для простоты числа Мерсенна, но не является достаточным условием; случай 2^11 − 1 = 2047 = 23 × 89 помогает увидеть это на конкретном вычислении.

Здесь рассматриваются различия между перебором делителей и специализированными тестами для чисел Мерсенна. Основное внимание уделяется принципу теста Люка—Лемера: последовательному вычислению остатков по модулю проверяемого числа. Раздел нужен, чтобы объяснить, каким образом компьютер получает проверяемый результат, а не просто выдаёт утверждение о простоте.

В пункте описывается работа проекта GIMPS и принцип распределения вычислительных заданий между компьютерами участников. Приводится подтверждённый пример числа 2^136279841 − 1, о находке которого сообщили в октябре 2024 года, и поясняется, почему точная дата важна: рекорд отражает состояние поиска на определённый момент, а не окончательный предел.

Практическая часть предлагает выбрать несколько простых показателей, вычислить соответствующие числа 2^p − 1 и проверить их делимость или разложение на множители. Результаты оформляются в таблицу с указанием показателя, значения числа и способа проверки. Такой пример позволяет увидеть, что одни кандидаты оказываются простыми, а другие — составными, и связать вычисления с теорией.

В этом разделе сравниваются результаты практической проверки и объясняется, почему методы, подходящие для небольших чисел, не масштабируются до чисел с миллионами цифр. Обсуждаются вычислительные затраты, необходимость повторной проверки и значение надёжных источников. Это помогает оценить возможности проекта и не делать вывод, будто найденное число является самым большим простым числом вообще.

В заключении кратко соотносятся поставленные задачи с полученными результатами: что удалось выяснить о простых числах, числах Мерсенна и тесте Люка—Лемера. Отдельно формулируется значение практического примера и указывается, какие вопросы требуют специализированных вычислений. Заключение подводит итог исследованию, не повторяя целиком теоретические разделы и таблицы.

В список включаются учебные материалы по теории чисел, справочные статьи о числах Мерсенна и тесте Люка—Лемера, а также официальные публикации проекта GIMPS о рекордной находке 2024 года. Для интернет-источников следует указать название страницы, организацию или автора, адрес и дату обращения; это позволит проверить факты, даты и числовые значения.