Claude за 11 дней подготовил доказательство математической задачи. Ее не могли решить 350 лет
Агенты Claude за 11 дней подготовили первую полностью проверенную компьютером версию доказательства Великой теоремы Ферма. Об этом 4 сентября рассказали в Anthropic. Checking that a major mathematical proof is correct…