Совместно с Claude удалось улучшить результат доказательства для дзета-функции до 67,348%

Пользователь Reddit совместно с языковой моделью Claude достиг нового рекорда в формальном доказательстве гипотезы Римана, увеличив долю проверенных нулей до 67,348%. Этот результат превосходит предыдущее достижение самой Anthropic и демонстрирует растущую способность ИИ-инструментов к сложной математической формализации в рамках строгих вычислительных ограничений.