Модель OpenAI опровергла 80-летнюю гипотезу в дискретной геометрии

Компания OpenAI объявила о том, что её модель искусственного интеллекта решила задачу о единичном расстоянии, которая оставалась нерешённой 80 лет. В процессе решения была опровергнута одна из центральных гипотез дискретной геометрии.

Задача о единичном расстоянии формулируется так: каково максимальное количество единичных отрезков, которые можно провести между точками на плоскости так, чтобы никакие два отрезка не пересекались? Эта проблема была поставлена ещё в 1940-х годах и считалась одной из ключевых в дискретной геометрии.

Модель OpenAI не только нашла решение, но и показала, что исходное предположение (гипотеза) о возможном числе отрезков было неверным. Таким образом, ИИ-модель опровергла давнюю гипотезу, которая долгое время считалась верной.

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

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

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

OpenAI пока не раскрывает технические детали работы модели, но обещает опубликовать результаты в ближайшее время. Сообщество математиков уже назвало событие знаковым для взаимодействия человека и ИИ в науке.