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

Claude Fable 5 нашел контрпример для гипотезы Якобиана в размерности 3. Двумерный случай при этом остается нерешенным. Параллельно ChatGPT сгенерировал явные контрпримеры для гипотезы о гауссовых моментах. Нейросетевое решение полностью закрывает вопрос для всех размерностей n ≥ 3.

Математики получили рабочий инструмент для проверки краевых случаев. LLM перебирают сложные алгебраические структуры сильно быстрее человека. Это меняет сам процесс работы над теоремами. Исследователи просто делегируют рутинный поиск контрпримеров генеративным алгоритмам.