ICYMI: Aristoteles formaliseert nu automatisch hele wiskundepapers