Тег: ai-formalization

ИИ

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

ИИ от Anthropic за 11 дней формализовал доказательство Великой теоремы Ферма, создав код из 13 млн строк на языке Lean.

5 сентября 2026 г., 12:39·3DNews - Daily Digital Digest