Нейросети автономно доказывают математические теоремы: GPT-5.6 Sol решил гипотезу 2014 года о плотности Чернова

Языковые модели перешли к автономному доказательству математических теорем. В новом препринте на arXiv представлено строгое доказательство гипотезы 2014 года. Она утверждает, что плотность случайной величины Чернова строго лог-вогнута. Весь математический вывод от первого до последнего шага сгенерировала модель GPT-5.6 Sol.

Решение открытых проблем с помощью ИИ переходит в разряд повседневной практики. За последние дни зафиксировано сразу несколько подобных прецедентов. Модель Claude Fable 5 нашла контрпример для гипотезы Якобиана в размерности 3. Актуальные версии ChatGPT опровергли гипотезу о гауссовых моментах для размерностей n ≥ 3.

Нейросети больше не ограничиваются поиском информации или проверкой синтаксиса. Текущее поколение ИИ способно самостоятельно находить неочевидные математические связи. Роль исследователя смещается от ручного вывода формул к строгой верификации машинных доказательств и постановке новых гипотез.