L'annuncio del segretario alla Difesa americano a Panama

'Per dedicare più tempo alla sua famiglia e ai suoi splendidi figli piccoli'

'Un conto è quello che dice un altro la valutazione della sua credibilità'

'La scuola ha 28 nuove aule e 5 laboratori. Pronti ad accogliere 600 studenti'

Le parole del governatore ligure all'imprenditore: «Come al solito, di questi tempi» Spinelli a Signorini: «A 83 anni non mi possono fare niente»Le parole del governatore ligure all'imprenditore: «Come al solito, di questi tempi» Spinelli a Signorini: «A 83 anni non mi possono fare niente»Le parole del governatore ligure all'imprenditore: «Come al solito, di questi tempi» Spinelli a Signorini: «A 83 anni non mi possono fare niente»

Il sindaco di Genova: «Le mie parole sui maiali intercettate? Per ogni area nel porto si scatena la rissa. I soldi del ponte Morandi per un favore a Spinelli? È una falsità, quei soldi non c’entrano nulla»Il sindaco di Genova: «Le mie parole sui maiali intercettate? Per ogni area nel porto si scatena la rissa. I soldi del ponte Morandi per un favore a Spinelli? È una falsità, quei soldi non c’entrano nulla»

Domenico Oppedisano, padre di una bambina di nemmeno un anno, raggiunto da diversi proiettili. Era incensurato. Indagano i carabinieri. L’ipotesi di un regolamento di conti nell’ambito del controllo del legname

La denuncia alla Corte dei diritti per l’uomo: «Non è stato fatto abbastanza per scongiurare la peggiore minaccia all’umanità». Se vincessero la sentenza avrebbe valore di trattato e obbligherebbe a prendere misure drastiche

Una bomba «per il suo bene», per far «innalzare il livello di protezione» dell?amico «perché era minacciato da attentatori pericolosissimi». In...

Sigfrido Ranucci, nel post pubblicato ieri mentre era in corso l?interrogatorio di garanzia del suo grande amico Valter Lavitola, finito in carcere lunedì con l?accusa di...

Un forte temporale ha colpito Roma mercoledì 12 agosto. Ma il maltempo non accenna a fermarsi. In arrivo nuove piogge che porteranno le temperature a diminuire anche di 7 gradi, passando da...

Giornata al mare, grigliata a casa con gli amici oppure una gita fuori porta, ma all?ultimo momento ci si accorge che il frigo è vuoto e manca tutto il necessario. Nessun problema,...

Record grazie alla rivalutazione degli asset: solo un euro su cinque nasce da investimenti reali. Italiani tra i più ricchi e meno indebitati

L’intervista a Marco Piccitto, managing partner per il Mediterraneo di Mckinsey & company

