Tre Ingressi, Una Sola Uscita

// Un Teorema In Un Tweet

La sera del 19 luglio 2026 compare su X un messaggio dal tono piu' da chat che da rivista scientifica. Lo firma Levent Alpoge, e non e' un account a caso: dottorato a Princeton sotto Manjul Bhargava (medaglia Fields), premio Morgan 2015, un periodo a Harvard, oggi ricercatore ad Anthropic. Uno che nel suo campo, la teoria dei numeri e la geometria algebrica, sa esattamente di cosa parla.

Sotto, la formula. Nessun articolo di trenta pagine, nessuna dimostrazione lunga come un romanzo: una mappa esplicita in tre variabili e tre punti che la fanno cadere. "Akhil" e' Akhil Mathew, un altro matematico, quello che ha posto la domanda giusta. "Fable" e' Claude Fable 5, il modello di Anthropic, che durante Argentina-vattelapesca invece di guardare la partita macinava algebra. Il tono e' leggero, il contenuto no: se i conti tornano (e tornano) e' la caduta di un problema aperto da ottantasette anni.

Prima di arrivare ai conti serve capire cosa diceva la congettura. E qui, promesso, niente prerequisiti. Bastano una macchina e un'idea sola.

// La Macchina Che Dovrebbe Tornare Indietro

Parti da una cosa che usi ogni giorno: Google Maps. Scrivi un indirizzo, lui ti porta in un punto preciso della mappa. Ingresso l'indirizzo, uscita un punto. Ecco, una funzione matematica fa esattamente questo: prende un punto e lo trasforma in un altro punto. Tutto qui, niente di esoterico.

La macchina di cui parliamo fa la stessa cosa, ma lavora con tre numeri per volta. Le dai una terna \( (x, y, z) \), lei te ne restituisce un'altra. E' una formula fatta solo di somme e moltiplicazioni, quella che i matematici chiamano polinomiale: nessuna divisione, nessuna radice strana. Solo conti elementari, tanti.

Di una macchina cosi' vuoi spesso sapere una cosa: posso tornare indietro? Se mi dici l'uscita, riesco a risalire con certezza all'ingresso da cui e' partita? Pensa al guardaroba di un locale. Lasci la giacca, ti danno un numero: quel numero e' l'uscita, la giacca l'ingresso. Se ogni giacca ha il suo numero diverso, a fine serata torni, dici il numero, riprendi la tua giacca. La macchina "si inverte", tutto liscio. Ma se il guardarobiere combina il guaio e da' lo stesso numero a due persone diverse, sei fregato: al ritiro, con quel numero in mano, non sai piu' quale delle due giacche sia la tua. L'informazione e' persa, indietro non si torna. Ecco: una macchina che manda due ingressi diversi sulla stessa uscita e' esattamente un guardaroba che stampa numeri doppioni.

Adesso il pezzo centrale, prendilo con calma perche' e' tutto qui. Torna alla mappa. Esiste un modo per controllare, in un singolo punto, se li' intorno la trasformazione sta strappando o schiacciando la mappa, oppure la sta solo stirando in modo pulito. Quel controllo ha un nome, lo Jacobiano, ed e' solo un numero che calcoli punto per punto. Se viene zero, li' la macchina appiattisce, incolla insieme direzioni diverse, perde una dimensione: da vicino sta gia' rovinando l'informazione. Se viene diverso da zero, li' intorno e' tutto pulito, nessuno strappo, nessuno schiacciamento, da vicino la macchina e' perfettamente reversibile.

E qui casca l'asino. Se guardi la mappa con la lente d'ingrandimento, punto per punto, tutto sembra perfetto: nessuno strappo da nessuna parte. La domanda della congettura e' esattamente questa: puo' esserci comunque un problema visto da lontano? Tutto a posto da vicino, ma un disastro nell'insieme?

Una macchina il cui Jacobiano non e' mai zero in nessun punto, cioe' che da vicino non sbaglia mai un colpo, ha un nome tecnico: mappa di Keller. Non lasciarti intimidire dall'etichetta, vuol dire solo quello: "pulita ovunque, vista da vicino". E la congettura di Jacobi, buttata li' dal tedesco Ott-Heinrich Keller nel 1939, diceva esattamente questo:

