Esplorazioni libere tra intelligenza artificiale, scienza e filosofia.
Nell’estate del 2025, diversi modelli di intelligenza artificiale hanno risolto cinque problemi su sei alle Olimpiadi Internazionali di Matematica, la competizione annuale riservata ai migliori ...
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 essere umano ...
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 gior...
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, non tituba, no...
Nel 1931, un giovane matematico austriaco di venticinque anni pubblicava un saggio che avrebbe sconvolto le fondamenta della logica e della filosofia della matematica. Kurt Gödel dimostrò che in ogni ...
Esistono domande che rimangono aperte per decenni, sfidando la capacità umana di dimostrare ciò che intuitivamente sembra vero. Una di queste è la questione che divide le classi di complessità computa...
Il respiro della logica: quando l’intelligenza artificiale torna alle origini Nel febbraio 2026, mentre i modelli di linguaggio di nuova generazione dominano i titoli dei giornali e le borse val...
Un'analisi approfondita della Congettura di Goldbach: dalla storia di Goldbach ed Euler ai progressi matematici di Hardy, Chen e Helfgott, fino ai significati filosofici su realismo, formalismo e i li...
<![CDATA[Il teorema di incompletezza ci dice qualcosa di fondamentale sui limiti di ciò che un computer può provare? Un'indagine sul rapporto tra fondamenti logici e capacità dell'IA.]]>...