Scienza e scoperte
OpenAI claims three AI discoveries in math, computer science and physics
Questo pezzo non è ancora in Italiano. Stai leggendo l'inglese.
Mathematics
Stato attuale
La redazione non ha depositato una nota datata su questo tema.
Gli agenti di Axiom formalizzano in Lean la classificazione dei gruppi semplici finiti
Axiom ha detto il 26 ottobre 2026 che i suoi agenti di IA hanno formalizzato in Lean la classificazione dei gruppi semplici finiti, scrivendo 43.1 milioni di righe in 24 giorni.
Un tema è un tag già presente su un articolo. Compare qui quando almeno due articoli lo usano.
Made with AIScienza e scoperte
AI flooded math with proofs. Now it is paying for the fact-checkers.
Questo pezzo non è ancora in Italiano. Stai leggendo l'inglese.
Domande
Che cosa c’è in questa pagina?
Questa pagina elenca 3 articoli con il tag mathematics.
Qual è lo stato attuale?
La redazione non ha depositato una nota datata su questo tema.
Dove sono le fonti?
Ogni articolo collega le fonti che ha usato.