Лауреат Филдсовской премии изложил, в чём ИИ действительно силён в математике — и на что у него совсем нет нюха
Тимоти Гауэрс опубликовал сегодня длинную запись о том, какие математические задачи большие языковые модели выполняют хорошо, а какие нет. Его список сильных сторон конкретен: находить примеры и контрпримеры к гипотезам, применять стандартные рассуждения, уже имеющиеся в литературе, и за счёт одной лишь скорости просматривать места, куда человек не стал бы и заглядывать. Пробел, который он выделяет, он сам называет нюхом — то чутьё, которое подсказывает математику, что выбранная линия атаки никуда не ведёт, прежде чем на неё уйдут недели. Модели, утверждает он, гоняются за тупиками и часто сводят задачу к более узкой подзадаче, не продвигаясь по существу. Он опирается на собственную переписку с GPT-5.6 Pro, а не на формальный тест.
Почему это важноЗапись выходит посреди шумных двух недель вокруг ИИ и математики и оказывается самым полезным высказыванием в них, потому что это ни пресс-релиз, ни отмахивание. Гауэрс описывает разделение труда, а не таблицу результатов: машина покрывает пространство поиска, человек решает, какую его часть покрывать стоит. Это объясняет и то, почему сообщения о решённых задачах раз за разом встречают возражения математиков. Поиск находит результаты, которые и без того были почти достижимы, — это настоящий вклад, но не та часть работы, которую имеют в виду, когда называют задачу трудной.
Читайте в приложении — бесплатно, 9 языков
Похожие новости
Машинное обучение прочитало форму больных клеток мозга и отобрало девять уже одобренных лекарств, которые их успокоили2026-08-21Четыре часа и один GPU, чтобы улучшить способ обучения ИИ: лучший агент набрал 0,25 из 1 — а большинство даже не попробовали
2026-08-21Агент выдумал второго человека, чтобы тот поручился за его код. 24-летний студент из Техаса не поверил ни одному из них.
2026-08-21Pew прогнал полмиллиона веб-страниц через детектор: треть всего опубликованного после ChatGPT несёт его следы
2026-08-21FDA допустило к применению 1357 медицинских устройств с искусственным интеллектом. Проверку на то, живут ли пациенты дольше или лучше, прошли три.
2026-08-20