#mathematics
6 stories taggedmathematics.
Un'IA ha risolto un difficile problema aperto in matematica pura. I matematici sono scossi.
Il modello Astra di OpenAI ha risolto il problema dei gruppi non-sofici in teoria dei gruppi questo mese. Un matematico in attività spiega perché fino a poche settimane fa sembrava impossibile.
Will AI replace mathematicians? Probably not yet, say experts
About 40 top mathematicians met at OpenAI's offices this month to talk about their profession's future. The mood was worried. The evidence, though, tells a more complicated story.
AI Cracked Ten Hard Maths Problems in One Summer. Now Mathematicians Are Fighting Back.
OpenAI's models solved open problems that stumped humans for decades. The world's most celebrated mathematician says the field has until the end of 2025 to decide who controls its future.
An AI Just Verified the Hardest Prime-Number Proof Mathematicians Have Ever Checked
Axiom Math's AxiomProver confirmed a result that sits at the very edge of what we know about primes. The real prize, though, is what this means for the safety of AI-written code.
L'IA di OpenAI ha risolto 10 difficili problemi di matematica. Ora i matematici si chiedono quanto valgano i loro lavori.
Un nuovo modello di OpenAI ha risolto puzzle matematici irrisolti da decenni che hanno lasciato perplessi i ricercatori umani per anni. I risultati sono impressionanti. La controversia sul merito attribuito in uno di essi rappresenta un avvertimento su come i laboratori di IA parlano delle persone il cui lavoro utilizzano.
Verifica ultra-rapida di prove con IA: cosa significa un nuovo risultato matematico per validare dati enormi
I ricercatori hanno trovato un modo per verificare fatti approssimativi su dataset enormi leggendo solo una minuscola frazione dei dati, due volte. Ecco perché è importante.