Claude за 11 дней подготовил доказательство математической задачи. Ее не могли решить 350 лет

Агенты Claude за 11 дней подготовили первую полностью проверенную компьютером версию доказательства Великой теоремы Ферма. Об этом 4 сентября рассказали в Anthropic.

Результат касается формализации уже известного доказательства, опубликованного Эндрю Уайлсом в 1995 году. Claude перевел математические рассуждения в код, который система проверки доказательств Lean может проверить шаг за шагом.

#Claude
#11дней #математическаязадача #350лет
#CoinEx

Читать статью дальше👇
https://www.coinex.com/ru/feed/article/6a9d364a00bf360ccd7da3c2?type=0&share=1&channel=News&refer_code=h3684