#Математика

Искусственный интеллект Claude успешно формализовал доказательство Великой теоремы Ферма

Разработчики из Anthropic сообщили о значительном достижении в области математической логики. Модель Claude успешно перевела сложное доказательство Великой теоремы Ферма на язык формальной верификации, открывая новые возможности для автоматизации фундаментальной науки.