За последние месяцы было уже несколько случаев, когда нейронки делали прорывы в математике. Например, на этой неделе ещё не вышедшая модель Антропиков продвинула саму гипотезу Римана — одну из главных нерешённых задач математики последних 150 лет. Это лишь один пример из целого ряда таких новостей

Мне кажется, многие не понимают масштаба значимости этих новостей. Да, пока что способности моделей к прогрессу в математике находятся в начальной стадии, и прогресс маленький. Но важно тут то, что доказана принципиальная возможность продвигаться в математике (а значит — в любой науке) при помощи LLM. Мы теперь точно знаем, что нейронки могут создавать оригинальный интеллектуальный продукт — открытие или решение нерешённой ранее проблемы. И математика — самый честный тест, потому что доказательство нельзя ни найти готовое, ни подделать, его проверяет формальная система, оригинальность верифицируема

Из этого следует, что расхожий тезис про то, что нейросети — это просто «стохастические попугаи», которые способны только повторять и не способны на создание оригинального, ошибочен. Точнее, он верен для слабых моделей, но не верен для технологии LLM в целом. Принципиальных ограничений нет

То, когда модели станут настолько мощными, что эта способность распространится на все сферы науки и творчества, — теперь лишь вопрос времени (и строительства дата-центров с электростанциями). Это может занять годы, но мы неизбежно придём в точку, где агенты будут способны генерировать поистине оригинальный творческий продукт лучше, чем люди

Этот мир будет радикально отличаться от того, что мы наблюдаем сейчас. Не знаю, понравится ли нам, но скучно точно не будет