Общая модель разрушила 80-летнюю геометрическую задачу — это немного неправдоподобно.

По данным мониторинга Beating, универсальная модель рассуждений OpenAI впервые опровергла гипотезу о расстоянии в плоскости Эрдеша.
Путем построения нового набора точек увеличила количество пар на расстоянии 1 до n^{1+δ}, разрушая ожидания о верхней границе почти 80 лет.
Модель не использовала специализированные инструменты, неожиданно привнеся междисциплинарный подход, внедрив глубокие инструменты алгебраической теории чисел в евклидову плоскость.
Внешние ученые опубликовали объяснение, указав, что выводы затрагивают идеи Элленберга–Венкатеша, Голод–Шафаревича и других.
Это достижение считается вехой в математике ИИ, демонстрируя, что универсальные модели могут предлагать оригинальные идеи и продвигать доказательства без специальных инструментов.