Искусственный интеллект нового поколения от компании OpenAI продемонстрировал прорыв в области фундаментальной науки, автономно решив сложную геометрическую задачу. Исследовательская модель сумела опровергнуть «гипотезу о единичном расстоянии на плоскости», которая оставалась нерешенной с 1946 года. Данное событие подчеркивает растущий потенциал систем ИИ общего назначения в качестве полноценных инструментов для математических исследований и теоретических открытий.
История вопроса: загадка Пала Эрдёша
Проблема единичных расстояний была сформулирована выдающимся венгерским математиком Палом Эрдёшем ровно 79 лет назад. Суть задачи заключалась в поиске максимального количества пар точек на плоскости, расстояние между которыми строго равно единице, при заданном общем числе точек (n). На протяжении десятилетий научное сообщество опиралось на предположение, что оптимальным вариантом является расположение точек в виде квадратной сетки.
- Год постановки задачи: 1946
- Предыдущее теоретическое ограничение: n^(1+C/log log n)
- Тип задачи: комбинаторная геометрия
Суть открытия и математическое опровержение
ИИ-модель от OpenAI не просто провела вычисления, а предложила принципиально новые конфигурации расположения точек, которые ранее не рассматривались математиками-людьми. В ходе анализа алгоритм доказал, что число пар с единичным расстоянием может достигать значения n^(1+δ), где δ — это фиксированное положительное число. Это прямо противоречит классической гипотезе и устанавливает новый предел для геометрических построений.
Модель OpenAI предложила новые конфигурации точек, при которых число пар единичных расстояний достигает n^(1+δ), где δ — фиксированное положительное число. Таким образом, гипотеза Эрдёша была опровергнута.
Перспективы использования ИИ в фундаментальной науке
Этот успех знаменует переход ИИ от выполнения прикладных задач к решению задач теоретического уровня, требующих высокой степени абстракции. Использование нейросетей для проверки математических гипотез позволяет значительно сократить время поиска контрпримеров, на которые у исследователей уходили десятилетия. Эксперты полагают, что в ближайшем будущем подобные модели станут стандартным инструментом в арсенале математиков и физиков-теоретиков.
Опровержение гипотезы Эрдёша подтверждает, что современные системы (Artificial General Intelligence или их прототипы) способны находить нестандартные решения в жестко заданных логических рамках. Это открывает путь к пересмотру других нерешенных проблем комбинаторики и теории чисел, которые ранее считались неприступными для вычислительных методов.