Jotain todella hienoa autoformalisointitekoälyssä on se, että voimme olla hyvin varmoja näiden luotettujen todistusten pätevyydestä. Tämä on sellainen varmistustaso, jota monet ihmisen kirjoittamat työt eivät saa ja josta se hyötyisi. Kiitos paljon @HarmonicMath:n loistavalle Aristoteleen mallille!