I ricercatori hanno rivelato che l’intelligenza artificiale di “Claude Fable 5” ha identificato un controesempio cruciale che mette fine alla congettura Jacobiana, una sfida matematica che ha incuriosito le menti per quasi un secolo. La scoperta, riportata da Levent Alpoge, un matematico affiliato ad Anthropic, dimostra il crescente potenziale dell’intelligenza artificiale nel risolvere problemi complessi e di lunga data nella scienza.
Come l’intelligenza artificiale ha risolto un problema vecchio di 87 anni
Il matematico Levent Alpoge, di Anthropic, fu responsabile di riportare la scoperta del controesempio alla congettura di Jacobi. La soluzione, rimasta senza risposta per 87 anni, è stata trovata con l’aiuto del modello AI “Claude Fable 5”. Alpoge è stato incoraggiato a perseguire questa soluzione dal matematico Akil Matthew e l’intelligenza artificiale ha lavorato al problema durante la finale della Coppa del Mondo FIFA.
Di più sul tema: Anthropic lancia Claude Fable 5 con nuovi blocchi di sicurezza per i clienti aziendali
Cos’è la congettura Jacobiana e perché è importante
La congettura Jacobiana, formulata nella sua forma generale nel 1939 dal matematico tedesco Otto-Heinrich Keller, è un problema che mette in discussione una proprietà fondamentale delle funzioni polinomiali. Ciò suggerisce che se il determinante Jacobiano di una mappa polinomiale che mappa n variabili complesse nelle stesse n variabili è una costante diversa da zero, allora deve esistere una mappa inversa che può anche essere espressa come polinomio. Essenzialmente, la questione è se una proprietà di “reversibilità” locale in tutti i punti implichi una reversibilità polinomiale globale per l’intera funzione.
Comprensione del ruolo del determinante Jacobiano in matematica
In matematica, quando una funzione restituisce lo stesso output per input diversi, l’input originale non può essere unico. Il processo di ritorno dall’output all’input è chiamato funzione inversa. Tuttavia, una funzione con più input sullo stesso output non può avere un’unica funzione inversa in tutto il suo dominio. Per le funzioni multivariabili, la capacità di ripristinare la funzione in un intervallo ristretto viene esaminata dal determinante Jacobiano. Questo valore viene calcolato in ciascun punto di ingresso e rappresenta la variazione dell’area o del volume locale, utilizzando un’approssimazione lineare. Un determinante Jacobiano pari a zero indica che l’informazione è andata persa in qualche direzione, rendendo impossibile un ripristino una tantum dell’input. Se è diverso da zero, l’informazione viene preservata, garantendo la tracciabilità dell’input e dell’output a livello locale.
La scoperta cruciale del controesempio di Claude Fable 5
L’intelligenza artificiale di Claude Fable 5 ha scoperto una mappatura polinomiale in cui il determinante Jacobiano assume sempre un valore costante pari a -2. Tuttavia, sono stati trovati tre input distinti che danno come risultato lo stesso output, il che contraddice la congettura Jacobiana.
Scopri di più: Anthropic lancia Claude Fable 5, il modello più evoluto per il grande pubblico
- Diversi input:
- * (0, 0, -1/4)
* (1, -3/2, 13/2)
* (-1, 3/2, 13/2) - Uscita identica per tutti gli ingressi:(-1/4, 0, 0)
Questa dimostrazione indica che la congettura Jacobiana è falsa per tre o più variabili, dimostrando che l’esistenza di una mappa inversa nell’intero spazio non è garantita solo dalla proprietà del determinante Jacobiano costante.
L’importanza della verifica e della comprensione umana post-scoperta
Nonostante l’impressionante scoperta dell’intelligenza artificiale, la semplice generazione di una formula da parte di un sistema artificiale non ne garantisce automaticamente la validità come controesempio. Piccoli errori di calcolo o di sostituzione potrebbero invalidare l’intera conclusione. Per questo motivo diventa essenziale la convalida indipendente da parte di esperti umani o un software di verifica.
Dopo la rivelazione, si è tentato di formalizzare la dimostrazione utilizzando il sistema di supporto per la dimostrazione del teorema “Lean”. Paul Rouzeau, un dottorando in matematica formalizzata presso l’Imperial College di Londra, ha sviluppato un controesempio Lean e lo ha caricato su “Formal Conjectures”, un archivio di congetture matematiche gestito da Google DeepMind. Attualmente la pull request è in fase di revisione, ma è già stato possibile verificare la consistenza del determinante Jacobiano e la non iniettività del mapping, confermando l’assenza di mapping inversi in tutto lo spazio.
I prossimi passi nella collaborazione tra uomo e intelligenza artificiale
Il Progetto Xena, incentrato sulla matematica formalizzata, sottolinea che la prossima grande sfida non sarà solo confermare la correttezza del controesempio, ma anche consentire agli esseri umani di comprendere profondamente le ragioni per cui è valido. Questo episodio sottolinea la crescente interazione tra il potere computazionale dell’intelligenza artificiale e l’acume analitico umano, aprendo nuove frontiere nella ricerca matematica e risolvendo problemi che da tempo sfidavano la comprensione. La collaborazione promette di accelerare il progresso in campi complessi combinando la velocità dell’intelligenza artificiale con la profondità del ragionamento umano.