On the mechanical creation of mathematical concepts

Il paper propone un modello di risoluzione dei problemi matematici basato sull'aggiornamento delle credenze, distinguendo tra concetti impliciti e espliciti, e sostiene che la creazione di concetti espliciti è il passo fondamentale della scoperta matematica, un'abilità attualmente assente nei sistemi di intelligenza artificiale che operano solo tramite concetti impliciti.

Asvin G

Pubblicato Wed, 11 Ma
📖 5 min di lettura🧠 Approfondimento

Each language version is independently generated for its own context, not a direct translation.

Immagina di dover risolvere un enigma complesso. Per farlo, hai bisogno di due cose: la tua esperienza passata (ciò che sai già) e la tua capacità di provare soluzioni (il lavoro che fai sul momento).

Questo articolo di Asvin G. ci dice che l'intelligenza artificiale (AI) sta diventando bravissima nel secondo punto, ma sta ancora faticando sul primo, specialmente quando si tratta di matematica. Ecco la spiegazione semplice, con qualche analogia per chiarire le idee.

1. Il Gioco degli Scacchi vs. La Matematica: Due tipi di problemi

Pensa a un giocatore di scacchi esperto. Ha imparato migliaia di schemi: "Se il cavallo va lì, il re è in pericolo". Questo è il suo bagaglio di conoscenze (i "priors"). Quando vede una nuova scacchiera, usa queste regole per decidere quali mosse provare e quali ignorare. Se si blocca, prova a calcolare alcune mosse in avanti.

  • La cosa importante: In scacchi, le regole non cambiano mai. Non c'è bisogno di inventare un nuovo pezzo o un nuovo modo di muoversi. Basta essere bravi a usare quelli esistenti.

La matematica, invece, è diversa.
Immagina di dover coprire una scacchiera con dei tasselli (domini), ma hai tolto due angoli opposti. Se provi a mettere i tasselli a caso, non ci riesci mai. Ti blocchi.
Un matematico non si limita a provare più velocemente. Si ferma e pensa: "Aspetta, forse il problema non è nei tasselli, ma nel modo in cui guardo la scacchiera". E allora inventa un nuovo concetto: "Colora la scacchiera".
Improvvisamente, il problema diventa facile: se colori le caselle in nero e bianco, vedi che hai tolto due caselle dello stesso colore. Quindi non puoi coprirle con tasselli che ne coprono sempre una di ogni colore.

  • La differenza: In matematica, a volte non basta essere bravi a giocare con le regole esistenti. Bisogna inventare un nuovo linguaggio (come il "colorare") per poter risolvere il problema.

2. L'Intelligenza Artificiale è come un giocatore di scacchi (per ora)

Oggi, le AI più avanzate (come quelle che giocano a Go o risolvono problemi matematici) funzionano come il giocatore di scacchi esperto:

  • Hanno imparato milioni di schemi (sono molto brave a "potare" le strade sbagliate).
  • Quando provano a risolvere un problema, usano queste regole fisse.
  • Se si bloccano, provano a calcolare di più, ma non cambiano le regole del gioco.

Il problema è che in matematica, a volte, la soluzione richiede di cambiare le regole del gioco. Come fece Eulero con il problema dei ponti di Königsberg: invece di cercare di attraversare i ponti, inventò la "teoria dei grafi" (punti e linee). Nessuna quantità di calcoli veloci avrebbe risolto il problema senza prima inventare questo nuovo modo di vedere le cose.

3. Cosa significa "Inventare un Concetto"?

L'autore distingue due tipi di "concetti":

  1. Concetti Impliciti (Intuizione): È come sapere che una posizione negli scacchi è "pericolosa". Non cambi le regole, ma sai quali mosse provare prima. Le AI sono bravissime qui.
  2. Concetti Espliciti (Invenzione): È come inventare il "colorare" per la scacchiera o i "numeri arabi" per fare le moltiplicazioni. Prima di avere i numeri arabi, moltiplicare con i numeri romani era un incubo. Con i nuovi numeri, la moltiplicazione diventa un gioco da ragazzi.
    • I concetti espliciti sono potenti perché creano nuove domande che prima non potevamo nemmeno porci.

4. Il futuro: Cosa succederà?

Qui arriva la parte più interessante. L'autore si chiede: cosa succederà quando le AI diventeranno bravissime anche a inventare nuovi concetti?

Vediamo due possibili futuri:

  • Scenario A: L'AI come "Traduttore". Le AI risolvono problemi impossibili, ma poi ci spiegano perché funzionano, traducendo la loro logica complessa in concetti che noi umani possiamo capire. Sarebbero come dei maestri che non solo vincono la partita, ma ci insegnano la strategia in modo che anche noi la capiamo.
  • Scenario B: La Matematica si divide.
    • Le macchine faranno la matematica "vera": risolveranno problemi per la fisica, l'ingegneria e la tecnologia, anche se le loro soluzioni saranno incomprensibili per noi (come un algoritmo di scacchi che vince senza che noi capiamo la mossa).
    • Gli umani faranno la matematica come un "gioco" o un hobby, simile a come oggi giochiamo a scacchi con gli amici anche se sappiamo che un computer ci batterebbe sempre. Lo faremmo per il piacere di capire, per la bellezza delle idee e per collaborare tra persone.

In sintesi

L'articolo ci dice che l'AI è già un "calcolatore" formidabile, ma la vera magia della matematica umana sta nella capacità di cambiare il modo in cui pensiamo quando ci blocchiamo.
Il futuro della matematica non sarà solo "chi risolve di più", ma "cosa vogliamo fare con la matematica": vorremo che le macchine ci diano le risposte (anche se non le capiamo), o vorremo continuare a giocare con le idee per il puro gusto di capire il mondo?

La scelta, alla fine, è nostra.