Modelele lingvistice mari (LLM) au evoluat rapid în ultimii ani, devenind capabile să rezolve probleme complexe de matematică. Totuși, simpla obținere a unui răspuns numeric corect nu garantează un raționament riguros. DeepSeek-Math-V2 schimbă regulile jocului, introducând un sistem de raționament matematic auto-verificabil. Ce aduce nou DeepSeek-Math-V2 Verificator LLM dedicat pentru demonstrarea teoremelor. Generator de demonstrații […]