Riemann Zeta Proof Leaderboard — Claude и новый рекорд проверки гипотезы Римана

🛠 Впечатляющий результат: Claude и разработчик улучшили предыдущую проверку гипотезы Римана до 67.348%! На сайте Riemann Zeta Proof Leaderboard представлены результаты проверок, основанные на строгих математических формализациях. Для подтверждения доказательства необходимо завершить валидацию на виртуальной машине с 2 CPU и 8 ГБ ОЗУ за 54 минуты. Это новшество открывает новые горизонты для математических исследований, так как требует от исследователей создавать более «усвояемые» для машин формализации. Если AI сможет объяснить доказательства человеку, а математики — AI, это изменит подход к математике.