DeepSeek, un laboratorio di intelligenza artificiale cinese, ha aggiornato il suo modello AI Proverprogettato per risolvere prove e teoremi legati alla matematica, con il rilascio della versione V2 sulla piattaforma di sviluppo AI che abbraccia la faccia mercoledì.
L’ultima versione sembra essere costruita in cima al modello V3 di DeepSeek, che vanta 671 miliardi di parametri e utilizza un’architettura MIXHET OF-ESPERTS (MOE). Questa architettura consente al modello di suddividere le attività complesse nelle sottoinsieme e delegarle a componenti “esperti” specializzati.
Nel contesto dei modelli AI, i parametri sono una misura approssimativa delle capacità di risoluzione dei problemi di un modello. Deep -Week Ultimo Prover aggiornato ad agosto, descrivendolo come un modello personalizzato per il teorema formale e il ragionamento matematico.
L’aggiornamento arriva mentre DeepSeek continua ad espandere le sue offerte di intelligenza artificiale. A febbraio, Reuters ha riferito che la società stava prendendo in considerazione la prima volta di raccogliere finanziamenti esterni. Di recente, DeepSeek ha rilasciato una versione aggiornata del suo modello V3 per scopi generali e dovrebbe aggiornare presto il suo modello di “ragionamento” R1.
