Något riktigt bra med autoformaliserings-AI är att vi kan vara mycket säkra på giltigheten av dessa genererade bevis. Detta är en verifieringsnivå som mycket av människoskrivet arbete saknar och som skulle gynnas av. Stort tack till @HarmonicMath fantastiska Aristoteles-modell!