OpenAI ha appena rilasciato un dump di centinaia di soluzioni a problemi matematici aperti. Siamo di fronte a una nuova era della scoperta scientifica o solo a un much ado about nothing?
Scopri di più Matematica o Magia? Quando l’AI decide di risolvere i compiti (e noi restiamo a guardare)
Con l’avvento delle IA in grado di generare dimostrazioni matematiche, il vero valore della ricerca si sta spostando dalla scoperta del risultato alla capacità umana di interpretarlo. Un nuovo paradigma per i matematici del futuro.
Scopri di più L’era dei ‘Proof-Machine’: perché capire la matematica è più importante che risolverla
Mentre noi ci perdiamo in debugging di script Python o in configurazioni di server che non rispondono, la matematica pura ha appena celebrato i suoi nuovi eroi. Ecco cosa è successo al congresso di Filadelfia.
Scopri di più Matematica di alto livello: chi ha vinto la Medaglia Fields (e perché non ci interessa il PR-speak)
Un nuovo paper di Tristan Buckmaster mette in discussione la nostra comprensione della fluidodinamica. Forse il caos dei fluidi ha un ordine nascosto che non avevamo ancora visto.
Scopri di più Navier-Stokes: abbiamo finalmente risolto il boss finale della matematica?
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
Un ricercatore ha appena demolito una delle congetture più celebri della matematica moderna. Niente lobby, niente hype da Silicon Valley, solo pura e semplice algebra che spacca tutto.
Scopri di più Spoiler Alert: La matematica non è sempre quella che sembra (e la Congettura di Jacobian è ufficialmente morta)
Il calcolo avanzato sembra sempre richiedere un sacco di moduli diversi. Ma un nuovo paper suggerisce che, teoricamente, basti un unico operatore binario per generare tutte le funzioni elementari (sin, cos, log, ecc.). È una rivoluzione per i nerd del codice e per chi progetta hardware.
Scopri di più Basta librerie gigantesche: un singolo operatore può fare da calcolatrice scientifica?
Un documento del 1984 svela le gesta matematiche di Terence Tao a soli 8 anni. Scopriamo insieme perché questo pdf è un viaggio nel tempo per chi ama il geekismo estremo.
Scopri di più A 8 anni risolvo equazioni differenziali: la vita di un bambino prodigio secondo Terence Tao
Un’altra vittoria dell’IA? ChatGPT 5.2 Pro ha appena risolto un problema matematico di 50 anni, ma cosa significa per noi maker e hacker?
Scopri di più ChatGPT 5.2 Pro risolve l’enigma di Erdős 281: la matematica si arrende all’IA?
Un algoritmo ha appena risolto un problema matematico che resisteva da decenni. Ma cosa significa per noi smanettoni? Scopriamolo insieme, tra entusiasmo e scetticismo.
Scopri di più Un AI ha risolto un problema di Erdős: ma siamo davvero impressionati?