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

Что произошло

Модель OpenAI нашла контрпример к центральной гипотезе о минимальном числе расстояний между точками в R^n. Fields-медалист Тим Гауэрс назвал результат «вехой в AI-математике», а доказательство опубликовано в открытом PDF.

Детали

• Задача: unit distance problem — минимальное число единичных расстояний между точками в R^n
• Метод: конструкция на основе алгебраической теории чисел (корни полиномов)
• Доказательство: полный PDF + компаньон-статья от внешних математиков
• Оценка: Tim Gowers (Fields medal) — 'milestone in AI mathematics'
• Chain-of-thought модели опубликован в сокращённой версии

Что это значит

Первый публичный случай, когда LLM-модель получила оригинальный математический результат, подтверждённый экспертами высшего уровня — демонстрация перехода от «помощника» к «исследователю».

OpenAI-модель построила контрпример к гипотезе о расстояниях единичной длины с помощью алгебраических конструкций из теории чисел — Fields-медалист Гауэрс подтвердил корректность и назвал это вехой AI-математики.