Прогресс модели Anthropic
12 августа в 14:30 была опубликована статья о новой неопубликованной модели Anthropic, которая достигла прогресса в исследовании гипотезы Римана. Этот математический вопрос, касающийся распределения простых чисел, остается неразрешенным уже более 150 лет. За доказательство гипотезы Римана назначена награда в 1 миллион долларов, однако на момент публикации ни один исследователь не получил эту награду.
Согласно информации, предоставленной изданием TechCrunch, модель Anthropic самостоятельно координировала свою работу в течение примерно 36 часов. За это время она проверила 650 различных идей, задействовала 60 ИИ-агентов и сгенерировала около 31 миллиона токенов. Модель смогла увеличить нижнюю границу количества решений, для которых справедливость гипотезы была подтверждена. Результаты работы были проверены двумя математиками Anthropic, и доказательство было формализовано с помощью Lean.
Роль искусственного интеллекта в математике
В процессе работы над гипотезой Римана 2 агента занимались разработкой ключевых математических идей, 13 агентов помогали с поиском решений, тогда как другие агенты проверяли аргументы или работали над подготовкой исходного текста исследования. Этот случай является одним из многих, когда искусственный интеллект демонстрирует свою полезность в области математики. Ранее, в 2026 году, ИИ уже помогал решать ряд задач Эрдёша, а OpenAI сообщала о 10 математических результатах, полученных внутренней моделью Astra. Anthropic также проводит отдельную работу по опровержению гипотезы Якобиана.
В последнее время в мире математики возрастает обсуждение влияния искусственного интеллекта на традиционные принципы математической науки. В июне группа математиков подписала декларацию, в которой выразила опасения, что ИИ может изменить эти принципы. В декларации говорилось о том, что авторы доказательств должны лично нести ответственность за их правильность. Лауреат Филдсовской премии Тимоти Говертс отмечал, что влияние ИИ может изменить математику не только проблемным, но и позитивным образом.
«Влияние ИИ может изменить математику не только проблемным, но и позитивным образом.»
Тимоти Говертс
Прогресс модели Anthropic в исследовании гипотезы Римана подчеркивает растущую роль искусственного интеллекта в математических исследованиях. Этот случай может стать важным этапом в развитии сотрудничества между математикой и технологиями, использующими ИИ. В то же время растущее обсуждение этики и ответственности в использовании ИИ в математике может привести к формированию новых стандартов и принципов в этой области.
С развитием технологий искусственного интеллекта, таких как модель Anthropic, возникает множество вопросов о будущем науки и математики. В то время как Илон Маск прогнозирует, что ИИ сможет превзойти человеческий интеллект в ближайшие пять лет, важно задуматься о том, как это повлияет на традиционные методы исследования. Узнайте больше о мнении Маска и его взгляде на будущее искусственного интеллекта в нашем материале.