Anthropic Claude формализовала доказательство Великой теоремы Ферма

Anthropic при помощи одной из моделей искусственного интеллекта Claude построила проверяемую на компьютере версию чрезвычайно сложного математического доказательства. Источник изображения: anthropic.com