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!
Něco mi je velmi jasné:
Všechny ostatní laboratoře jsou v uvažování za OpenAI tak pozadu a ani zdaleka se tomu nepřibližuje. Ostatní laboratoře musí dostat halucinace a lenost pod kontrolu.
