Noe veldig flott med autoformaliserings-AI er at vi kan være veldig sikre på gyldigheten av disse genererte bevisene. Dette er et nivå av verifisering som mye menneskeskrevet arbeid mangler og som ville hatt nytte av. Tusen takk til @HarmonicMath flotte Aristoteles-modell!