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!
Något är väldigt tydligt för mig:
Alla andra labb ligger så mycket efter OpenAI när det gäller resonemang och det är inte ens i närheten. De andra labben behöver få kontroll över hallucinationer och lathet.
