Napsal jsem esej o asistentech důkazů v době AI.