Terence Tao | What's new на русском
Подписаться
Что математикам следует знать о доказывателе теорем Lean: вопросы надежности и ИИ
[Это гостевой пост Томаса Хейлза. Этот пост изначально был написан в другом формате файла и преобразован с помощью ИИ. — Т.] Математики высказывались о том, что они ценят в математике. Для меня важна последовательность математики и ее непревзойденная надежность в поддержке науки и цивилизации. […]