Addio intuizioni, benvenuti compilatori: Claude ha dimostrato l'Ultimo Teorema di Fermat

Addio intuizioni, benvenuti compilatori: Claude ha dimostrato l’Ultimo Teorema di Fermat

Un modello linguistico di Anthropic è riuscito a formalizzare in Lean uno dei problemi più celebri della storia. La matematica sta per cambiare faccia, e non sarà solo questione di calcoli, ma di verifica automatica.

Scopri di più Addio intuizioni, benvenuti compilatori: Claude ha dimostrato l’Ultimo Teorema di Fermat
Rebuild the hardware, save the software: perché i castori sono i sysadmin che ci servono

Rebuild the hardware, save the software: perché i castori sono i sysadmin che ci servono

E se vi dicessi che risolvere un disastro ecologico è una questione di smart engineering e non di miracoli? In California stanno usando dighe artificiali per rimediare a un bug ambientale, e i risultati sono impressionanti.

Scopri di più Rebuild the hardware, save the software: perché i castori sono i sysadmin che ci servono
K2 Horizon: La flotta di modelli AI che non ti vuole chiudere in un recinto

K2 Horizon: La flotta di modelli AI che non ti vuole chiudere in un recinto

IFM ha appena rilasciato K2 Horizon, un ecosistema di sei modelli open-source progettati per fare sul serio, dal coding ai task agentici. Finalmente un’alternativa che non sembra uscita da un comunicato stampa della Silicon Valley.

Scopri di più K2 Horizon: La flotta di modelli AI che non ti vuole chiudere in un recinto