
Afirmațiile matematice ale OpenAI expun blocajul verificării în AI
Rapoartele despre modele OpenAI care rezolvă probleme majore de matematică indică o problemă mai profundă: generarea de demonstrații devine mai ieftină, în timp ce verificarea, atribuirea și publicarea avansează încă în ritm uman.













