Odaily Planet Daily сообщение: OpenAI опубликовала исследовательские результаты, в которых указано, что ее следующая модель ИИ Astra достигла прогресса в области математики и теоретической информатики, включая высокомерную геометрию, теорию кодирования, теорию групп, квантовую сложность, постквантовую криптографию и экстремальную комбинаторику. Из 10 опубликованных результатов затрагиваются следующие вопросы: проблема упаковки высокомерных сфер, проблемы бинарного и сферического кодирования, проблема не-sofic групп, гипотеза Коннса о жесткости, проблема сложности арифметических схем, проблема квантового параллельного повторения, проблема ближайшего вектора, гипотеза Эрхарта об объеме, проблема многоцветных чисел Рамсея, гипотеза экстремальной теории графов.
Согласно информации, эти результаты были получены с использованием внутренней версии модели Astra, а вычислительные затраты на поиск решения составили около 2000 долларов США (по цене Sol API). Затем человеческие исследователи использовали ту же модель для подготовки статьи и сгенерировали проверяемые сертификаты доказательств с помощью формальной системы доказательств Lean.