55 Additions Suffice for 3x3 Matrix Multiplication at Rank 23

Immagina di essere un maestro chef che cerca di preparare una torta enorme e complessa. La ricetta richiede di mescolare dozzine di ingredienti in modi molto specifici. Nel mondo dei computer, "mescolare" gli ingredienti è come moltiplicare i numeri, e "preparare la torta" è come moltiplicare due griglie di numeri (matrici) per ottenere un nuovo risultato. Per molto tempo, i matematici hanno pensato che l'unico modo per farlo fosse seguire la ricetta standard, quella lenta: moltiplicare ogni singolo numero e poi sommarli. Ma negli anni '60, un genio di nome Strassen scoprì un trucco magico. Si rese conto che se avesse riorganizzato l'ordine del mescolamento, avrebbe potuto saltare parte del lavoro pesante. Poteva ottenere la stessa deliziosa torta usando meno "moltiplicazioni", che sono i passaggi più costosi e laboriosi in cucina.

Tuttavia, c'è un problema: spesso, riducendo le moltiplicazioni, si devono fare più "addizioni" (ciotole per mescolare) per preparare gli ingredienti. Pensa a questo: invece di versare semplicemente la farina in una ciotola, potresti dover tagliare, mescolare e incorporare gli ingredienti seguendo una danza molto specifica prima di poterli combinare. L'obiettivo è stato quello di trovare la danza perfetta che utilizzi il minor numero assoluto di passaggi possibile. Questo articolo che stai per leggere riguarda un team che ha trovato una danza nuova, leggermente più efficiente, per un tipo specifico di torta: una matrice 3x3. Non hanno cambiato il numero di sforzi pesanti (le moltiplicazioni), ma sono riusciti a snellire il numero di passaggi di mescolamento (le addizioni), togliendo un piccolo ma significativo carico di lavoro.

La Nuova Danza da Record

Questo articolo, scritto da Samurdhi Karunaratne e Anushka Idamekorala di Logical AI, annuncia un nuovo record per la moltiplicazione di due griglie di numeri 3x3. Hanno trovato un modo per farlo usando solo 55 addizioni e 23 moltiplicazioni.

Per capire perché questo sia importante, immagina la precedente migliore ricetta. Il campione attuale, creato da un ricercatore di nome Sun, richiedeva 56 addizioni. Gli autori di questo articolo non hanno inventato un modo completamente nuovo per moltiplicare le matrici; invece, hanno preso una ricetta esistente e pubblica (creata da Perminov) che utilizzava 58 addizioni e 59 addizioni nelle versioni precedenti, e hanno ottimizzato i passaggi di "preparazione". Si sono resi conto che, riorganizzando il modo in cui gli ingredienti venivano pre-mescolati, potevano ridurre il numero totale di passaggi di addizione a 55.

Ecco come funziona la loro nuova "cucina", suddivisa in tre semplici fasi:

1. Preparare gli Ingredienti di Sinistra: Prima di mescolare, prendono la prima griglia di numeri (chiamiamola la griglia "Sinistra") ed eseguono 13 semplici passaggi di addizione o sottrazione per creare 23 miscele speciali.
2. Preparare gli Ingredienti di Destra: Fanno la stessa cosa per la seconda griglia di numeri (la griglia "Destra"), usando 14 passaggi per creare le sue 23 miscele speciali.
3. Il Grande Mix e l'Assemblaggio Finale: Moltiplicano le miscele corrispondenti delle griglie Sinistra e Destra (23 moltiplicazioni in totale). Poi, prendono quei 23 risultati ed eseguono altri 28 passaggi di addizione per assemblare il risultato finale 3x3.

Quando sommi il lavoro di preparazione (13 + 14) all'assemblaggio finale (28), ottieni esattamente 55 addizioni. Questo è un passaggio in meno rispetto al precedente record, rendendolo il metodo più efficiente conosciuto per questo specifico tipo di calcolo.

Perché Questo è Importante (e Cosa Non lo È)

Potresti chiederti: "È questo il modo assolutamente migliore per farlo?". Gli autori sono molto attenti a dire: No, non necessariamente. Hanno dimostrato che per questo specifico arrangiamento di ingredienti che hanno scelto, 55 è il meglio che si possa fare. Hanno utilizzato una ricerca matematica rigorosa per dimostrare che non si può procedere con meno passaggi per questa specifica ricetta. Tuttavia, ammettono che potrebbe esistere una ricetta completamente diversa (un diverso arrangiamento di ingredienti) che potrebbe essere ancora più veloce. Non l'hanno ancora trovata e non pretendono di aver risolto l'intero mistero della moltiplicazione tra matrici per sempre.

Chiariscono anche che questo non è solo un colpo di fortuna o una simulazione al computer che potrebbe essere errata. Hanno fornito un "certificato" di verità. Hanno scritto l'intera ricetta passo dopo passo (chiamata "programma a linea retta") e l'hanno fatta passare attraverso molteplici programmi indipendenti (scritti in Python e Node.js) per controllare ogni singolo uno dei 729 regole matematiche che devono essere vere affinché la ricizia funzioni. Ogni singolo controllo è passato. Ciò significa che la matematica è solida e che la ricetta funziona perfettamente per qualsiasi tipo di sistema numerico, anche per quelli strani dove l'ordine della moltiplicazione conta.

L'IA Dietro le Quinte

Un colpo di scena interessante in questa storia è come è stata trovata la ricetta. Gli autori rivelano che un ricercatore umano ha guidato un sistema di IA (nello specifico, un agente che utilizza OpenAI GPT-5.6 Sol) per scoprire la soluzione. L'umano ha impostato l'obiettivo: "Trova un modo per battere il record di 56 addizioni". L'IA ha poi esplorato il panorama delle ricette esistenti, ha trovato la versione precedente di Perminov con 58 addizioni e ha capito che, modificando i passaggi di preparazione, poteva risparmiare tre mosse extra. L'IA ha poi ricontrollato il proprio lavoro, ha scritto il codice e ha verificato la matematica. È un perfetto esempio di come l'uomo e la macchina possano lavorare insieme: l'uomo ha fornito la direzione e il "perché", mentre l'IA si è occupata del lavoro pesante di ricerca tra milioni di possibilità per trovare il "come".

In definitiva, questo articolo è una piccola ma precisa vittoria. Dimostra che anche in un campo antico come la moltiplicazione tra matrici, ci sono ancora piccole, nascoste efficienze da scoprire se si guarda abbastanza da vicino. È come trovare un sentiero nuovo, leggermente più breve, attraverso un bosco familiare. Arriverai comunque nello stesso posto, ma ci arriverai con un passo in meno.