Lean

Найдено 1 свежих публикаций

Сегодня, 6 сентября

Искусственный интеллект

Claude от Anthropic создал доказательство теоремы Ферма из 13 млн строк кода

Модель ИИ Claude от Anthropic за 11 дней создала первое в истории полное машиночитаемое доказательство Великой теоремы Ферма на языке Lean. Код объемом 13 миллионов строк опубликован на GitHub для независимой проверки учеными.

Показаны последние 50 статей по этому тегу