математика

Согласно сообщению Financial Associated Press, лауреат премии Филдса 2022 года Хьюго Дюминиль-Копин заявил на заседании Французской математической ассоциации, что его прежняя исследовательская область больше не существует. Он сказал: "Вечером во вторник я плакал, и мой плач разбудил мою дочь. Они (OpenAI) разрушили мою исследовательскую область." В сообщении говорится, что в результатах, опубликованных OpenAI в начале этого месяца, как минимум 16 статей связаны с его долгосрочными исследовательскими интересами.Согласно отчету, с апреля этого года компании в области ИИ часто публикуют ответы на неразрешенные математические задачи, чтобы продемонстрировать мощь своих моделей. В начале этого месяца OpenAI опубликовала более 700 статей, утверждая, что решила сотни ранее нерешенных математических проблем. Лауреат золотой медали Национального научного центра Франции 2025 года Стефан Маллат заявил, что достижения ИИ вызывают эмоциональный шок, но обществу все еще нужны математики, и он выступает против утверждения "математики больше не нужны". Лауреат премии Филдса 2010 года Седрик Вилани отметил, что в математике процесс вывода заключений гораздо важнее, чем сами выводы.Директор математического факультета Высшей нормальной школы Парижа Франсуа Шарль заявил, что ИИ меняет путь молодых людей в математическую отрасль и на получение докторской степени, и опасения по поводу подготовки кадров и карьерного роста обоснованы; что касается самого исследования, он считает, что с помощью ИИ можно решить проблемы, которые ранее было трудно преодолеть. Фонд Симонса на прошлой неделе объявил о запуске программы на сумму 15 миллионов долларов, чтобы помочь математикам справиться с изменениями, вызванными ИИ, при этом OpenAI и Anthropic совместно участвуют в финансировании, планируя поддерживать семинары для оценки результатов ИИ и разработки стандартов использования ИИ.

OpenAI объявила о сотрудничестве с математиками для создания независимой консультативной группы по математике и искусственному интеллекту, организованной Принстонским университетом. OpenAI заявила, что новая внутренняя модель, обучение которой началось 28 августа, решила проблему тысячелетия Навье-Стокса и решила более 100 долгосрочных нерешенных открытых вопросов в большинстве областей математики, что удивило ее внутренних математиков.Группа будет давать рекомендации по обзору и распространению новых результатов, академическим и профессиональным стандартам математических исследований, а также о том, как инструменты OpenAI могут поддерживать математические исследования и обучение. Первоначальные члены включают Франсуа Шарля, Камилло Де Леллиса, Тимоти Гауэрса, Мартина Хайера, Нихила Сривастава, Ульрике Тилльманн, Рави Вакила, Эдварда Уиттена и Мелани Мэтчетт Вуд.Группа работает независимо от OpenAI, члены не получают зарплату от OpenAI и могут активно давать рекомендации, комментировать влияние на математику и делать публичные предложения. Ранее математики выразили обеспокоенность в открытом письме «Серьезное несоответствие ИИ в математике» по поводу использования решения открытых вопросов в качестве эталона для ИИ. Группа не отвечает за предоставление рекомендаций по темпам внутренних математических достижений OpenAI.

OpenAI сообщила газете «Нью-Йорк Таймс», что с 8 сентября, когда было объявлено о решении уравнений Навье-Стокса, достигнуты «существенные успехи» во втором тысячелетнем призовом задании, но не уточнила, о каком именно задании идет речь, и не предоставила график раскрытия информации. Тысячелетние призовые задачи были установлены Институтом Клэя математических исследований с 2000 года и представляют собой семь математических задач с вознаграждением в 1 миллион долларов каждая.Эксперты предполагают, что это задание может быть гипотезой Ходжа, 76-летней задачей о том, как вычислить количество «дырок» в сложных геометрических формах. OpenAI не подтвердила это предположение и не ответила на слухи о том, что ее модель была специально разработана для длительных задач в версии Aeon. Ранее OpenAI 8 сентября объявила, что ее неопубликованная внутренняя модель сгенерировала доказательство верификации Lean, показывающее, что уравнения Навье-Стокса могут «взрываться» до физически невозможной бесконечной скорости, при этом весь процесс задействовал около 10 000 координированных ИИ-агентов и занял около 88 часов.Однако это заявление вызвало споры. Математик Нью-Йоркского университета Тристан Бакмастер заявил, что он и исследователь Anthropic Левент Алпёге уже почти год изучали соответствующее доказательство и завершили его 22 августа, а Себастьен Бюбек из OpenAI узнал об этом и опубликовал информацию первым. OpenAI заявила, что это не ради приза в 1 миллион долларов, а чтобы использовать эти задачи в качестве открытого эталона для измерения скорости прогресса модели. Проверка доказательства Навье-Стокса все еще продолжается в Институте Клэя математических исследований, и верификация предыдущих тысячелетних задач обычно занимает несколько лет.