Computer Science
Immergiti nell'affascinante universo della matematica con i nostri articoli avvincenti, scritti da esperti appassionati. Che tu sia un curioso appassionato o un matematico esperto, i nostri articoli coprono un'ampia gamma di argomenti, dai concetti fondamentali alle scoperte più recenti, passando per applicazioni pratiche e riflessioni filosofiche.
Terence Tao avverte: l’IA scrive dimostrazioni che nessuno riesce a leggere
Terence Tao mette in guardia da una nuova soglia: l’IA accelera la formalizzazione delle dimostrazioni, ma genera risultati troppo prolissi per essere compresi dagli esseri umani.
Quando l’IA «risolve» una congettura senza dimostrazione: la risposta dei matematici
La comunità matematica si mobilita di fronte agli annunci dell’IA. La Dichiarazione di Leiden traccia il confine tra generazione e verifica delle dimostrazioni.
Cervello umano e guida autonoma: un meccanismo biologico che rivoluziona l’IA
Un’équipe dell’Università di Valencia trasferisce un meccanismo della corteccia visiva nelle reti neurali, migliorando del 20% la guida autonoma in condizioni difficili.
Leibniz, lo Yi Jing e il sistema binario: un incontro improbabile
Scoprite come Leibniz, studiando il Libro dei mutamenti cinese, vi trovò una prefigurazione del sistema binario che rivoluzionerà l’informatica moderna.
Congettura abc: perché la verifica al computer potrebbe risolvere il più grande scandalo matematico
Dal 2012, la dimostrazione della congettura abc proposta da Shinichi Mochizuki divide la comunità matematica. Alcuni ricercatori ricorrono alla verifica formale assistita dal computer per dirimere finalmente la questione.
Busy Beaver: la funzione oltre ogni calcolabilità
La funzione Busy Beaver cresce più rapidamente di qualsiasi funzione calcolabile. Scoprite perché alcuni numeri sono matematicamente inaccessibili.
Terence Tao e l’intelligenza artificiale: ciò che cambiano nella matematica
Terence Tao, vincitore della medaglia Fields, racconta la sua esperienza con l’IA nella ricerca matematica: un partner d’esplorazione che trasforma il modo di formulare i problemi.
Concorso Alkindi 2026: finale di crittoanalisi per studenti delle medie all’École des Mines
Venti squadre di studenti della scuola secondaria di primo e secondo grado si sfidano il 13 maggio all’École des Mines di Parigi per conquistare il titolo di miglior crittoanalista junior di Francia.
Ace: il robot che batte i campioni di ping-pong grazie alla matematica
Scoprite come Ace, un robot che usa l’apprendimento per rinforzo e la visione a eventi, riesca a battere i campioni di ping-pong. Analisi della matematica alla base di questa prestazione pubblicata su Nature.
Econometria: misurare per capire | Insee
L’econometria rivela le relazioni causali nei fenomeni economici grazie alla matematica e alla statistica, al servizio delle politiche pubbliche.