Coś naprawdę wspaniałego w autoformalizacji AI to to, że możemy być bardzo pewni ważności tych wygenerowanych dowodów. To jest poziom weryfikacji, którego wiele prac napisanych przez ludzi brakuje i z którego mogłoby skorzystać. Wielkie dzięki dla modelu Arystotelesa @HarmonicMath!