IA & Filosofia Matematica & Logica La congettura Certezza-Ampiezza: dal teorema alla confutazione, una mappa dei limiti dell’IA 25 Ottobre 2026 Emanuela G Ascolta il podcast: Nel 1637, nel Discorso sul metodo, René Descartes scrive: «osservai che questa verità: penso, dunque sono (COGITO ERGO SUM), era così certa e di tale evidenza che…
Filosofia della Mente Matematica & Logica L’introspezione artificiale: mimetismo, causalità e il criterio wittgensteiniano 24 Ottobre 2026 Emanuela G Ascolta il podcast: Nel giugno 2025, due ricercatrici di Google DeepMind — Iulia Comsa e Murray Shanahan — pubblicano un lavoro che sposta la discussione sull’introspezione artificiale dal piano speculativo…
Filosofia della Mente Matematica & Logica I modelli linguistici possono essere razionali? Coerenza, credenza e l’eredità di Ramsey 13 Ottobre 2026 Emanuela G Ascolta il podcast: Quando Frank Ramsey, nel 1926, propose che le leggi della probabilità siano nient’altro che la logica della credenza parziale, stava tracciando un confine netto: una mente che…
IA & Filosofia Matematica & Logica L’abduzione in silico: i modelli linguistici replicano il ragionamento umano? 6 Ottobre 2026 Emanuela G Il 26 settembre 2026 la rivista Minds and Machines ha pubblicato un articolo che, per la prima volta, sottopone sedici grandi modelli linguistici a un protocollo sperimentale mutuato dalla psicologia…
IA & Filosofia Matematica & Logica L’allucinazione come problema di verità: atomismo logico e architettura dei LLM 3 Ottobre 2026 Emanuela G Ascolta il podcast: Nel maggio 2026 Jakub Mácha, filosofo all’Università Masaryk, pubblica su Philosophies un articolo che ribalta la prospettiva corrente sulle allucinazioni dei grandi modelli linguistici. Non sono errori…
IA & Filosofia Matematica & Logica La strettezza epistemica dei grandi modelli linguistici: perché l’accuratezza non basta 2 Ottobre 2026 Emanuela G Ascolta il podcast: La distinzione tra diversità di gruppo e diversità epistemica Quando Elisabeth Kirsten, Nicole Krämer e Muhammad Bilal Zafar presentano a COLM 2026 il loro lavoro sulla diversità…
Matematica & Logica L’intelligenza artificiale e la sfida dell’incertezza: il ragionamento bayesiano come fondamento epistemologico 1 Ottobre 2026 Emanuela G Ascolta il podcast: Immaginate un sistema di intelligenza artificiale che, quando gli chiedete di citare uno studio sulla memoria episodica, inventa autore, titolo e anno con assoluta sicurezza. Non esita,…
IA & Filosofia Matematica & Logica La formalizzazione dell’ultimo teorema di Fermat in Lean 4: quando l’IA riscrive la pratica matematica 28 Settembre 2026 Emanuela G La formalizzazione assistita da IA dell'ultimo teorema di Fermat in Lean 4 segna una svolta: 13 milioni di righe in 11 giorni. Ma se la matematica diventa verificabile ma non…
IA & Filosofia Matematica & Logica La macchina di Turing e i limiti invalicabili del pensiero artificiale 18 Settembre 2026 Emanuela G Nel 2025, a settantacinque anni dalla sua formulazione, il test di Turing è stato superato con sorprendente facilità da GPT-4.5: il modello linguistico di OpenAI è stato scambiato per un…
IA & Filosofia Matematica & Logica Il problema dell’induzione nell’era dell’intelligenza artificiale: da Hume al machine learning che non conosce il futuro 17 Settembre 2026 Emanuela G Il problema dell’induzione nell’era dell’intelligenza artificiale: da Hume al machine learning che non conosce il futuro Immaginiamo un tacchino che, per settimane, osserva ogni giorno la stessa routine: alle nove…
