Es war so eine lustige Episode, die ich aufgenommen habe, und ich habe mit @lacker über @acornprover und die Zukunft der Mathematik, formale Verifikation und AI geplaudert.