AI Just Solved a 350-Year-Old Math Problem By Writing the Longest Proof Ever
Ілюстрація видання Decrypt
Як ця новина вийшла в дайджесті
AI Claude від Anthropic довело Fermat’s Last Theorem у формалізованій формі за 11 днів, створивши 13 мільйонів рядків коду — найдовший формальний доказ в історії, який перевірили комп’ютерно
Повний текст — на сайті видання
Ми не передруковуємо статті. Посилання веде напряму до Decrypt.
Читати оригінал →
Як новина потрапила у випуск
Множники, з яких склався ранг
0,50
=
0,95
релевантність
×
0,52
свіжість · 17 год
×
1,00
резонанс · 1 видання
×
1,02
вага джерела
«Новина про наукове досягнення AI у математиці, доведення теореми, отже Science.» — класифікатор, 0,95
Ще з теми Science того дня
Увесь випуск за 6 вересня
Усе, що дійшло до випуску того дня, і чому саме воно
До випуску →