Hacker News Digest

Теренс Тао вспоминает, как в 11 лет пытался доказать последнюю теорему Ферма, изучая разности кубов и открывая для себя свойства конечных разностей полиномов. Хотя доказательство не получилось, этот опыт глубоко повлиял на его понимание математики и иллюстрирует мысль, что ценность заключается не только в решении задачи, но и в процессе её исследования — именно эту идею подчеркивает письмо, подписанное 25 лауреатами Филдсовской премии, поддерживающее свободу математического поиска без давления на результат.

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

ИИ поднимает планку для математиков: задачи становятся сложнее, но и возможности расширяются — это сдвиг не в сторону упрощения, а в сторону расширения масштаба исследований. Ценность математики не только в решении теорем, но и в развитии человеческого мышления, что требует сохранения человеческого участия в процессе, даже если ИИ может решать задачи быстрее. Спор: Одни считают, что ИИ уничтожит карьерные лестницы в математике, как в софте, лишая молодых исследователей опыта и приводя к дефициту экспертов; другие полагают, что роль математика просто сместится к формулированию гипотез и интерпретации результатов ИИ. Спор: Некоторые утверждают, что корпорации вроде OpenAI эксплуатируют математические задачи как природные ресурсы, не заботясь о развитии науки, а только о прибыли; другие возражают, что это преувеличение — нет доказательств, что ИИ-компании нацелены на решение всех крупных проблем. Если ИИ будет генерировать доказательства, непонятные человеку, это не улучшит понимание — математика как культура требует доступности и усвоения, а не просто наличия ответов. Исторически новые инструменты (например, калькуляторы) вызывали сопротивление, но не уничтожили профессию — аналогично, ИИ может изменить методы, но не устранить необходимость человеческого понимания. Социальная структура математики — сообщество, обмен идеями, обучение через участие — находится под угрозой, если ИИ заменит человеческое взаимодействие в процессе открытий. Математика ценна не только для практических применений, но и как способ развития человеческого интеллекта — это основание для её финансирования независимо от её полезности. Спор: Некоторые считают, что если ИИ превзойдёт человека, то человеческая математика станет несущественной, как математика обезьян — другие возражают, что культура и понимание не сводятся к эффективности решения задач. Проблема петиции в том, что она не объясняет, как именно финансировать математиков, если их роль перестанет быть связана с доказательствами — отсутствует конкретная модель поддержки. ИИ может ускорить генерацию результатов, но не гарантирует их глубокое усвоение — это создаёт риск накопления «непереваренной» математики, которая не вносит вклад в коллективное понимание. Корпорации могут использовать математику как ресурс, но не инвестируют в её развитие — они извлекают выгоду из открытых проблем, не внося вклад в сообщество, что угрожает устойчивости науки. Совет: Необходимо создать новые модели финансирования, где математики получают поддержку за развитие понимания, а не только за публикацию доказательств — иначе система исчезнет, как и карьерные лестницы в софте. Если ИИ будет решать всё, а люди перестанут учиться и участвовать, математика превратится в чёрный ящик — полезный, но не понятый, что уничтожит её как культурное наследие.

Клей Математический институт объявил о награждении нескольких математиков престижными премиями в 2026 году. Бывший исследовательский сотрудник института Джон Пардон (2015–2020), а также Ю Дэн и Хонг Ванг, стали лауреатами Филдсовской премии, врученной Международным математическим союзом на открытии Международного конгресса математиков в Филадельфии 23 июля. Ю Дэн получил награду за вклад в теорию частных дифференциальных уравнений, в частности за прогресс в понимании уравнений Навье–Стокса и связанных моделей турбулентности. Также Филдсовскую премию получил Джейкоб Циммерман за работы в теории чисел и автоморфных формах.

