Cose verificabili, non promesse
Risultati raggiunti
Questa pagina elenca ciò che il progetto ha già prodotto. Ogni voce ha un collegamento a una fonte esterna e indipendente dove il risultato si può controllare: repository con coordinate esatte e script di verifica, o la voce dell'enciclopedia delle sequenze di interi (OEIS). Non possiamo garantire che il prossimo problema cada. Possiamo garantire che tutto quello che troviamo — anche i vicoli ciechi — resta pubblico e di tutti.
■ PROBLEMA CHIUSO — 2026
Triangoli di Kobon, 14 rette: N(14) = 54
Quanti triangoli non sovrapposti si possono formare con 14 rette? Il record umano era fermo a 53; il limite teorico dimostrato era 54, e nessuno sapeva se fosse raggiungibile. Questo progetto ha trovato quindici disposizioni non isomorfe di 14 rette con 54 triangoli: il massimo possibile. Il primo caso storicamente aperto della sequenza è chiuso.
Coordinate razionali esatte, niente virgola mobile; ogni disposizione è passata da due verificatori indipendenti scritti separatamente. Il risultato è registrato nella voce ufficiale OEIS della sequenza (contributo: Andrea Maiorana, 2026).
→ OEIS A006066 — la sequenza di Kobon (a(14)=54)
→ GitHub: kobon_triangles_k14 — le 15 soluzioni e gli script di verifica
■ CENSIMENTO PUBBLICATO — 2026
Triangoli di Kobon, 18 rette: l'atlante
Per 18 rette il progetto ha censito 2.357 disposizioni distinte al livello record, catalogate a meno di isomorfismo: non un punto solo, ma la mappa di un intero paesaggio di soluzioni. È il metodo che poi ha aperto il k=14.
■ IN CORSO
Il quinto colore (Hadwiger–Nelson)
Quanti colori servono per colorare il piano senza che due punti a distanza 1 siano uguali? Si sa solo che la risposta è tra 5 e 7, dal 1950. Il progetto ha già costruito e dimostrato in casa un grafo 5-cromatico da 1465 punti con strumenti scritti da zero, e ogni notte la macchina lavora per ridurlo. Il diario di ricerca è raccontato nella storia e disegnato nelle tavole.
Qui nessuna promessa: il record mondiale è 509 punti e potremmo non batterlo mai. È il rischio normale della matematica aperta — lo stesso che correva il k=14 prima di cadere.
Se vuoi che queste notti di calcolo continuino, c'è il barattolo.