deepseek math v2 è il primo modello open source a raggiungere il gold su IMO? e riceviamo un rapporto tecnico, che rilascio straordinario!