Non ho intenzione di entrare nella diatriba ormai logora sull’uso della parola “intelligenza” per i Large Language Model (LLM) come ChatGPT, Gemini, Claude e soci. Sinceramente, le questioni terminologiche mi hanno stufato. Parliamo di fatti, invece. C’è stato un enorme progresso nell’uso di questi sistemi in un ambito delicato: la matematica. Un risultato degli ultimi giorni ha scosso la comunità, creando anche qualche crisi di identità. Tre anni fa feci un crudele esamino di matematica a ChatGPT, allora nella versione gratuita 3.5. In un post denunciai la sua tendenza a blaterare senza costrutto. Da allora le cose sono cambiate: le versioni più recenti mi hanno dato risposte sempre più precise e articolate. ChatGPT è divenuto un assistente veloce nel controllo di calcoli, anche se qualche errorino ci scappa ancora; si tratta pur sempre della versione generalista. I suoi cugini specializzati, quando ben diretti (cosa non banale), hanno fatto assai di più. Ho già parlato qui dei problemi delle Olimpiadi internazionali di matematica risolti da AlphaGeometry. Ma da tempo alcuni matematici – Terence Tao fra i primi – si fanno aiutare su problemi di ricerca, con risultati sempre più entusiasmanti, anche se ancora al vaglio di controlli formali. Traggo qualche dato dal bell’articolo di una collega. 20 maggio 2026: un sistema di OpenAI trova un controesempio a una congettura di Paul Erdős di 80 anni fa. Va be’, qualcuno dirà, ma Erdős produceva problemi a raffica; poi è più semplice trovare un controesempio che una dimostrazione (col cavolo, risponderei). Ho già parlato dei controesempi a commento del fantastico risultato di una ragazzina. Essi hanno una qualità comoda: sono verificabili con maggiore facilità e certezza che una dimostrazione. Eh, ma non ci sono solo controesempi! 10 luglio 2026: GPT 5.6 Sol Ultra produce una dimostrazione di una congettura di teoria dei grafi che resisteva dal 1978. La dimostrazione intreccia risultati di altri matematici (umani) e fornisce una chiara risposta in due pagine e mezza. 19 luglio 2026: Levent Alpöge, un matematico di Harvard, affronta col sistema Claude Fable 5 la “congettura dello jacobiano”, che resisteva da decenni. È una congettura importante per almeno due motivi: il motivo mondano è che un grande matematico, Steve Smale, la inserì nel 1999 in una lista di diciotto problemi rilevanti per il nuovo secolo. Ma il motivo più importante, per me, è che sembra quasi ovvio che la congettura sia vera; eppure Alpöge e Claude trovano un controesempio, cioè ne dimostrano la falsità! Non sto a riportare la congettura, potete trovarla nell’articolo citato. Vi posso dire, però, che è facilmente comprensibile per una matricola di Ingegneria, così come comprensibilissimo è il controesempio, dato in tre righe. Un noto collega, Corrado De Concini, ritiene che questi risultati mettano in discussione la natura della nostra professione. Ma la natura del lavoro di un matematico è continuamente in discussione, sia per cambiamenti di punti di vista filosofici, sia per l’uso di tecnologie in progresso. Penso al Teorema dei quattro colori, che venne dimostrato nel 1976 con l’uso di un supercalcolatore: il disagio non veniva tanto dal supporto di una macchina, quanto dalla difficoltà di verifica. Ma anche il lavoro di insegnante cambia le sue modalità con la disponibilità di strumenti avanzati. Anzi, che fortunati siamo noi, a godere di un progresso così rapido! Io non mi sento diminuito come matematico, quando uso un programma di calcolo come Macsyma o Matlab; mi sentirei diminuito se rinunciassi a usarlo! Trovo indispensabile che uno studente del primo anno sappia fare a mano certi conti, ma raccomando che uno studente del terzo li sappia impostare su una macchina. Non sono diventato più pigro; al contrario, affronto calcoli che qualche decennio fa non avrei nemmeno toccato. Per non parlare del passaggio dalla lavagna a GeoGebra, con cui posso illustrare la teoria di curve e superfici. Perché, allora, tanta diffidenza per i nuovi sistemi di IA e non per i programmi di calcolo o di grafica? Penso che sia per la inquietante vicinanza al comportamento (simil)umano: un LLM ha iniziativa, compie scelte, magari fa anche battute spiritose. Fra gli estremi di un frullatore e di un essere umano, forse collocheremmo un programma di puro calcolo più vicino al primo, nonostante tutto, e questo ci tranquillizza. Se il mio frullatore mi dicesse “Ehi, Max, ancora pesca e banana? Che noia!”, forse metterei in discussione la natura della mia merenda. L'articolo I sistemi Ai hanno fatto progressi in matematica. Ma c’è ancora molta diffidenza: ecco perché proviene da Il Fatto Quotidiano.

Quarta giornata di gare in vasca agli Europei di nuoto di Parigi. Giovedì 13 agosto gli azzurri tornano protagonisti con una nuova giornata ricca di appuntamenti, tra batterie al mattino e semifinali e finali in serata. A Parigi, in Francia, la sessione mattutina prenderà il via alle ore 9.30, mentre quella serale scatterà alle ore 18.30. Tra gli italiani attesi Jacopo Barbotti, Carlos D’Ambrosio, Marco De Tullio e Alessandro Ragaini nei 200 stile libero, mentre nei 100 farfalla donne toccherà a Paola Borrelli, Costanza Cocconcelli e Anita Gastaldi. Nei 50 dorso uomini spazio a Thomas Ceccon, Daniele Del Signore, Michele Lamberti e Francesco Lazzari, con Lisa Angiolini e Anna Pirovano impegnate nei 200 rana. In mattinata anche la 4×100 stile libero uomini e i 1500 stile libero donne con Simona Quadarella e Ginevra Taddeucci. In serata, invece, riflettori sulle finali dei 100 farfalla uomini, 50 dorso donne, 200 rana uomini, 200 stile libero donne e sulla staffetta 4×100 stile libero uomini. Ecco orario, programma e dove vedere le gare di giornata in tv e streaming di giovedì 13 agosto 2026. L'articolo Europei di nuoto: torna in piscina Quadarella, poi anche D’Ambrosio e Ceccon | Programma, orari e dove vedere in tv e streaming proviene da Il Fatto Quotidiano.

Grain exports from both Russia and Ukraine are falling as both countries attack each other's shipping facilities and ports.

A remarkably well-preserved motorcycle and identification tags were found alongside the bodies.

Donald Trump’s second term has been defined by tariffs, but experts question whether they actually work.

Karoline Leavitt has announced that she will be stepping down from her position as White House press secretary.