Следующее поколение модели рассуждений OpenAI, внутренне называемой Astra, только что сделало то, что заставило бы большинство кандидатов философских наук заплакать над своими досками. Компания объявила 1 августа, что модель автономно сгенерировала 10 новых результатов по открытым проблемам в математике и теоретической информатике, каждый из которых был подтвержден внешними математиками, включая лауреата Филдсовской премии Тима Гауэрса.
Это не первый опыт Астры. Еще 20 мая та же модель опровергла гипотезу Эрдёша о плоских единичных расстояниях — проблему, которая оставалась нерешенной математиками почти 80 лет.
Что на самом деле сделала модель
Проблема, поставленная легендарным венгерским математиком Полом Эрдёшем, касается того, сколько пар точек на плоскости могут находиться точно на расстоянии одной единицы друг от друга. Astra построила конфигурации, дающие не менее n^(1+δ) пар на расстоянии единицы, где δ больше нуля, для бесконечного множества значений n. Уточнённый результат определил значение δ как 0,014. Это был первый случай, когда ИИ самостоятельно решила значимую проблему в дискретной геометрии. Ни специальной математической подготовки, ни человеческого сопровождения. Модель самостоятельно провела сложные алгебраические рассуждения.
В августовском объявлении было добавлено еще 10 результатов, охватывающих геометрию и теоретическую информатику. Каждый результат был независимо проверен профессиональными математиками. Сам Гауэрс назвал это достижение «вехой в математике с использованием ИИ». Математики, включая Гауэрса и Томаса Блума, опубликовали сопутствующие статьи, подтверждающие доказательства и предоставляющие дополнительный анализ.
Почему это важно за пределами чистой математики
Криптография, основа каждого существующего блокчейна и цифрового актива, представляет собой прикладную математику. Безопасность, лежащая в основе Bitcoin, Ethereum и каждого другого криптопротокола, основана на вычислительной сложности определённых математических задач. Модель, способная опровергнуть 80-летние гипотезы в дискретной геометрии сегодня, может иметь преемников, которые завтра исследуют математические основы шифрования.
Что на самом деле должны отслеживать инвесторы
Немедленное рыночное воздействие здесь равно нулю. OpenAI не упоминала криптовалютные токены, цифровые активы или связанные протоколы ни в одном из своих объявлений. Это чисто исследовательская веха в области ИИ.
Во-первых, токены и проекты, связанные с ИИ и ориентированные на математические вычисления и проверку доказательств, могут вызвать возобновленный интерес. Идея о том, что ИИ способен выполнять настоящую, проверяемую интеллектуальную работу, а не просто генерировать правдоподобный текст, укрепляет позиции проектов, работающих на пересечении ИИ и проверки с помощью блокчейна.
Во-вторых, постквантовая криптография переходит от теоретической проблемы к практическому приоритету. Проекты, работающие над криптографическими стандартами, устойчивыми к квантовым вычислениям и ИИ, могут стать всё более актуальными.