Detta a parole: se non schiacci mai niente da vicino, allora da lontano non puoi mai sovrapporti. Sembra ragionevole. Sembra quasi ovvio. In due dimensioni, con conti abbastanza semplici, e' davvero cosi'. E per decenni fior di matematici l'hanno data quasi per scontata, dimostrandone pezzi, casi particolari, versioni ridotte. Il "quasi" e' il punto di tutta la storia.

// La Formula Che Non Torna Indietro

Per far cadere una congettura non serve una teoria. Ne basta un caso che la contraddice: un controesempio. Uno solo, ma vero. Alpoge e Fable ne hanno costruito uno in tre variabili. Poniamo, per accorciare, \( u = 1 + xy \). La macchina e' questa:

Fa impressione ma non lasciarti intimidire: sono solo somme e moltiplicazioni impilate. La macchina prende tre numeri e ne restituisce tre. Ora le due cose che contano, quelle che uccidono la congettura.

Primo: non fa una grinza. Se fai il controllo Jacobiano in un punto qualsiasi (il numero che ne esce si chiama determinante, ma puoi leggerlo come "l'esito del controllo"), viene sempre lo stesso valore:

Viene sempre lo stesso valore, in ogni punto, e non e' mai zero. Vuol dire che da vicino questa macchina e' impeccabile: esattamente il tipo di macchina di cui la congettura giurava non potesse mai sovrapporsi. Solo che, come vedi tra un attimo, si sovrappone lo stesso.

Secondo: si sovrappone. Prendi questi tre punti, tre ingressi ben diversi tra loro:

Dagli tutti e tre in pasto alla macchina. Escono tutti e tre nello stesso identico posto:

Se le formule ti scivolano addosso, tienti solo questo disegno in testa. Torna al guardaroba: normalmente ogni giacca ha il suo numero, e tu torni a casa con la tua.

COSI' DOVREBBE ANDARE  (e per 87 anni si pensava dovesse):

    ingresso A  ─────────▶  ●
    ingresso B  ─────────▶  ◆
    ingresso C  ─────────▶  ○
    tre ingressi diversi, tre uscite diverse


COSI' VA DAVVERO,  con la formula di Alpoge:

    ( 0 ,  0 , −1/4 )  ──┐
    ( 1 ,−3/2, 13/2 )  ──┼────▶  (−1/4, 0, 0)
    (−1 , 3/2, 13/2 )  ──┘
    tre ingressi diversi, UNA sola uscita

Questo, per la congettura, non dovrebbe poter succedere. E invece succede. Punto. Adesso il perche' e' facile.

// Non Devi Fidarti Di Nessuno

Qui c'e' la cosa che rende questa storia diversa da mille altri "ho risolto un grande problema" che girano ogni settimana. Di solito una dimostrazione e' lunga, delicata, e per giudicarla devi essere del mestiere e leggerti trenta pagine sperando che al passaggio 17 non ci sia un buco. Qui no. Qui c'e' una formula e tre punti. O quei tre punti finiscono nello stesso posto, oppure no. Non c'e' spazio per l'opinione.

Non l'ho preso sulla fiducia. L'ho rifatto io, con l'aritmetica esatta (frazioni vere, niente numeri approssimati), e il risultato e' quello dichiarato:

Se hai Python e la libreria SymPy, sono letteralmente le dieci righe qui sotto. Non un pseudocodice, non un "lascio la cosa come esercizio": questo lo incolli in un terminale e gira.

import sympy as sp
x, y, z = sp.symbols('x y z')
u = 1 + x*y
F = [ u**3*z + y**2*u*(4 + 3*x*y),
      y + 3*x*u**2*z + 3*x*y**2*(4 + 3*x*y),
      2*x - 3*x**2*y - x**3*z ]

J = sp.Matrix([[sp.diff(f, v) for v in (x, y, z)] for f in F])
print(J.det())          # -2   (costante, mai zero)

for p in [(0, 0, sp.Rational(-1, 4)),
          (1, sp.Rational(-3, 2), sp.Rational(13, 2)),
          (-1, sp.Rational(3, 2), sp.Rational(13, 2))]:
    print([sp.simplify(f.subs({x: p[0], y: p[1], z: p[2]})) for f in F])
