Claude за пару дней расшифровал тетради Гёделя и нашёл сотни неизвестных доказанных теорем
AI unlocks Gödel's notebooks, said to contain hundreds of proved theorems
Логик Jan von Plato с 2017 года расшифровывал 1009 страниц рабочих тетрадей Kurt Gödel, написанных устаревшей немецкой стенографией Gabelsberger, — примерно страница в неделю. В сентябре он подключил Claude, и тот за пару дней выдал 650-страничный разбор: в тетрадях нашлись 663 теоремы с доказательствами или набросками, включая почти готовое доказательство независимости аксиомы выбора, которое Гёдель так и не опубликовал. Около 400 результатов подтвердил пруф-ассистент Coq.
«Люди читают по одной странице за раз и склонны забывать прочитанное. На то, чтобы прочитать около 50 страниц, у нас уходит год. Мы просто не в состоянии удержать в голове все разные части. А AI может связать все куски тысячи страниц. Он видит все записи Гёделя как единое целое».
- iltennico
Судя по тому, что рассказывают историки науки, Гёдель в любом случае был абсолютным перфекционистом, который в основном публиковал только безупречные работы. Его огромное количество заметок наверняка содержало очень острые идеи, но маловероятно, что он случайно и не осознавая этого создал бы новые блестящие, убедительные теоремы. Он был очень строгим критиком собственных трудов.
- hobo123
Истории про стенографию Габельсбергера кажутся мне смехотворными. Мой отец писал заметки в её собственной версии до самой смерти в 2020 году.
Официально (то есть в школах, где раньше преподавали стенографию) её давно заменили на «единую немецкую стенографию» (Deutsche Einheitskurzschrift, если не ошибаюсь), но он всегда считал Габельсбергера превосходным.
Что ж, может, он тоже был одним из тех шести человек в мире, кто мог её читать (или да, может, это было преувеличение, не уверен) :D
- agnosticmantis
ИИ не прокомментировал непротиворечивость или полноту записных книжек.
- imbiased
Не помню точную цитату, но, кажется, я читал, что Гёдель признался Эйнштейну (во время их прогулок в Принстоне), что глубоко обеспокоен тем, что его работа будет забыта. Знал бы он.
- ducttapecrown
Было бы интересно услышать об этих новых 14 темах логики, которые разрабатывал Гёдель!