Искусственный интеллект взял новую математическую высоту

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

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

Все полученные логические построения прошли успешную формализацию и автоматическую проверку в программной среде Lean, исключающей человеческий фактор и ошибки. На получение всех десяти решений потребовалось вычислений примерно на 2000 долларов США по текущим тарифам.

Телеграм: t.me/ainewsline

Источник: vk.com

Комментарии: