Что значит быть математиком, когда уравнения решает ИИ
ИИ-системы от DeepMind и OpenAI теперь решают олимпиадные задачи на уровне золотых медалистов, доказывают теоремы и даже опровергают гипотезы, достойные публикации в топовых журналах. Это ставит вопрос: останется ли место для человека в математике, если главная радость — долгий путь к пониманию — станет ненужным?
ИИ впервые покушается не на рутину, а на творческое ядро интеллектуальной работы — путь к пониманию. Для математиков (и шире — для всех, кто занимается сложным мышлением) это вызов переосмыслить, в чём вообще смысл их профессии.
Что значит быть математиком, когда уравнения решает ИИ
Автор материала вспоминает свою докторскую по прикладной математике в 2000-х: симуляции световых волн в жидких кристаллах, которые сегодня ИИ мог бы воспроизвести за часы вместо лет. Тогда он не понимал коллег из чистой математики, которые годами бились над абстрактными задачами без видимого прогресса. Теперь понимает: дело не в результате, а в долгом пути к пониманию — том самом чувстве, когда сложное вдруг складывается в единую картину.
ИИ врывается в святая святых
Века математики работали по одной схеме: замечали паттерны, выдвигали гипотезы, доказывали их логическими рассуждениями, проверяли доказательства. Процесс требовал времени на размышление — иногда сидели полчаса в тишине, просто думая.
Сегодня ИИ начинает обходить эту медленную работу стороной. Летом 2024 года системы от DeepMind и OpenAI достигли уровня золотых медалистов Международной математической олимпиады (IMO), решая по шесть сложнейших задач. Начало 2025-го: экспериментальная система Aletheia от DeepMind самостоятельно получила результаты уровня Ph.D., пригодные для публикации. Ещё позже — новая система OpenAI опровергла важную гипотезу в комбинаторной геометрии, причём так, что топовые математики назвали это вехой: независимое, оригинальное, сложное мышление.
Параллельно LLM начали интегрироваться с proof assistants (Lean, Isabelle, Rocq) — инструментами пошаговой проверки доказательств. Раньше перевод теорем в машиночитаемый формат занимал месяцы ручной работы (формализация). Теперь LLM автоматизируют этот процесс, снимая ещё один барьер.
Что остаётся человеку?
Если ИИ способен самостоятельно выдвигать гипотезы, доказывать их и проверять — зачем нужен математик? Классический ответ — творчество, интуиция, выбор направлений — размывается. Математик из Carnegie Mellon Джереми Авигад описывает суть работы как чувство, когда «после долгих размышлений всё вдруг складывается». Что, если этот путь станет ненужным?
Ключевые выводы
- ИИ-системы 2024-25 гг. достигли уровня IMO-золотых медалистов и публикуют оригинальные математические результаты
- Совмещение LLM с proof assistants (Lean, Isabelle) автоматизирует формализацию доказательств — раньше это требовало месяцев ручного труда
- OpenAI опровергла важную гипотезу в комбинаторной геометрии с оригинальным рассуждением, признанным топовыми математиками как веха
- Для многих математиков ценность работы — в долгом пути к пониманию, а не в конечном результате
- Вопрос не «может ли ИИ решать задачи», а «что остаётся человеку, если процесс становится мгновенным»
Автор: Ксения Лаврова · Источник: spectrum.ieee.org
Это один из самых честных текстов о кризисе смысла в интеллектуальной профессии. Автор — сам бывший математик — признаётся: то, на что у него ушли годы, ИИ сделал бы за часы. Но главное не в этом. Он вспоминает коллег из чистой математики, которые годами сидели без видимого результата — и только теперь понял: для них кайф был не в публикации, а в процессе. Когда после недель тупика вдруг «щёлк» — и всё сложилось.
Теперь ИИ побеждает на математических олимпиадах, самостоятельно публикует результаты уровня Ph.D. и опровергает гипотезы. Причём делает это не грубой силой перебора (как старый трюк с четырёхцветной теоремой), а с рассуждением, которое математики называют «оригинальным мышлением». И вот тут у профессии проблема: если результат достижим мгновенно — зачем вообще нужен многолетний путь к пониманию? Это не про автоматизацию рутины, а про отмену самого смысла работы.
Комментарии