OpenAI AI модель достигла прорыва в математике: опубликованы результаты исследований 10 долгосрочных нерешенных проблем в области криптографии, квантовых вычислений и других

Сообщение от ChainCatcher, согласно официальным данным, OpenAI опубликовала результаты исследований, в которых утверждается, что ее следующая генерация AI модели Astra достигла прогресса в области математики и теоретической компьютерной науки, охватывающей такие области, как высокоразмерная геометрия, теория кодирования, теория групп, квантовая сложность, постквантовая криптография и экстремальная комбинаторная математика. Опубликованные 10 результатов касаются: проблемы упаковки высокоразмерных шаров, проблемы бинарного и сферического кодирования, проблемы не софических групп, гипотезы жесткости Коннеса, проблемы сложности арифметических схем, проблемы квантового параллельного повторения, проблемы ближайших векторов, гипотезы объема Эйрхарта, проблемы многокрасного числа Рэмси, гипотезы экстремальной теории графов.

Как сообщается, эти результаты были получены с помощью внутренней версии модели Astra, затраты на вычисления для поиска решений составили около 2000 долларов (по цене Sol API).

Затем исследователи-люди использовали ту же модель для помощи в оформлении результатов в виде статьи и сгенерировали проверяемые сертификаты доказательства с помощью системы формализации Lean.