Прорывы ИИ меняют математику, заставляя учёных переосмыслить свою роль
Материал подготовлен искусственным интеллектом на основе нескольких источников — ссылки на оригиналы приведены ниже.
OpenAI задействовала десятки тысяч агентов для решения 90-летней математической задачи с призом в 1 миллион долларов, опираясь на работу испанских математиков Диего Кордовы и Луиса Мартинеса-Сороа. Объявление вызвало спор с математиком Тристаном Бакмастером, который утверждает, что OpenAI поспешила решить задачу, узнав о его работе с исследователем Anthropic Левентом Альпёге. Разрыв отражает стремительную трансформацию математики по мере ускорения прорывов с помощью ИИ.
Ключевые факты
- OpenAI заявила, что использовала десятки тысяч агентов для решения 90-летней математической задачи с призом в 1 миллион долларов.
- Решение опирается на стратегию, разработанную испанскими математиками Диего Кордовой и Луисом Мартинесом-Сороа.
- Тристан Бакмастер утверждает, что OpenAI поспешила решить задачу, узнав о его работе с исследователем Anthropic Левентом Альпёге.
- Anthropic сообщила, что Claude доказал 29 500 малых теорем при формализации существующего доказательства Великой теоремы Ферма.
- В августе OpenAI объявила о прогрессе в 10 других давних математических задачах.
Прорыв OpenAI
Во вторник OpenAI заявила, что использовала десятки тысяч агентов для решения 90-летней математической задачи с призом в 1 миллион долларов. Решение опирается на стратегию, разработанную испанскими математиками Диего Кордовой и Луисом Мартинесом-Сороа. Объявление было омрачено заявлениями математика Тристана Бакмастера, который говорит, что OpenAI поспешила решить задачу, узнав о его работе с исследователем Anthropic Левентом Альпёге. Бакмастер утверждает, что OpenAI также пыталась повлиять на то, кому достанется признание за работу.
Усилия Anthropic по формализации
На прошлой неделе Anthropic сообщила, что Claude доказал 29 500 малых теорем при формализации существующего доказательства Великой теоремы Ферма. Над этим проектом другие математики работали годами. В августе OpenAI объявила о прогрессе в 10 других давних математических задачах.
Реакция математиков
Стивен Строгац, математик и автор из Корнеллского университета, говорит, что наука захватывающая, но с ней связано много человеческих неприятностей. Строгац прогнозирует, что 2026 год запомнится как annus mirabilis или annus horribilis для математики, потому что произошло так много событий. Алекс Таунсенд, соавтор книги Строгаца, говорит, что расстроен тем, что посвятил 15 лет исследовательской математике, и теперь что-то способно его превзойти. Таунсенд недавно использовал ChatGPT для решения давней задачи численной линейной алгебры.
1 источник
Время · отставание