Un lucru cu adevărat grozav la AI-ul de autoformalizare este că putem fi foarte încrezători în validitatea acestor demonstrații generate. Acesta este un nivel de verificare pe care multe lucrări scrise de oameni nu îl au și de care ar beneficia. Mulțumesc mult modelului @HarmonicMath Aristotel excelent!