Последняя теорема Фермата, формализованная агентами ИИ всего за 11 дней.
Преобразование доказательства последней теоремы Фермата в код, который компьютеры могут проверить, должно было занять годы Клод ИИ от Anthropic справился с этим менее чем за две недели
