L’intelligenza artificiale è usata per dimostrare nuovi risultati a un ritmo vertiginoso. Ed è solo l’inizio
Il punto di svolta è arrivato nell’estate del 2025. Nel mese di luglio, diversi modelli di intelligenza artificiale (IA) hanno risolto cinque problemi su sei alle Olimpiadi internazionali della matematica, una competizione annuale per alcuni dei migliori studenti delle scuole superiori del mondo.
Tra il 2025 e il 2026 i modelli linguistici hanno risolto problemi matematici aperti da decenni e ottenuto punteggi da medaglia…
Lo sviluppo della matematica, così come di altre discipline, lasciato in mano alle sole macchine potrebbe portare il settore ad…
Il risultato ottenuto da un chatbot riguardo a una congettura di 80 anni fa costituisce la prima dimostrazione basata sull’IA che…
I modelli sempre più avanzati hanno iniziato a cambiare un intero settore della ricerca, ma hanno bisogno di incoraggiamento
I modelli sperimentali di IA hanno risolto cinque prove su sei (ANSA)
Le capacità delle AI nel risolvere problemi di matematica pura sono cresciute a tal punto da spingere un gruppo di ricercatori a…
