DeepSeek presenta un'IA matematica capace di verificare autonomamente i propri teoremi

DeepSeek ha annunciato il lancio di DeepSeekMath-V2, il suo nuovo modello avanzato dedicato al ragionamento matematico, con l'obiettivo di rivoluzionare il modo in cui l'intelligenza artificiale affronta la dimostrazione di teoremi e la risoluzione di problemi complessi.

Il cuore dell'innovazione è il ciclo generazione-verifica, una struttura che permette al modello di controllare e migliorare continuamente le proprie dimostrazioni. DeepSeek spiega che un verificatore, basato su un LLM e addestrato specificamente per la dimostrazione di teoremi, valuta l'accuratezza delle prove proposte.

Parallelamente, un generatore di prove viene addestrato usando questo verificatore come modello di ricompensa: in altre parole, il sistema è incentivato a riconoscere e correggere autonomamente i propri errori logici. Inoltre, grazie alla verification scaling, il modello è in grado di etichettare automaticamente nuove prove difficili da verificare, creando così dati addizionali per migliorare ulteriormente il verificatore.

I risultati del nuovo modello di DeepSeek

I risultati non hanno tardato ad arrivare. DeepSeekMath-V2 ha ottenuto performance di altissimo livello in recenti competizioni matematiche internazionali: punteggi "gold-level" all'IMO 2025 e al CMO 2024, oltre a uno straordinario 118/120 al Putnam 2024 utilizzando compute scalato in fase di test. Numeri che indicano una capacità di ragionamento matematico superiore a quella dei modelli precedenti e paragonabile alle prestazioni dei migliori studenti olimpici.

Basato su DeepSeek-V3.2-Exp-Base, il modello è già disponibile su HuggingFace, mentre per l'inferenza l'azienda suggerisce di consultare il repository dedicato su GitHub. La completa apertura del progetto, comprese documentazione e paper di ricerca, permette alla comunità scientifica di sperimentare, migliorare e sviluppare nuove applicazioni.

L'importanza di DeepSeekMath-V2 va oltre il mondo accademico: migliorare la capacità delle IA di comprendere e verificare concetti matematici complessi potrebbe accelerare scoperte in campi cruciali come la fisica teorica, la tecnologia avanzata e perfino la medicina. Sebbene non ci si debba aspettare una soluzione immediata ai Problemi del Millennio, modelli come questo rappresentano un passo importante verso quella direzione.