O echipă formată din oameni și IA anunță o demonstrație pentru o problemă veche de decenii din teoria haosului

Matematicieni din China au anunțat o demonstrație verificată pe calculator pentru cazul tridimensional al conjecturii Ghys, o problemă formulată pentru prima dată în 1995. Echipa a combinat discernământul specialiștilor cu un model de IA pentru a construi demonstrația.

Conjectura leagă haosul de geometrie. În linii mari, ea pune întrebarea dacă un anumit tip de mișcare haotică impune ca spațiul matematic în care are loc să aibă o structură foarte regulată. Demonstrația anunțată privește cazul tridimensional, fără a rezolva conjectura în întregime.

Conduși de Xu Disheng, profesor la Great Bay University, cercetătorii au lucrat cu modelul Shusheng-S2 al Laboratorului de Inteligență Artificială din Shanghai. Pe parcursul a șapte runde de raționament, modelul a explorat mai multe căi și a generat argumentații detaliate. Cercetătorii au identificat ideile promițătoare, au respins pistele fără ieșire și au orientat următoarea rundă de explorare.

O echipă separată de la Universitatea din Beijing a transpus cele patru teoreme principale ale lucrării într-o formă verificabilă pe calculator. Demonstrațiile au trecut verificarea efectuată cu Lean, un sistem care verifică pas cu pas raționamentele matematice. Experții au confirmat și că enunțurile formalizate corespund celor din lucrare.

Cercetarea a fost publicată pe arXiv sub forma unui preprint, iar codul de verificare este disponibil public, permițând și altor specialiști să examineze lucrarea.