Тепер це повністю суб'єктивна кількість книг, які назавжди змінять ваші погляди на логіку та/або математику. Перша настільки коротка, що немає жодних виправдань, щоб її не прочитати. ⤵️

Дивовижно, що втілене когнітивне мистецтво вважається нормальним шляхом уперед у більшості людських діяльностей, і елітні спортсмени відкрито говорять про своє широке використання уявних репетицій — але коли математики розповідають ту саму історію, вони «дивакуваті» або «чисті слейти».

Я б назвав це «Сержем Ленгом у наступному офісному моменті»: коли я був постдоком у Єльському університеті, мій кабінет був поруч із ним. Коли я працював над своєю першою значною роботою, я застряг на лемі комутативної алгебри. Витративши кілька тижнів, я постукав у двері Сергія і запитав його. Приблизно за 1 хвилину він пояснив, чому лема тривіальна. Стаття потрапила до журналу «Винаходи», і це принесло мені постійну роботу в CNRS. Коли я думаю про те, як LLM змінить математичну кар'єру, я постійно думаю про цей момент.