Rebabel — Ежедневные глобальные новости ИИ

Дневник ИИ

Claude завершил первое полное формальное доказательство… | AI Ежедневник 2026-09-06

Claude завершил первое полное формальное доказательство Великой теоремы Ферма: Anthropic объявила, что Claude за 11 дней завершил первое сквозное машинопроверяемое формальное доказательство многовеков