Claude помог анализировать тетради Курта Гёделя

Claude анализировал подготовленные транскрипции тетрадей Гёделя; заявление о новых доказательствах не подтверждено независимой оценкой.

Telegram@malepeg

Встроенный пост загружается с Telegram. Если он недоступен, откройте источник.

Открыть оригинал

В оригинальном посте показана история о применении Claude к записям Курта Гёделя. По материалу The Guardian, логик Ян фон Плато передал модели уже подготовленные транскрипции 16 тетрадей и справочную литературу — речь шла об анализе текстов, а не о самостоятельной расшифровке рукописей.

Фон Плато рассказал изданию, что за несколько дней получил 650-страничное объяснение и контролировал его постранично. Пост утверждает, что нашлись сотни ранее неизвестных доказательств, но доступные публикации не подтверждают правильность всех этих находок независимой оценкой математиков.

Шутка поста о врачебном почерке не свидетельствует об испытаниях Claude на медицинских записях.