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!

GPT-5.2 este cu adevărat un model bun la matematică, domnule OpenAI gătea bine cu usturoiul ăsta

Ceva este foarte clar pentru mine: Toate celelalte laboratoare sunt atât de în urmă față de OpenAI la capitolul raționament și nici măcar nu se apropie. Celelalte laboratoare trebuie să controleze halucinațiile și lenea.