Il modello di intelligenza artificiale di Anthropic compie un importante passo avanti nell'Ipotesi di Riemann, vecchia di 150 anni

L'Ipotesi di Riemann, uno dei più grandi problemi della matematica che attende di essere risolto da oltre 150 anni e che mette in palio un premio di 1 milione di dollari, è finita nel mirino dell'intelligenza artificiale. Un modello di intelligenza artificiale sviluppato da Anthropic, non ancora rilasciato sul mercato, pur non essendo riuscito a risolvere completamente il problema, è riuscito ad aumentare significativamente il limite inferiore noto per le soluzioni in cui l'ipotesi è valida.

UTILIZZATE 650 IDEE DIVERSE E 60 SOTTO-AGENTI

Il processo è iniziato quando un dipendente di Anthropic, senza una formazione matematica avanzata, ha chiesto al modello di dimostrare l'Ipotesi di Riemann. Il sistema, lavorando ininterrottamente per circa un giorno e mezzo, ha coordinato il lavoro stabilendo una vasta rete di collaborazione.

Durante lo studio sono stati generati 31 milioni di token di output, sono state testate 650 diverse idee di soluzione e in questo processo sono stati impiegati 60 diversi sotto-agenti di intelligenza artificiale. Mentre due sotto-agenti hanno sviluppato idee matematiche fondamentali, 13 agenti hanno fornito loro idee di supporto. 30 agenti hanno tentato di produrre nuovi argomenti ma non ci sono riusciti. Dei restanti agenti, 13 hanno verificato la correttezza degli argomenti prodotti e gli ultimi due hanno trasformato il lavoro in un articolo.

I RISULTATI SONO STATI CONFERMATI DAI MATEMATICI

Le scoperte raggiunte dal modello sono state esaminate e approvate da due matematici umani che lavorano presso Anthropic. I risultati ottenuti sono stati inoltre convertiti in un formato ufficiale utilizzando Lean, l'assistente di dimostrazione matematica open source.

Il premio di 1 milione di dollari, che sarà assegnato a chiunque riesca a fornire una dimostrazione generale dell'Ipotesi di Riemann, direttamente collegata alla distribuzione dei numeri primi, rimane ancora senza vincitore.

IL RUOLO DELL'INTELLIGENZA ARTIFICIALE IN MATEMATICA CREA DIBATTITO

Questo passo di Anthropic ha riacceso le discussioni sul ruolo dei modelli linguistici di grandi dimensioni nella ricerca scientifica e matematica. All'inizio di quest'anno, diversi sistemi di intelligenza artificiale sono stati utilizzati per risolvere i problemi di Erdős e il modello interno Astra di OpenAI ha dimostrato con successo 10 importanti risultati matematici. In un'altra ricerca di Anthropic, è stato dimostrato che la congettura dello Jacobiano, a lungo dibattuta, era errata.

Questa rapida ascesa dell'intelligenza artificiale nella ricerca matematica ha diviso gli esperti del settore. In un manifesto pubblicato a giugno da eminenti matematici, è stato lanciato un avvertimento sul fatto che l'intelligenza artificiale potrebbe danneggiare i processi di dimostrazione tradizionali. Nel documento è stata sottolineata l'importanza di attribuire le scoperte matematiche ai veri autori che se ne assumono la responsabilità e che ricevono il merito per il successo.

Fonte della notizia: 12punto