- Многие математики считают, что эта область переживает одно из самых быстрых изменений в истории, так как ИИ стремительно совершенствует свои навыки в решении задач и доказательстве теорем.
- В 2025 году математик Дэниел Литт поставил на то, что вероятность написания ИИ математической статьи на уровне ведущих ученых до 2030 года составляет всего 25%, но всего через год признал, что может проиграть пари.
- Еще несколько лет назад ИИ с трудом справлялся со школьными задачами, но теперь он способен решать проблемы, возникающие в реальных математических исследованиях.
- Системы ИИ от таких компаний, как OpenAI и Google DeepMind, достигли результатов, сопоставимых с золотыми медалистами Международной математической олимпиады.
- В январе 2026 года математики начали использовать ИИ для решения некоторых многолетних задач, предложенных Полом Эрдёшем.
- Новый проект под названием First Proof, инициированный Никхилом Шриваставой из Калифорнийского университета в Беркли, направлен на создание набора реальных исследовательских задач для оценки математических способностей ИИ.
- Первый тестовый набор состоит из 10 задач из различных областей математики средней и высокой сложности.
- По оценкам экспертов, ИИ от OpenAI правильно решил около 5/10 задач, в то время как система от Google DeepMind — 6/10.
- Google разработала математический инструмент ИИ под названием Aletheia, объединяющий чат-бота Gemini с алгоритмами верификации для обнаружения ошибок в решениях и улучшения результатов через итерации.
- Помимо решения задач, ИИ прогрессирует в переводе рукописных доказательств в машиночитаемый код, что называется формализацией.
- Компания Math, Inc. удивила сообщество, когда их ИИ Gauss автоматически формализовал и верифицировал доказательство Марины Вязовской, получившее филдсовскую премию, по задаче об упаковке шаров.
- Доказательство, созданное ИИ, содержит около 200 000 строк кода, что составляет около 10% от всей формализованной математики в мире.
- Исследователи полагают, что в будущем ИИ сможет автоматически проверять новые математические статьи и выявлять ошибки в процессе научного рецензирования.
📌 Заключение: ИИ коренным образом меняет методы занятий математикой. Системы ИИ решили от 5/10 до 6/10 исследовательских задач в проекте First Proof и даже автоматически формализовали доказательство уровня Филдсовской премии, используя 200 000 строк кода. Эта технология может автоматически проверять доказательства и поддерживать исследования, однако она также вызывает опасения, что люди могут лишиться возможности учиться, когда машины решают задачи слишком быстро.
