Crypto Currency Tracker logo Crypto Currency Tracker logo
Forklog 2026-09-12 12:18:00

Лауреаты Филдсовской премии выступили против гонки ИИ за рекордами

25 лауреатов Филдсовской премии выступили против гонки ИИ-компаний за решением сложных математических задач. В совместном заявлении они предупредили: использование таких результатов для демонстрации возможностей моделей способно навредить науке и подготовке исследователей. Среди подписантов — Теренс Тао, Питер Шольце, Марина Вязовская и Максим Концевич. Тао рассказал, что документ подготовили по итогам обсуждений в течение последней недели. Авторы сочли ситуацию достаточно срочной, чтобы опубликовать обращение без более широких консультаций. Сбор подписей продолжается. Почему ученые критикуют гонку По мнению авторов, цели разработчиков и математического сообщества расходятся. Для науки важен не только ответ, но и новые методы, которые помогают понять задачу и продолжить исследования. «Все более быстрое массовое производство утверждений „истинно/ложно“ способно уничтожить плодородную почву вместо того, чтобы вдохнуть жизнь в новые идеи», — говорится в письме. Полученное доказательство предстоит разобрать, связать с предыдущими работами и объяснить коллегам и студентам. Однако спешка с объявлениями не оставляет времени на эту работу и должное указание авторства, отметили подписанты. По их мнению, риск затрагивает и обучение: самостоятельный поиск решения развивает способность задавать новые вопросы. Авторы увидели аналогичную проблему в других научных и творческих профессиях. При этом математики признали пользу ИИ для исследований. Они подчеркнули, что последствия его применения во многом зависят от решений людей, управляющих технологией. На фоне каких событий появилось письмо Обращение вышло вскоре после заявления OpenAI о результате по уравнению Навье — Стокса — одной из «задач тысячелетия». В самой декларации компания не упоминается. 8 сентября фирма сообщила, что ее внутренняя ИИ-система получила доказательство для вариантов C и D задачи, допускающих внешнее воздействие на жидкость. По данным OpenAI, группа из примерно 10 000 агентов нашла решение за 88 часов. Еще 17 часов заняли формализация и проверка в системе Lean. Комания опубликовала доказательство и код, сообщив, что не намерена претендовать на премию Института Клэя. Результат сопровождался спором о возможном использовании неопубликованной работы математиков Тристана Бакмастера и Левента Алпеге. В OpenAI заявили, что провели внутреннюю проверку: по ее итогам запросы Бакмастера к Codex не могли повлиять на систему, в том числе через обучение. Бакмастер описал настроения в научном сообществе в комментарии The Guardian: «Сейчас главное в математике — то, что никто больше не хочет ничем делиться». Напомним, в сентябре Anthropic представила подготовленную Claude формализацию доказательства Великой теоремы Ферма. За 11 дней агенты перевели уже известные математические рассуждения в код для компьютерной проверки.

Read the Disclaimer : All content provided herein our website, hyperlinked sites, associated applications, forums, blogs, social media accounts and other platforms (“Site”) is for your general information only, procured from third party sources. We make no warranties of any kind in relation to our content, including but not limited to accuracy and updatedness. No part of the content that we provide constitutes financial advice, legal advice or any other form of advice meant for your specific reliance for any purpose. Any use or reliance on our content is solely at your own risk and discretion. You should conduct your own research, review, analyse and verify our content before relying on them. Trading is a highly risky activity that can lead to major losses, please therefore consult your financial advisor before making any decision. No content on our Site is meant to be a solicitation or offer.