# -> [-1/4, 0, 0]   tutte e tre le volte

Definisci la formula, chiedi il determinante della matrice delle derivate (viene \( -2 \)), poi sostituisci i tre punti e guardi le uscite (identiche). Aritmetica esatta, frazioni vere, zero approssimazioni. Nessuna chiave, nessun servizio, nessuna magia: gira sul tuo computer, offline, in un secondo. Volendo bastano anche Wolfram Alpha, o carta, pazienza e un pomeriggio libero. Questo e' il senso di "verificabile": la verita' non dipende da chi te la racconta. E' il motivo per cui l'ho rifatto io prima di scrivere una riga di questo pezzo, e per cui puoi rifarlo tu adesso senza fidarti nemmeno di me.

// La Verifica e' Un Secondo. Trovarla, No.

Ok, adesso la roba che conta davvero, quella per cui secondo me fra dieci anni ci ricorderemo di 'sta serata. E, spoiler, non e' la congettura.

Torna un attimo su quello che abbiamo appena fatto insieme. Verificare il controesempio: due secondi. Butti la formula in SymPy, chiedi il determinante, sostituisci i tre punti, guardi le uscite. Lo fa chiunque, a occhi chiusi. Ma trovarla, quella formula? Eh. Tutta un'altra faccenda.

Fermati a pensarci. Lo spazio delle formule candidate non e' grande, e' infinito. E dentro quell'oceano c'e' una manciata microscopica di formule che rispettano tutti i paletti insieme: Jacobiano costante e diverso da zero, punti che collassano, gradi che tornano. I conti li fa qualsiasi computer in un lampo. Il casino e' un altro: in mezzo a quell'oceano, capire quali formule vale davvero la pena provare.

Vuoi un'idea di quanto sia grande "praticamente infinito"? Rimpiccioliamo il problema all'osso: mettiamo solo coefficienti interi tra \( -10 \) e \( 10 \), e grado al massimo sei. In tre variabili un polinomio cosi' ha 84 coefficienti; la mappa ha tre componenti, quindi 252 numeri da scegliere, ognuno tra 21 valori possibili. Fanno \( 21^{252} \), un numero con piu' di trecento cifre. Per darti la scala: gli atomi in tutto l'universo osservabile sono circa \( 10^{80} \), ottanta cifre, una briciola al confronto. E questa e' la versione rimpicciolita, con paletti assurdi che il controesempio vero manco rispetta. Con numeri del genere e' chiaro che provare le formule a una a una non e' un'opzione: il difficile e' capire in quale zona di quello spazio conviene andare a cercare.

Ed e' qui che entra il modello, e qui mi fermo un secondo, perche' come esattamente Claude abbia contribuito, riga per riga, oggi non lo sappiamo (ci torno nella prossima sezione). Quella che segue e' la lettura che in tanti stanno facendo, e ha una sua logica: se il workflow fosse davvero quello che molti stanno ipotizzando, il ruolo del modello non sarebbe enumerare lo spazio alla cieca, ma proporre candidati molto piu' promettenti della ricerca esaustiva. Invece di provare tutto, punti dritto verso le zone che hanno una faccia sensata. Non e' garantito che il tiro vada a segno, ma se restringe l'oceano a una pozzanghera, in quella pozzanghera i conti li chiudi in un secondo.

Questo, se le cose stanno cosi', e' il cambio di paradigma vero. Non "l'AI ha risolto un problema di matematica", che detto cosi' non vuol dire niente. Ma: un pezzo di ricerca che era un problema di ragionamento si trasforma in un problema di ricerca in uno spazio, e la ricerca la affidi a qualcosa che restringe il campo invece di setacciarlo tutto. La formula, alla fine, e' solo l'ultimo passo: il lavoro vero sta nel restringere il campo prima di arrivarci.

// Cosa Ha Fatto Fable (E Cosa Non Sappiamo)