Кроме того, группа бывших исследовательских сотрудников КМИ — Деннис Гейтсгорди, Бен Грин, Сергей Гуков, Адриан Иоана, Элон Линденштраус, Джеймс Мэйнард и Теренс Тао — вместе с президентом института Мартином Бридсоном удостоилась Премии «Фронтиры науки» 2026 года, которая будет вручена в Пекине 9 августа на Международном конгрессе основных наук. Ранее, 19 мая, Анна Скоробогатова, нынешний исследовательский fellow КМИ, получила премию Мэриам Мирзахани «Новые рубежи» за работы в геометрической теории меры, где она решила давно открытый вопрос о существовании поверхностей минимальной площади при определенных топологических ограничениях. 14 апреля были объявлены лауреаты Премии КМИ за исследования 2026 года: Туомас Орпонен, Пабло Шмеркин, Хонг Ванг и Джошуа Заль за вклад в гармонический анализ и фрактальную геометрию; Роберт Бурклунд, Джереми Хан, Ишан Леви и Томер Шланк — за работы в алгебраической топологии и устойчивой гомотопии; Ю Дэн и Захер Хани — за достижения в нелинейных уравнениях в частных производных. Все награды подчеркивают продолжительное влияние КМИ на развитие фундаментальной математики.

Обсуждение дополняет статью, фокусируясь на условиях признания решения задачи Навье-Стокса. Участники согласны, что для получения премии Clay Institute необходима публикация в рецензируемом журнале и соблюдение двухлетнего срока ожидания, как это было с теоремой Ферма. OpenAI на премию не претендует, но сообщество ожидает публикации результата согласно академическим стандартам. Основные споры касаются следующих тем: — Ценность понимания против результативности: одни видят в доказательствах без объяснений угрозу интеллектуальному труду, другие считают это нормой прогресса, сравнивая ИИ с «оракулом» или медицинскими препаратами с необъяснимым действием. — Легитимность источников: обсуждается, является ли arXiv достаточным основанием для премии в сравнении с требованиями Clay Institute. — Позиция CMI: участники спорят, является ли нейтральный тон заявления CMI (включая слово «apparently») академической осторожностью, скрытым отказом признать решение или попыткой избежать споров о приоритете. — Качество дискуссии: отмечается, что отсутствие у некоторых участников опыта в математике ведет к ошибкам в терминологии и понимании процессов публикации. Важные уточнения: — Формальное доказательство на Lean 4 уже доступно, что позволяет начать верификацию кода без чтения традиционной статьи. — Ценность решения будет определена тем, раскрывает ли оно новые математические методы или просто добавляет факт в список решенных задач.

Ханна Фрай, первая в истории профессор по публичному восприятию математики в Кембридже, получила премию Лейлавати за усиление публичного интереса к математике. Жюри отмечает её как одного из главных глобальных посланников математического мышления, «превращая её в язык чудеса и актуальности без ущерба для глубины». Она говорит: «Когда ты сам наслаждаешься математикой, ощущаешь абсолютную радость; я хочу поделиться тем, что почти невидимо для большинства».

За её работу она получила Emmy в 2025 году за эпизод о квантовых вычислениях, Webby в 2026 году за подкаст «The Rest is Science», более двух миллионов подписчиков в Instagram и попала в список Time 100 в 2026 году; ранее ей вручили Christopher Zeeman Medal (2018) и премию Дэвида Аттенборо (2024). Она проводила Рождественские лекции РИ в 2019 году, читала}Rouse Ball лекцию в Кембридже и участвует в ICM, где объявляются Fields Medals. «Ограничение понимания — не в способности, а в мотивации заботиться», — говорит она, добавляя, что её задача — создать «дырку в воображении», чтобы вызвать жажду следующей детали.

Пользователи подтверждают, что Ханна Фрай заслужила премию Лейлавати за вклад в популяризацию математики и науки. Их отзывы отмечают её способность делать сложные темы доступными и увлекательными: подкаст «The Rest Is Science», сериалы «Contagion» и «Uncharted with Hannah Fry» получают высокую оценку за информативность и развлекательность. Многие делятся, как её контент помог им лучше понять математику, и рекомендуют его другим. Её работа вдохновляет не только зрителей, но и других популяризаторов науки.