Вы могли это пропустить: Агенты Claude за 11 дней подготовили первую полностью проверенную компьютером версию доказательства Великой теоремы Ферма. Об этом 4 сентября рассказали в Anthropic.
https://forklog.com/news/ai/claude-za-11-dnej-podgotovil-dokazatelstvo-matematicheskoj-zadachi-ee-ne-mogli-reshit-350-let

@forklogfeed