Adesso freno un secondo, che e' facile prendere la palla e correre troppo. Che ruolo abbia avuto davvero il modello, riga per riga, non lo sappiamo. Alpoge attribuisce il ritrovamento a Claude Fable 5, e ci credo, ma non e' ancora uscita una descrizione tecnica del processo. Quindi non te lo racconto come un fatto: non e' pubblico quanto del lavoro l'abbia fatto in autonomia il modello e quanto l'abbia guidato il matematico. Quello che e' chiaro e' la forma della collaborazione: la domanda giusta l'ha posta un umano (Akhil Mathew), la rotta l'ha tenuta un umano (Alpoge), il modello stava nel giro. Chi ha girato quale manopola, e quanto forte, lo sapremo quando lo scriveranno nero su bianco. Fino ad allora, e' ipotesi, e la tengo tale.

E un'ultima cosa, se no passa un messaggio troppo gonfio. "La congettura di Jacobi e' falsa" vale alla lettera: l'enunciato generale, cosi' com'e' scritto, ha un controesempio in dimensione tre. Non vuol dire che crolli tutta la matematica che ci stava intorno. Un mucchio di risultati parziali reggono benissimo nei loro casi (in due dimensioni, o sotto ipotesi piu' strette). A cadere e' l'affermazione generale, non tutti i risultati che le stanno intorno. Ed e' comunque enorme: una domanda che ha tenuto testa a generazioni di matematici, adesso, una risposta ce l'ha, ed e' negativa.

// Dove L'Abbiamo Gia' Visto

E se ti sembra di aver gia' visto questo film, e' perche' un po' l'hai visto. AlphaTensor che scova algoritmi nuovi per moltiplicare matrici. AlphaGeometry che risolve problemi di geometria da olimpiade. FunSearch che tira fuori costruzioni inedite in combinatoria. AlphaDev che sputa routine di ordinamento piu' veloci di quelle limate a mano per trent'anni. Fanno tutti lo stesso ballo: non dimostrano, esplorano. Generano, verificano, scartano, ripetono.

Con l'avvertenza grossa, di nuovo, perche' e' onesto ripeterla: qui il workflow interno non e' pubblico, quindi che la storia di Alpoge sia davvero un altro fotogramma di questa serie e' una chiave di lettura, non un fatto gia' accertato. Ma e' una lettura coerente con tutto il resto, e se regge, la Jacobian Conjecture non e' un colpo isolato: e' l'ennesima faccia dello stesso schema.

E lo schema, sotto sotto, e' sempre uno solo: un'asimmetria. Ci sono problemi dove generare una risposta e' difficilissimo ma verificarla e' quasi gratis. Una formula che rompe una congettura. Un exploit che buca un sistema. Una query SQL che tira fuori esattamente il dato giusto. Una regex, un algoritmo piu' veloce, un programma che passa tutti i test. In tutti questi casi trovare l'ago costa fatica, dolore, mesi; controllare che sia davvero un ago costa secondi. Ed e' precisamente il terreno dove un modello che sforna tanti candidati plausibili, appoggiato a un verificatore che non perdona, diventa una macchina da guerra. La matematica di stasera, vista cosi', e' solo l'esempio piu' recente.

Per quasi novant'anni questo problema e' stato nelle mani dei matematici. Dal 20 luglio 2026 potrebbe essere diventato anche un problema di ricerca automatica. Non perche' l'AI capisca la matematica meglio di un umano, non e' questo il punto, e chi la racconta cosi' ha capito male il film. Ma perche' sa spazzare spazi di possibilita' enormi e fermarsi nell'istante esatto in cui trova un oggetto che chiunque, dopo, puo' verificarsi da solo. Un umano fa la domanda, il modello esplora, un verificatore taglia via gli sbagliati, e in fondo al nastro resta una cosa sola su cui nessuno deve fidarsi di nessuno.

Se di questa storia ci restera' qualcosa, scommetto che non sara' il controesempio. Sara' il metodo.

Fonti. Il post originale e' di Levent Alpoge (@__alpoge__), 19 luglio 2026. Spiegazione tecnica e verifica su jacobianfun.org. Copertura giornalistica: ForkLog, OfficeChai. Contesto sulla congettura: Wikipedia. Il determinante \( -2 \) e il collasso dei tre punti li ho verificati personalmente in aritmetica esatta con SymPy prima di scrivere questo pezzo. Alla data di pubblicazione manca ancora la revisione tra pari formale. Panna, come al solito, non ha letto una riga e sta benissimo.