Anthropic: Claude за 11 дней написал на Lean доказательство Великой теоремы Ферма
По данным Anthropic, Claude в основном автономно написал полное формальное доказательство Великой теоремы Ферма на Lean. Доказательство опубликовано на GitHub для внешней проверки.
Anthropic↗