Десять математических прорывов в одном релизе: OpenAI представила возможности новой модели Astra

Корпорация OpenAI впервые обнародовала имя своего будущего поколения искусственного интеллекта — Astra — и параллельно объявила, что инсайдерская модификация этого комплекса успешно справилась с десятью фундаментальными вызовами в сфере чистой математики и теоретической计算机科學 (информатики). Согласно официальному отчёту, научное сообщество билось над данными головоломками не менее десятилетия, а по ряду направлений — значительно дольше.

Впечатляющий перечень достижений включает в себя первостепенное построение несофической группы, опровержение знаменитой гипотезы Конна о жёсткости, верификацию квантовой теоремы о параллельном повторении, подтверждение гипотезы Эрхарта касательно объёмов, а также прорывное улучшение верхней границы плотности упаковки сфер, первое со второй половины 1970-х годов.

Представители OpenAI подчёркивают, что Astra автономно вывела всю цепочку логических аргументов для каждого из утверждений. В дальнейшем специалисты в кооперации с нейросетью подготовили академические публикации, тогда как сама модель перевела каждое умозаключение на язык автоматизированного доказательства теорем Lean для стопроцентной верификации корректности. Организация выложила в открытый доступ сертификаты верификации, детальный лог рассуждений ИИ и уточнила, что затраты на вычислительные мощности для поиска всех решений составили всего около 2000 долларов по прейскуранту Sol API.

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

Теперь научному миру предстоит масштабная независимая экспертиза полученных выкладок. Вдобавок в OpenAI акцентировали внимание на том, что считают неэтичным присваивать лавры первооткрывателей людям, если фундаментальные умственные построения были полностью выполнены нейросетью: роли сотрудников ограничивались оформлением текстов и машинной трансляцией, в то время как сама суть решений была найдена Astra.

Источник: iXBT