AlphaProof Nexus di Google DeepMind risolve problemi matematici aperti e supera la revisione paritaria
decoder ·
Uno studio pubblicato su Science rivela che AlphaProof Nexus di Google DeepMind ha risolto con successo decine di problemi matematici aperti. Il sistema di intelligenza artificiale ha superato nove dei 353 problemi aperti di Erdős, inclusi due che erano rimasti irrisolti per 56 anni. Inoltre, ha dimostrato 44 congetture del database OEIS di sequenze intere e ha risolto una questione aperta in geometria algebrica. Il modello si basa su Gemini 3.1 Pro e utilizza il linguaggio formale Lean per redigere e verificare iterativamente le dimostrazioni. Per sotto-problemi complessi, può avvalersi di AlphaProof, uno strumento specializzato nella dimostrazione, sebbene abbia ottenuto risultati significativi anche senza di esso. Questo approccio rigoroso contrasta con le recenti controversie in cui altre aziende di IA hanno pubblicato dimostrazioni direttamente su GitHub senza revisione paritaria. In risposta alle chiamate al boicottaggio da parte dei matematici, DeepMind ha assicurato che il suo lavoro sottoponesse alla tradizionale scrutinio accademico.
decoder