L'IA antropica "formalizza" la prova dell'ultimo teorema di Fermat in soli 11 giorni

openDemocracyIndipendenteProgressista8 gg fa

L'articolo discute la crescente influenza dei tecnologi che lavorano all'interno di aziende private come OpenAI e Anthropic, che stanno modellando il futuro attraverso lo sviluppo dell'IA. Queste entità operano con un significativo sostegno finanziario, rendendo il loro potenziale collasso un importante rischio sociale. L'articolo sostiene che gli attuali sistemi democratici rimangono obsoleti, operando in un formato analogo mentre il panorama tecnologico si evolve rapidamente. Sottolinea la necessità di riforme istituzionali allineate con le capacità dell'IA, suggerendo che gli attori politici e della società civile devono guidare questa trasformazione piuttosto che i tecnologi. L'autore critica figure come Sam Altman e Dario Amodei per la mancanza di una visione per affrontare le sfide democratiche poste dall'IA, sottolineando che il vero progresso richiede la collaborazione tra i tecnologi e le istituzioni democratiche.

Lettura del bias (Progressista): L'articolo descrive la questione come un conflitto tra i tecnici (spesso associati agli interessi delle imprese) e le istituzioni democratiche, sottintendendo che queste ultime devono assumere la guida nella rivisitazione delle strutture di governance.

Financial TimesIndipendente🔒Centro11 gg fa

L'articolo discute gli sforzi compiuti dai banchieri associati a Anthropic e OpenAI per assicurarsi i migliori rating creditizi dopo le loro offerte pubbliche iniziali (IPO).

Lettura del bias (Centro): L'articolo si concentra sulle strategie aziendali relative ai rating creditizi e alle IPO, che non sono intrinsecamente politicamente caricate.

Nature NewsIndipendenteCentro12 gg fa

Un team guidato da Anthropic AI ha utilizzato un avanzato sistema di intelligenza artificiale per verificare formalmente la prova dell'ultimo teorema di Fermat in soli 11 giorni, un compito che in precedenza si pensava richiedesse agli esseri umani 10 anni. Il risultato segna un importante progresso nella capacità dell'intelligenza artificiale di tradurre prove matematiche complesse in codice verificabile dal computer. I matematici hanno espresso stupore per la velocità e la complessità del risultato, osservando che la formalizzazione dell'ultimo teorema di Fermat rappresenta un salto significativo rispetto alle precedenti pietre miliari dell'intelligenza artificiale, come la verifica della ricerca sul confezionamento di sfere. Il processo ha coinvolto la conversione della prova di Andrew Wiles del 1994, considerata una delle più grandi conquiste matematiche del XX secolo, in una prova formale di 13 milioni di righe utilizzando il linguaggio di programmazione Lean. Gli esperti suggeriscono che questo sviluppo dell'intelligenza artificiale evidenzia il ruolo crescente della prova sia nella verifica che nella ricerca matematica.

Lettura del bias (Centro): L'articolo discute di un risultato scientifico che coinvolge l'intelligenza artificiale e la matematica, senza alcun riferimento diretto alla politica, alla politica o alle figure pubbliche. Si concentra sui progressi tecnici e sulle reazioni degli esperti, presentando le informazioni in modo oggettivo senza apparenti inquadrature ideologiche.