Математика в эпоху ИИ: публичная лекция Теренса Тао на Международном конгрессе математиков 24 июля 2026

[si_12345]

Первые впечатления по прочтению - я еще не дочитал до конца, но понимаю, что чем мощнее ИИ - а он будет все мощнее - тем дороже он будет для конечного потребителя

Дальнейшее развитие ИИ неконтролируемо в том смысле, что с технологической точки зрения у корпораций нет никаких преград, которые помешают им развивать ИИ с какой угодной скоростью и в каком угодно направлении, и этот аспект уже как бы ускользает из рук сообщества

[ivpetrov386]

Если подход не изменится, и ИИ так и будет в виде llm, то начем корпорации будут его обучать?

[si_12345]

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

[avshkol]

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

(Это краткое описание еще одного вида кризиса, который затронет не только математику, хотя, возможно, математику одну из первых...)

[akardapolov]

Гипотеза о возможностях ИИ (шаблон) … Слова «некоторый» здесь следует рассматривать как заполнители (или «переменные»).

Прямо как в доказательстве теоремы Геделя о неполноте (создание шаблона формулы, подстановка в него своего номера для генерации утверждения - Я недоказуема через ссылку на саму себя и выявление противоречия).

Но что будет, если ИИ‑инструмент сгенерирует длинное доказательство, которое не сможет никто понять, даже люди‑исследователи, писавшие для него промпты?

Тоже гипотезы, раз пошла такая пьянка :)

• Только через смену приоритетов - постановка глобальных целей и под это формирование новых принципов существования человечества.

• Масштабирование, увеличение охвата людей которые будут заниматься этой работой - глобальная пересборка всего (всего миропорядка, экономики, системы образования).

• В текущей системе ценностей (во главе угла прибыль) нереализуемая в принципе (всего лишь гипотеза - может и реализуемая. Но, говорю я и повторяю это – но! Если не загниют! А это бывает с ананасами! Ой-ой-ой, как бывает! (с)).

[si_12345]

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

[akardapolov]

Текущее развитие ИИ - это тупик

Сейчас т.н. ИИ - это просто супер-калькулятор

Нет, не тупик - этап в развитии.

Он не просто должен отвечать на поставленные вопросы - он должен формулировать задачи и вообще смыслы

Он не этичен, это не его компетенция.

Нонешняя экономика основана на дефиците, а ии только усугубляет дефицит (электроэнергии)

Без рассмотрения устройства всей миросистемы в целом (геополитика, золотой миллиард, страны третьего мира и проч) - это только часть правды.

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

Сейчас в целом так, но Китай дает асиметричный ответ - отставание 3-6 месяцев, динамика показывает неплохой потенциал при сложении усилий с противоположной стороны.

[avshkol]

Прямо как в доказательстве теоремы Геделя о неполноте

Да, Гедель своей теоремой подвел черту под предыдущим кризисом математики, сейчас же мощные ИИ, которые могут выбросить в математическое поле неперевариваемые никакими силами тонны задач и доказательств их решений, грозит создать "неполноту математического сообщества", отодвинув его в сторону...

[yadimon]

Может скоро будет отдельная ИИ математика, которая не понятна человеку, к которой нет 100% доверия, но с которой получится собрать варп двигатель 🤓

[MegaMANGO]

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