«Не сетка»: ИИ впервые в истории сам решил центральную проблему геометрии
OpenAI сообщила, что ее внутренняя модель опровергла гипотезу Эрдёша 1946 года о единичных расстояниях — одну из самых известных задач комбинаторной геометрии.
Это первый случай, когда центральная открытая задача целой подобласти математики решена ИИ полностью автономно. Препринт уже проверен, упрощен и усилен сторонними математиками, в том числе специалистами по теории чисел.Сама задача формулируется на школьном уровне: возьмите n точек на плоскости и посчитайте, сколько пар оказались на расстоянии ровно 1.
habr.com