Napisałem esej na temat asystentów dowodów w erze AI.