Технологии
Anthropic Claude формализовала доказательство Великой теоремы Ферма
Anthropic при помощи одной из моделей искусственного интеллекта Claude построила проверяемую на компьютере версию чрезвычайно сложного математического доказательства.
Читать полностью
на сайте 3dnews.ru
