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 дней агенты перевели уже известные математические рассуждения в код для компьютерной проверки.

Feragatnameyi okuyun : Burada sunulan tüm içerikler web sitemiz, köprülü siteler, ilgili uygulamalar, forumlar, bloglar, sosyal medya hesapları ve diğer platformlar (“Site”), sadece üçüncü taraf kaynaklardan temin edilen genel bilgileriniz içindir. İçeriğimizle ilgili olarak, doğruluk ve güncellenmişlik dahil ancak bunlarla sınırlı olmamak üzere, hiçbir şekilde hiçbir garanti vermemekteyiz. Sağladığımız içeriğin hiçbir kısmı, herhangi bir amaç için özel bir güvene yönelik mali tavsiye, hukuki danışmanlık veya başka herhangi bir tavsiye formunu oluşturmaz. İçeriğimize herhangi bir kullanım veya güven, yalnızca kendi risk ve takdir yetkinizdedir. İçeriğinizi incelemeden önce kendi araştırmanızı yürütmeli, incelemeli, analiz etmeli ve doğrulamalısınız. Ticaret büyük kayıplara yol açabilecek yüksek riskli bir faaliyettir, bu nedenle herhangi bir karar vermeden önce mali danışmanınıza danışın. Sitemizde hiçbir içerik bir teklif veya teklif anlamına gelmez