Claude автоматизировал проверку сложнейших математических доказательств

Модель Claude за 11 дней выполнила задачу по формализации Великой теоремы Ферма, на которую у экспертов-людей могли уйти годы. Система сгенерировала 13 миллионов строк кода на языке Lean, подтверждая каждый шаг вычислений без участия человека.

Для развития продуктов этот кейс важен как демонстрация потенциала многоагентных систем в автоматизации сверхсложной логической проверки и работы с огромными массивами структурированных данных, где недопустимы ошибки.

Ссылка: https://www.anthropic.com/research/formalizing-fermats-last-theorem @AIandproducts