I sistemi Ai hanno fatto progressi in matematica. Ma c’è ancora molta diffidenza: ecco perché

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 an