Claude от Anthropic продвинулся в гипотезе Римана: нижняя оценка дзета-границы выросла с 41,6% до 67,2%
(Опубликовано 05.10.2026 на исследовательском сайте Anthropic; сообщено через агрегатор Ground News 07.10)
Главное
- Что сделано: неопубликованная исследовательская версия Claude от Anthropic подняла связанную с гипотезой Римана границу для дзета-функции с 41,6% до 67,2%. Математики десятилетиями продвигались к этой границе понемногу; ИИ одним махом поднял её намного выше.
- Достоверность: Anthropic не утверждает, что решила гипотезу Римана, и прямо ограничивает результат улучшением численной границы. Результат был механически проверен на языке формальных доказательств Lean и опубликован только после рецензирования внутренними математиками.
- Контекст: менее двух недель назад Anthropic завершила первую полную компьютерную формализацию Великой теоремы Ферма; несколько дней назад OpenAI разом выпустила 722 статьи, охватывающие 377 открытых математических задач.
- Почему это важно: математика становится новой ареной для передовых ИИ-лабораторий, заменяя рейтинги по программированию: соревнуются в том, чья модель способна выполнить настоящую работу, признанную математиками-людьми.
Источник: читать оригинал. Текст представляет собой краткое изложение и приведён только для справки.
