Можно ли доверять доказательству, проверенному компьютером?

Lean может проверить вашу логику, но не может проверить ваши определения. И существует множество способов «обмануть». Так можно ли вообще доверять Lean? [Перезагружено в 1080p] Фрагмент из чата об инструментах ИИ от 17.09.2026. Еженедельно в 18:00 EST: https://tangentcode.com/ai-tools-chat