Ik heb een essay geschreven over bewijsassistenten in het tijdperk van AI.