Un nou tip de mozaic tridimensional: forma de „scaun” care umple spațiul fără a se repeta
Un dezvoltator de software a raportat descoperirea unei forme tridimensionale care poate umple spațiul la nesfârșit fără a repeta un model. Forma, asemănătoare unui scaun, respectă anumite reguli matematice care o fac prima de acest fel în trei dimensiuni. Rezultatele, obținute cu asistență din partea inteligenței artificiale, sunt descrise într-un preprint publicat pe arXiv.
Matematicienii caută de mult timp așa-numitele „monoplăci aperiodice” — forme care pot acoperi spațiul prin mozaicare, fără goluri sau suprapuneri și fără niciun aranjament care să se repete global. Regulile obișnuite permit modele care se repetă local, dar interzic deplasarea întregului mozaic cu o distanță nenulă astfel încât să se obțină exact aceeași configurație.
O versiune bidimensională a unei astfel de forme a fost raportată în 2023. Plăcuța numită „hat”, un policheton cu 13 laturi, a fost dovedită ca fiind primul monoplăci aperiodic veritabil. Mai târziu în același an a fost raportată o altă versiune 2D, numită „spectre”. Plăcuța „hat” avea nevoie de imaginea sa în oglindă pentru a acoperi planul fără goluri, în timp ce „spectre” nu necesita acest lucru.
Cercetătorii au dorit totuși să meargă mai departe și să găsească un monoplăci aperiodic 3D, în special unul care să excludă combinațiile de rotație și mișcare care se repetă la nesfârșit, numite mișcări elicoidale. Existau deja unele candidate tridimensionale, dar acestea păstrau o direcție de stivuire care se repeta sau permiteau simetria mișcării elicoidale. Scopul era un singur solid conectat a cărui geometrie singură să împiedice aceste forme de repetiție, fără marcaje imprimate sau reguli suplimentare de asamblare.
Forma „Chair44″, descoperită cu asistență extinsă din partea inteligenței artificiale
Introducând regulile și cadrul extins necesar pentru un monoplăci aperiodic 3D într-un model de raționament al OpenAI, dezvoltatorul a găsit o formă care corespunde definiției corecte. Potrivit acestuia, forma numită „Chair44″ poate umple întregul spațiu tridimensional fără o perioadă de translație nenulă.
Forma arată ca un bloc de opt cuburi cu un colț îndepărtat. Suprafața sa are 192 de mici proeminențe și adâncituri în formă de piramidă care restricționează modul în care copiile se potrivesc. Fiecare mozaicare permisă cu „Chair44″ are cel mult 24 de simetrii, excluzând mișcările elicoidale și orice altă simetrie care poate genera infinit de transformări distincte. Fiecare piesă aparține unei ierarhii unic determinate de grupuri mai mari în formă de scaun, care continuă la nesfârșit. Această ierarhie forțată împiedică repetarea globală.
Copiile în oglindă sunt permise în model, dar geometria împiedică, potrivit raportării, amestecarea celor două versiuni într-o singură mozaicare. Lucrarea raportează o verificare formală în Lean 4, cu dependențe specificate de încredere în compilator, plus verificări separate în Python cu aritmetică exactă, dar revizuirea independentă de către experți și reproducerea verificărilor formale rămân priorități imediate.
Critici și clarificări
Deși forma pare să reziste deocamdată examenului, lucrarea de 61 de pagini, scrisă în mare parte cu ajutorul inteligenței artificiale, a primit unele critici. Un matematician implicat în descoperirea plăcuței „hat” a considerat lucrarea atât de greoaie încât a publicat propria sa lucrare pentru a clarifica munca, tot pe serverul de preprint arXiv.
În lucrarea sa, acesta își exprimă aprecierea pentru descoperire, pentru cadrul dezvoltat și pentru investigația umană care a dus la monoplăciul „Chair44″. Totodată, el notează că lucrarea în sine și formalizarea pe care o invocă drept suport nu sunt într-o formă ușor utilizabilă pentru cineva care vrea să o înțeleagă sau să o verifice. El atribuie acest lucru nu doar lungimii sau complexității argumentului, ori faptului că depozitul formal nu este în formă normală, ci în principal cantității mari de material irelevant care trebuie parcurs, calificând acestea drept caracteristici ale unei lucrări de cercetare generate de un model lingvistic de mari dimensiuni.
În viitor, cercetătorii ar putea căuta o formă 3D și mai simplă, cu mai puține particularități de suprafață sau cu o demonstrație mai scurtă, ori una care se extinde la dimensiuni și mai înalte. Provocările deschise includ găsirea unui exemplu convex sau a unei forme a cărei mozaicare să nu aibă nicio simetrie diferită de identitate.
