Что математикам следует знать ... Заметка

Что математикам следует знать о доказывателе теорем Lean: вопросы надежности и ИИ

[Это гостевой пост Томаса Хейлза. Этот пост изначально был написан в другом формате файла и преобразован с помощью ИИ. — Т.] Математики высказывались о том, что они ценят в математике. Для меня важна последовательность математики и ее непревзойденная надежность в поддержке науки и цивилизации. […]