Формальные доказательства
Claude формализовал доказательство Великой теоремы Ферма за 11 дней
То, на что математики рассчитывали потратить годы, Claude сделал практически автономно: написал 13 млн строк кода и доказал 29 500 промежуточных теорем
GPT-5 предположительно самостоятельно решила открытую математическую задачу
Работа усиливает дискуссию о том, может ли ИИ вносить вклад в теорию