Фонд Симонса объявил о программе объёмом 15 млн долларов, призванной помочь математикам ориентироваться в эпоху ИИ: объявлен сбор заявок на воркшопы и другие инициативы, посвящённые математике в эпоху ИИ (пресс-релиз размещён в блоге Теренса Тао).

Запись в блоге

В блоге Теренса Тао размещён призыв (гостевой пост Д. Ниделл и Х. Шэффера): авторы просят математиков, чья работа — предшествующие результаты и идеи, проверенные и доработанные аргументы, связь с существующей литературой, — помогла сделать возможными недавние результаты, достигнутые с помощью систем ИИ, рассказать об этом, чтобы сообщество лучше понимало, как человек и ИИ эффективно работают вместе.

Запись в блоге

Теренс Тао выложил слайды публичной лекции «Math 2.0», прочитанной в Caltech: историческое состояние «Math 1.0», вызванный избыточным акцентом на автоматическом решении открытых задач ИИ текущий момент и его видение будущего «Math 2.0», в котором инструменты ИИ поддерживают и математическое сообщество, и роль математического понимания в применении математики к реальному миру.

Слайды (PDF) · Запись в блоге

Лауреат Филдсовской премии Станислав Смирнов в интервью Ники Стрижак — о том, зачем мы поголовно учим математику в школах, кого любит математика, и о том, что ждёт её в будущем, если ИИ уже обгоняет учёных и учится решать «задачи тысячелетия».

Видео

В записи в блоге Теренса Тао Томас Хейлс рассказывает о том, как в 2026 году автоформализация — формализация математики с помощью ИИ — стала практической реальностью, и о том, почему доказательства в Lean следует принимать только после проверки ядром верификатора и человеческого аудита формулировок.

Запись в блоге

Association for Human Mathematics (AHM) опубликовала заявление в ответ на выход OpenAI, 6 октября представившего репозиторий рукописей с предполагаемыми решениями ряда известных задач. Математическое сообщество не просило OpenAI об этом; организация отвергает утверждение о том, что эта публикация продвигает математику, и призывает математиков прекратить работу с OpenAI, вернувшись к видению науки, в центре которой — человеческое понимание.

Заявление

В записи в блоге Теренса Тао Бен Антю представляет Hexagon — новый сервис для хранения и публикации работ по математике и теоретической информатике, созданных с помощью больших языковых моделей. Платформа позволяет публиковать цитируемые работы с более низким порогом, чем arXiv, в том числе полностью сгенерированные моделями. Проект поддерживается созданным для этого Hexagon Mathematics Foundation.

Запись в блоге

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

Запись в блоге

Стивен Вольфрам пишет о том, каким может быть будущее исследований чистой математики в эпоху искусственного интеллекта.

Статья

Теренс Тао пишет об инициативе SAIR (Simons Agency for International Research) по созданию открытой модели для математики.

Запись в блоге

Обращение 25 лауреатов Филдсовской премии о том, что усилия ИИ-компаний по решению больших математических задач серьёзно рассогласованы с целями математики и математического сообщества (проект Math and AI).

Math and AI

Предложение Теренса Тао создать общий, дополняемый сообществом список ресурсов об искусственном интеллекте в математике: заявления и аналитика, мнения и обсуждения, существующие подборки. Ссылки добавляются в комментариях; упомянуты подборки Northwestern и Proofs and Prompts.

Запись в блоге

Выпуск подкаста The Joy of Why (University of Washington), записанный live на Международном математическом конгрессе (ICM 2026): о роли, назначении и актуальности математики в эпоху искусственного интеллекта.

Видео (YouTube)

Доклад об искусственном интеллекте в математике.

Видео (YouTube) / Math-Net.Ru

Лекция Теренса Тао, посвящённая применению искусственного интеллекта в математике.

Видео (YouTube)

Декларация о роли искусственного интеллекта в математических исследованиях, подготовленная рабочей группой математиков по итогам конференции в Лейденском университете (2025) и поддержанная Международным математическим союзом (IMU).

Текст декларации · Обсуждение на Хабре