Claude за 11 дней подготовил доказательство математической задачи. Ее не могли решить 350 лет Агенты Claude з…
Claude за 11 дней подготовил доказательство математической задачи. Ее не могли решить 350 лет Агенты Claude за 11 дней подготовили первую полностью проверенную компьютером версию доказательства Великой теоремы Ферма. Об этом 4 сентября рассказали в Anthropic. Checking that a major mathematical proof is correct can take years. Formalization—converting the mathematical reas https://forklog.com/news/ai/claude-za-11-dnej-podgotovil-dokazatelstvo-matematicheskoj-zadachi-ee-ne-mogli-reshit-350-let
Автор: Forklog Новости криптовалюты