Теренс Тао только что подтвердил, что ИИ преодолел порог в математике, и когда один из величайших живущих математиков говорит, что это реально, дебаты заканчиваются. Тао: "Произошел действительно заметный рост возможностей. Это не чистый хайп ни в коем случае." Прямое подтверждение от человека, который мгновенно распознал бы, если бы это было переоценено. ИИ в математике перешел от обещания к операционной способности. Тао: "Для меня эти достижения показывают, что существует дополнительный способ заниматься математикой." Не замена. Параллельный режим, работающий в масштабе, которого люди физически не могут достичь. Люди решают сложные задачи в небольших группах в течение месяцев. Это остается. Но теперь что-то другое существует рядом с этим. Тао: "Мы можем настроить ИИ на масштаб: охватить тысячу задач и собрать все легкие плоды. Выяснить все способы сопоставления задач с методами." ИИ не думает глубже. Он ищет шире. Систематически применяет каждую технику к каждой задаче. Исчерпывающее исследование невозможно для людей. Тао: "Если есть 20 различных техник, примените их ко всем 1,000 задачам и посмотрите, какие из них можно решить. Это та способность, которая присутствует сегодня." Двадцать техник. Тысяча задач. Каждое сочетание протестировано. Это 20,000 попыток, которые людям понадобились бы целые карьеры, чтобы исследовать. ИИ делает это систематически. Не будущая способность. Сегодня. Новая дивизия материализуется. Люди: устойчивый фокус на задачах, сопротивляющихся известным методам. ИИ: исчерпывающее сопоставление задач с техниками в промышленном масштабе. ИИ идентифицирует все, что можно решить через систематическое применение. Люди сосредотачиваются исключительно на том, что требует реального понимания. Не замена математической креативности. Автоматизация поиска, поглотившего века коллективных усилий, просто чтобы выяснить, какие задачи поддаются каким существующим методам. Прогресс ускоряется не от того, что ИИ доказывает сложные теоремы. А от устранения человеческого времени, потраченного на задачи, которые ИИ решает с помощью грубой систематической обработки. ...