DeepSeek ha presentato DeepSeekMath-V2, modello IA per dimostrazioni matematiche con ciclo generazione-verifica e ragionamento passo-passo. Basato su DeepSeek-V3.2-Exp-Base, ha ottenuto risultati eccellenti in competizioni internazionali ed è disponibile su HuggingFace e GitHub
Source link
