Нейросеть Anthropic за 36 часов совершила крупнейший прорыв в 150-летней математической проблеме
10–11 августа 2026 года Anthropic объявила, что неанонсированная исследовательская версия Claude совершила значительный прогресс в задаче, связанной с гипотезой Римана [2][3]. Модель подняла нижнюю границу доли нетривиальных нулей дзета функции Римана, лежащих на критической прямой, с 41,6% до 67,2% [5][6] — это кру...
ОпубликовалИзображения созданы с помощью GPT Image 1.5
10–11 августа 2026 года Anthropic объявила, что неанонсированная исследовательская версия Claude совершила значительный прогресс в задаче, связанной с гипотезой Римана [2][3].
Модель подняла нижнюю границу доли нетривиальных нулей дзета функции Римана, лежащих на критической прямой, с 41,6% до 67,2% [5][6] — это крупнейшее единовременное улучшение данного показателя в истории [6].
Гипотеза Римана не доказана (она остаётся одной из семи «задач тысячелетия» с призом в $1 млн), но полученный результат является подлинной теоремой в области аналитической теории чисел [4][13].
За 1,5 дня модель протестировала около 650 кандидатурных подходов, координируя работу 60 суб агентов, и израсходовала 31 миллион выходных токенов [1][2][3].
What progress did an unreleased Anthropic model make on the Riemann hypothesis, and how does this achievement—including the model's autonomoAI-generated editorial hero image for What progress did an unreleased Anthropic model make on the Riemann hypothesis, and how does this achievement—including the model's autonomo.
Промпт ИИ
Create a landscape editorial hero image for this Studio Global article: What progress did an unreleased Anthropic model make on the Riemann hypothesis, and how does this achievement—including the model's autonomo. Article summary: Let me search for information on this topicLet me search for the broader context of AI mathematical breakthroughs in 2026 and the debates around authorship and standards What the Anthropic model achieved On August 10–11,. Topic tags: general web, openai, chatgpt, llm, agents. Style: premium digital editorial illustration, source-backed research mood, clean composition, high detail, modern web publication hero. Use reference image context only for broad subject, composition, and topical grounding; do not copy the exact image. Avoid: logos, brand marks, copyrighted characters, real person likenesses, fake screenshots, UI text, readable text, watermarks, charts wi
openai.com
Что сделала модель Anthropic
10–11 августа 2026 года компания Anthropic объявила, что неанонсированная исследовательская версия её модели Claude добилась значительного прогресса в задаче, связанной с гипотезой Римана. В частности, модель повысила давно установленную нижнюю границу доли нетривиальных нулей дзета-функции Римана, которые лежат на критической прямой, — с 41,6% до 67,2%. Это данного показателя за всю историю . Модель саму гипотезу Римана (она остаётся одной из семи «задач тысячелетия» с призом в $1 млн), но полученный результат является подлинной теоремой в области аналитической теории чисел .
Studio Global AI
Продолжайте свое исследование
На этой странице есть ответ, подтвержденный источником, который вы можете продолжить внутри Studio Global.
Каков краткий ответ на вопрос «Нейросеть Anthropic за 36 часов совершила крупнейший прорыв в 150-летней математической проблеме»?
10–11 августа 2026 года Anthropic объявила, что неанонсированная исследовательская версия Claude совершила значительный прогресс в задаче, связанной с гипотезой Римана [2][3].
Какие ключевые моменты необходимо проверить в первую очередь?
10–11 августа 2026 года Anthropic объявила, что неанонсированная исследовательская версия Claude совершила значительный прогресс в задаче, связанной с гипотезой Римана [2][3]. Модель подняла нижнюю границу доли нетривиальных нулей дзета функции Римана, лежащих на критической прямой, с 41,6% до 67,2% [5][6] — это крупнейшее единовременное улучшение данного показателя в истории [6].
Что мне делать дальше на практике?
Гипотеза Римана не доказана (она остаётся одной из семи «задач тысячелетия» с призом в $1 млн), но полученный результат является подлинной теоремой в области аналитической теории чисел [4][13].
Нейросеть Anthropic за 36 часов совершила крупнейший прорыв в 150-летней математической проблеме
10–11 августа 2026 года Anthropic объявила, что неанонсированная исследовательская версия Claude совершила значительный прогресс в задаче, связанной с гипотезой Римана [2][3]. Модель подняла нижнюю границу доли нетривиальных нулей дзета функции Римана, лежащих на критической прямой, с 41,6% до 67,2% [5][6] — это кру...
ОпубликовалИзображения созданы с помощью GPT Image 1.5
10–11 августа 2026 года Anthropic объявила, что неанонсированная исследовательская версия Claude совершила значительный прогресс в задаче, связанной с гипотезой Римана [2][3].
Модель подняла нижнюю границу доли нетривиальных нулей дзета функции Римана, лежащих на критической прямой, с 41,6% до 67,2% [5][6] — это крупнейшее единовременное улучшение данного показателя в истории [6].
Гипотеза Римана не доказана (она остаётся одной из семи «задач тысячелетия» с призом в $1 млн), но полученный результат является подлинной теоремой в области аналитической теории чисел [4][13].
За 1,5 дня модель протестировала около 650 кандидатурных подходов, координируя работу 60 суб агентов, и израсходовала 31 миллион выходных токенов [1][2][3].
What progress did an unreleased Anthropic model make on the Riemann hypothesis, and how does this achievement—including the model's autonomoAI-generated editorial hero image for What progress did an unreleased Anthropic model make on the Riemann hypothesis, and how does this achievement—including the model's autonomo.
Промпт ИИ
Create a landscape editorial hero image for this Studio Global article: What progress did an unreleased Anthropic model make on the Riemann hypothesis, and how does this achievement—including the model's autonomo. Article summary: Let me search for information on this topicLet me search for the broader context of AI mathematical breakthroughs in 2026 and the debates around authorship and standards What the Anthropic model achieved On August 10–11,. Topic tags: general web, openai, chatgpt, llm, agents. Style: premium digital editorial illustration, source-backed research mood, clean composition, high detail, modern web publication hero. Use reference image context only for broad subject, composition, and topical grounding; do not copy the exact image. Avoid: logos, brand marks, copyrighted characters, real person likenesses, fake screenshots, UI text, readable text, watermarks, charts wi
openai.com
Что сделала модель Anthropic
10–11 августа 2026 года компания Anthropic объявила, что неанонсированная исследовательская версия её модели Claude добилась значительного прогресса в задаче, связанной с гипотезой Римана. В частности, модель повысила давно установленную нижнюю границу доли нетривиальных нулей дзета-функции Римана, которые лежат на критической прямой, — с 41,6% до 67,2%. Это данного показателя за всю историю . Модель саму гипотезу Римана (она остаётся одной из семи «задач тысячелетия» с призом в $1 млн), но полученный результат является подлинной теоремой в области аналитической теории чисел .
Studio Global AI
Продолжайте свое исследование
На этой странице есть ответ, подтвержденный источником, который вы можете продолжить внутри Studio Global.
Каков краткий ответ на вопрос «Нейросеть Anthropic за 36 часов совершила крупнейший прорыв в 150-летней математической проблеме»?
10–11 августа 2026 года Anthropic объявила, что неанонсированная исследовательская версия Claude совершила значительный прогресс в задаче, связанной с гипотезой Римана [2][3].
Какие ключевые моменты необходимо проверить в первую очередь?
10–11 августа 2026 года Anthropic объявила, что неанонсированная исследовательская версия Claude совершила значительный прогресс в задаче, связанной с гипотезой Римана [2][3]. Модель подняла нижнюю границу доли нетривиальных нулей дзета функции Римана, лежащих на критической прямой, с 41,6% до 67,2% [5][6] — это крупнейшее единовременное улучшение данного показателя в истории [6].
Что мне делать дальше на практике?
Гипотеза Римана не доказана (она остаётся одной из семи «задач тысячелетия» с призом в $1 млн), но полученный результат является подлинной теоремой в области аналитической теории чисел [4][13].
Прорыв стал результатом поразительного мультиагентного подхода:
Сотрудник Anthropic без серьёзного математического образования попросил модель «по-настоящему взяться» за доказательство гипотезы .
Примерно за 1,5 дня модель протестировала около 650 кандидатурных подходов, координируя работу 60 суб-агентов.
Запуск израсходовал 31 миллион выходных токенов в двух сессиях, выполнил 2400 команд в оболочке и проанализировал 54 статьи с arXiv.
Из 60 суб-агентов только два разработали ключевую математическую идею .
Победный подход объединил работу Энрико Бомбьери (2000 г.) с более новыми результатами — комбинацию, которую ранее не собрал ни один человек .
Процесс верификации
Два штатных математика Anthropic — Левент Алпёге и Ральф Фурманяк — проверили и подтвердили доказательство . Затем аргумент был формализован в Lean — интерактивном доказателе теорем, что дало машинно-проверяемый сертификат корректности . Такая двойная валидация (экспертная рецензия + формальная верификация) считается золотым стандартом для ИИ-сгенерированных математических результатов.
Переломный 2026 год: новый этап ИИ в математике
Улучшение границы Римана моделью Claude — не изолированное событие. 2026 год ознаменовался ускоряющейся чередой ИИ-прорывов в математике:
Май 2026 г. — OpenAI объявила, что неанонсированная модель общего назначения автономно опровергла гипотезу Эрдёша о единичных расстояниях — открытую проблему 80-летней давности .
Май 2026 г. — AlphaProof Nexus от Google DeepMind решила девять открытых задач Эрдёша (некоторые не решались 56 лет) и доказала 44 гипотезы из Онлайн-энциклопедии целочисленных последовательностей — все формализованы в Lean .
Июль 2026 г. — математик Anthropic Левент Алпёге с помощью неанонсированной модели «Fable 5» нашёл контрпример к гипотезе Якоби, сформулированной в 1939 году .
Август 2026 г. — модель OpenAI Astra якобы решила десять задач десятилетней давности примерно за $2000 вычислительных затрат, опубликовав машинно-проверяемые доказательства в Lean на GitHub .
Многие комментаторы отметили, что в середине 2026 года область перешла порог: ИИ-системы перешли от решения конкурсных задач к генерации публикуемых исследований уровня открытых проблем .
Дебаты: авторство, стандарты и Лейденская декларация
Стремительный прогресс ИИ в математике вызвал интенсивные дискуссии:
В июне 2026 г. группа из 16 математиков опубликовала Лейденскую декларацию об искусственном интеллекте и математике, рекомендующую новые стандарты структуры доказательств, указания авторства и человеческого контроля за ИИ-результатами . Декларация впоследствии обсуждалась Международным математическим союзом .
Ключевые противоречия: Кто получает авторство, если доказательство генерирует ИИ? Может ли область сохранить эпистемическое доверие, если доказательства слишком длинны или новы для проверки человеком без формальных инструментов? И как журналам следует рецензировать результаты, которые ни один человек не смог бы получить в одиночку ?
Некоторые математики утверждают, что ИИ-сгенерированные доказательства рискуют подорвать понимание и объяснительную ценность — доказательство может быть верным, но непрозрачным . Другие видят в формальной верификации в Lean более строгий стандарт, чем традиционное рецензирование .
Что это значит для способности ИИ совершать научные открытия
Результат Anthropic по границе Римана продвигает дискуссию в нескольких конкретных аспектах:
Масштаб автономного поиска имеет значение. Тестирование 650 идей с помощью 60 суб-агентов демонстрирует, что мультиагентные архитектуры могут выполнять систематический поиск в масштабе, недоступном ни одной человеческой исследовательской группе за тот же период . Это смещает вопрос с «Может ли ИИ заниматься математикой?» на «Как нам интегрировать широкомасштабное ИИ-исследование в конвейер научных открытий?»
Серендипный синтез возможен. Тот факт, что модель без математического образования объединила работу Бомбьери (2000 г.) с более новыми результатами — комбинацию, которую не видел ни один человек, — показывает, что ИИ может совершать неочевидные концептуальные связи между разрозненными областями литературы . Эта способность напрямую отвечает на ключевое сомнение: являются ли LLM лишь интерполяторами или могут совершать подлинные открытия.
Формальная верификация решает проблему доверия. Формализация в Lean означает, что результат — не заявление из «чёрного ящика». Это доказуемо корректная теорема, которую любой математик может проверить механически . Это даёт шаблон для того, как делать ИИ-сгенерированные научные результаты верифицируемыми, снимая одно из самых сильных возражений против ИИ-открытий.
Дебаты об авторстве и стандартах конструктивны, а не парализующи. Одновременное появление как впечатляющих результатов (DeepMind, OpenAI, Anthropic), так и институциональных ответов сообщества (Лейденская декларация) говорит о том, что математическое сообщество адаптируется, а не отступает. Текущий разговор сосредоточен на нормах и признании, а не на отторжении ИИ-результатов в целом.
Стоимость и скорость открытий стремительно падают. $2000 вычислительных затрат на результаты OpenAI Astra и 36-часовой оборот для границы Римана от Claude говорят о том, что предельные затраты на публикуемое математическое открытие приближаются к нулю. Это имеет глубокие последствия для того, какие вопросы выбирают для исследования учёные и кто может участвовать в математических исследованиях.
Краткий итог: Улучшение границы Римана моделью Anthropic — знаковая демонстрация того, что ИИ-системы теперь могут автономно совершать публикуемые, формально верифицируемые математические открытия, продвигающие 150-летнюю открытую проблему. В сочетании с чередой аналогичных прорывов в 2026 году это переводит дискуссию из плоскости «может ли ИИ вносить вклад в научные открытия» в плоскость «как научному сообществу выстроить стимулы, атрибуцию и верификацию для нового класса ИИ-соавторов».
en.wikipedia.org
Leiden Declaration on Artificial Intelligence and Mathematics - Wikipedia
Прорыв стал результатом поразительного мультиагентного подхода:
Сотрудник Anthropic без серьёзного математического образования попросил модель «по-настоящему взяться» за доказательство гипотезы .
Примерно за 1,5 дня модель протестировала около 650 кандидатурных подходов, координируя работу 60 суб-агентов.
Запуск израсходовал 31 миллион выходных токенов в двух сессиях, выполнил 2400 команд в оболочке и проанализировал 54 статьи с arXiv.
Из 60 суб-агентов только два разработали ключевую математическую идею .
Победный подход объединил работу Энрико Бомбьери (2000 г.) с более новыми результатами — комбинацию, которую ранее не собрал ни один человек .
Процесс верификации
Два штатных математика Anthropic — Левент Алпёге и Ральф Фурманяк — проверили и подтвердили доказательство . Затем аргумент был формализован в Lean — интерактивном доказателе теорем, что дало машинно-проверяемый сертификат корректности . Такая двойная валидация (экспертная рецензия + формальная верификация) считается золотым стандартом для ИИ-сгенерированных математических результатов.
Переломный 2026 год: новый этап ИИ в математике
Улучшение границы Римана моделью Claude — не изолированное событие. 2026 год ознаменовался ускоряющейся чередой ИИ-прорывов в математике:
Май 2026 г. — OpenAI объявила, что неанонсированная модель общего назначения автономно опровергла гипотезу Эрдёша о единичных расстояниях — открытую проблему 80-летней давности .
Май 2026 г. — AlphaProof Nexus от Google DeepMind решила девять открытых задач Эрдёша (некоторые не решались 56 лет) и доказала 44 гипотезы из Онлайн-энциклопедии целочисленных последовательностей — все формализованы в Lean .
Июль 2026 г. — математик Anthropic Левент Алпёге с помощью неанонсированной модели «Fable 5» нашёл контрпример к гипотезе Якоби, сформулированной в 1939 году .
Август 2026 г. — модель OpenAI Astra якобы решила десять задач десятилетней давности примерно за $2000 вычислительных затрат, опубликовав машинно-проверяемые доказательства в Lean на GitHub .
Многие комментаторы отметили, что в середине 2026 года область перешла порог: ИИ-системы перешли от решения конкурсных задач к генерации публикуемых исследований уровня открытых проблем .
Дебаты: авторство, стандарты и Лейденская декларация
Стремительный прогресс ИИ в математике вызвал интенсивные дискуссии:
В июне 2026 г. группа из 16 математиков опубликовала Лейденскую декларацию об искусственном интеллекте и математике, рекомендующую новые стандарты структуры доказательств, указания авторства и человеческого контроля за ИИ-результатами . Декларация впоследствии обсуждалась Международным математическим союзом .
Ключевые противоречия: Кто получает авторство, если доказательство генерирует ИИ? Может ли область сохранить эпистемическое доверие, если доказательства слишком длинны или новы для проверки человеком без формальных инструментов? И как журналам следует рецензировать результаты, которые ни один человек не смог бы получить в одиночку ?
Некоторые математики утверждают, что ИИ-сгенерированные доказательства рискуют подорвать понимание и объяснительную ценность — доказательство может быть верным, но непрозрачным . Другие видят в формальной верификации в Lean более строгий стандарт, чем традиционное рецензирование .
Что это значит для способности ИИ совершать научные открытия
Результат Anthropic по границе Римана продвигает дискуссию в нескольких конкретных аспектах:
Масштаб автономного поиска имеет значение. Тестирование 650 идей с помощью 60 суб-агентов демонстрирует, что мультиагентные архитектуры могут выполнять систематический поиск в масштабе, недоступном ни одной человеческой исследовательской группе за тот же период . Это смещает вопрос с «Может ли ИИ заниматься математикой?» на «Как нам интегрировать широкомасштабное ИИ-исследование в конвейер научных открытий?»
Серендипный синтез возможен. Тот факт, что модель без математического образования объединила работу Бомбьери (2000 г.) с более новыми результатами — комбинацию, которую не видел ни один человек, — показывает, что ИИ может совершать неочевидные концептуальные связи между разрозненными областями литературы . Эта способность напрямую отвечает на ключевое сомнение: являются ли LLM лишь интерполяторами или могут совершать подлинные открытия.
Формальная верификация решает проблему доверия. Формализация в Lean означает, что результат — не заявление из «чёрного ящика». Это доказуемо корректная теорема, которую любой математик может проверить механически . Это даёт шаблон для того, как делать ИИ-сгенерированные научные результаты верифицируемыми, снимая одно из самых сильных возражений против ИИ-открытий.
Дебаты об авторстве и стандартах конструктивны, а не парализующи. Одновременное появление как впечатляющих результатов (DeepMind, OpenAI, Anthropic), так и институциональных ответов сообщества (Лейденская декларация) говорит о том, что математическое сообщество адаптируется, а не отступает. Текущий разговор сосредоточен на нормах и признании, а не на отторжении ИИ-результатов в целом.
Стоимость и скорость открытий стремительно падают. $2000 вычислительных затрат на результаты OpenAI Astra и 36-часовой оборот для границы Римана от Claude говорят о том, что предельные затраты на публикуемое математическое открытие приближаются к нулю. Это имеет глубокие последствия для того, какие вопросы выбирают для исследования учёные и кто может участвовать в математических исследованиях.
Краткий итог: Улучшение границы Римана моделью Anthropic — знаковая демонстрация того, что ИИ-системы теперь могут автономно совершать публикуемые, формально верифицируемые математические открытия, продвигающие 150-летнюю открытую проблему. В сочетании с чередой аналогичных прорывов в 2026 году это переводит дискуссию из плоскости «может ли ИИ вносить вклад в научные открытия» в плоскость «как научному сообществу выстроить стимулы, атрибуцию и верификацию для нового класса ИИ-соавторов».
en.wikipedia.org
Leiden Declaration on Artificial Intelligence and Mathematics - Wikipedia
