Anthropic says Claude worked "largely autonomously" over 11 days to formalize the proof of Fermat's Last Theorem in the Lean programming language (Anthropic)
Як ця новина вийшла в дайджесті
Claude від Anthropic самостійно формалізував доказ Великої теореми Ферма у Lean за 11 днів, що стало першим повністю автоматизованим комп’ютерно-перевіреним доведенням цієї задачі
Повний текст — на сайті видання
Ми не передруковуємо статті. Посилання веде напряму до Techmeme.
Читати оригінал →
Як новина потрапила у випуск
Множники, з яких склався ранг
0,65
=
0,95
релевантність
×
0,69
свіжість · 9,5 год
×
1,00
резонанс · 1 видання
×
0,99
вага джерела
«Новина про AI-модель Claude, яка формалізувала математичну теорему, це AI-дослідження.» — класифікатор, 0,95
Ще з теми AI того дня
Увесь випуск за 5 вересня
Усе, що дійшло до випуску того дня, і чому саме воно
До випуску →