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

OpenAI опровергла гипотезу дискретной геометрии, поставленную Полом Эрдёшем в 1946 году.
ИИ нашел новое решение проблемы единичных расстояний и связал ее с теорией алгебраических чисел.
Работа прошла внешнюю математическую рецензию и была проверена математиком из Принстона.
Модель не была специально обучена на задаче единичных расстояний и не имела встроенных инструментов поиска.
ИИ установил связь с алгебраической теорией чисел и использовал концепции бесконечных «башен» полей классов и теорию Голода-Шафаревича.
Это открытие может заставить многих пересмотреть старые задачи дискретной геометрии через призму глубокой теории чисел.