@anthropicai
Anthropic объявила о крупном достижении: Claude завершил первую формализованную проверку доказательства Великой теоремы Ферма в системе Lean. Это крупнейшее доказательство на Lean — более 13 миллионов строк кода, включающее свыше 29 000 вспомогательных теорем. Эксперты считали, что эта задача потребует многих лет работы.