В начале XIX века Карл Фридрих Гаусс поставил перед математиками задачу, которая спустя более двух веков продолжает вдохновлять исследователей на новые открытия. Речь идёт о квадратичных формах — алгебраических выражениях вида ax²+bxy+cy². Гауссовская операция композиции позволяет объединить две такие формы в третью, создавая последовательности, которые со временем возвращаются к исходной форме, образуя циклы.

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

Из таких задач выросла арифметическая статистика — область математики, изучающая поведение чисел, групп и других арифметических объектов через статистические закономерности вместо точных формул.

Перелом наступил в 2009 году, когда математики доказали более слабую версию гипотезы для полей функций — геометрических аналогов числовых полей. Доказательство объединило теорию чисел, алгебраическую геометрию, топологию и теорию гомотопий. Особенно ценным инструментом оказалось групповое пополнение, позволяющее изучать поведение растущих семейств пространств.

В 2012 году появилось новое доказательство, использующее групповое пополнение, но через год в нём обнаружили критическую ошибку. Казалось, что два нуля — один из работы 2009 года и другой из доказательства 2012 года — относились к одной конструкции. На самом деле они возникали в разных математических контекстах. Это совпадение обозначений скрывало логический разрыв, и статью пришлось отозвать.

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

Главное исправление касалось того, что нужные последовательности действительно обращаются в ноль именно в той математической конструкции, где это требуется. Новый подход не только исправил ошибку 2012 года, но и превратил набор технических приёмов в универсальный метод.

Методология уже успешно применена к другим крупным гипотезам арифметической статистики. Гипотеза Пунена-Рейнса описывает распределение эллиптических кривых — объектов, центральных для современной теории чисел и криптографии. Гипотеза Малле предсказывает частоту появления числовых полей с различными группами симметрий.

Для обеих гипотез новый аппарат позволил доказать варианты над полями функций. Хотя это автоматически не доказывает исходные числовые версии, результаты демонстрируют универсальность метода.

История решения задачи Гаусса показывает эволюцию математической мысли: от операции над квадратичными формами (1801) к вероятностной модели (1983), затем к геометрии полей функций (2009). Отозванное доказательство 2012 года привело к более общему алгебраическому методу, который в 2024 году окончательно решил проблему и открыл путь к новым математическим теоремам.