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!
Coś jest dla mnie bardzo jasne:
Wszystkie inne laboratoria są tak daleko za OpenAI w zakresie rozumowania, że to nawet nie jest bliskie. Inne laboratoria muszą opanować halucynacje i lenistwo.
