Něco opravdu skvělého na autoformalizační AI je, že můžeme být velmi jistí ohledně platnosti těchto generovaných důkazů. To je úroveň ověření, kterou mnoho lidských textů postrádá a která by z ní měla prospěch. Moc díky @HarmonicMath skvělému Aristotelovu modelu!