Claude формализовал Великую теорему Ферма в Lean
Anthropic заявила, что модель 11 дней почти автономно превращала знаменитое доказательство в машинно проверяемый код.
Теги
14Anthropic заявила, что модель 11 дней почти автономно превращала знаменитое доказательство в машинно проверяемый код.
Конец ленты