теория чисел

Claude формализовал доказательство Великой теоремы Ферма за 11 дней

То, на что математики рассчитывали потратить годы, Claude сделал практически автономно: написал 13 млн строк кода и доказал 29 500 промежуточных теорем