Noe veldig flott med autoformaliserings-AI er at vi kan være veldig sikre på gyldigheten av disse genererte bevisene. Dette er et nivå av verifisering som mye menneskeskrevet arbeid mangler og som ville hatt nytte av. Tusen takk til @HarmonicMath flotte Aristoteles-modell!
Noe er veldig klart for meg:
Alle de andre laboratoriene ligger så langt bak OpenAI når det gjelder resonnement, og det er ikke engang i nærheten. De andre laboratoriene må få kontroll på hallusinasjoner og latskap.
