Peisajul matematicii teoretice trece printr-o schimbare rapidă, pe măsură ce modelele de limbaj mari demonstrează o competență neașteptată în rezolvarea problemelor complexe. Recent, o conjectură matematică ce a rămas nerezolvată timp de decenii a fost infirmată de AI, marcând a doua astfel de descoperire majoră în decurs de o săptămână.
Puterea instrucțiunilor simple
Ceea ce face ca această realizare să fie deosebit de notabilă este metodologia utilizată. În loc să necesite o programare extrem de specializată sau algoritmi personalizați complecși, soluția a fost obținută printr-un prompt extrem de simplu. Acest lucru sugerează că modelele existente, precum ChatGPT, posedă capacități latente de raționament matematic care abia acum încep să fie exploatate pe deplin de către cercetători.
Avansul cercetării matematice
Această evoluție subliniază o tendință în creștere în care AI este utilizată nu doar pentru procesarea datelor, ci ca instrument pentru raționamentul abstract de nivel înalt. Prin identificarea contraexemplelor pentru conjecturile stabilite, AI îi ajută pe matematicieni să își restrângă aria de focalizare și să rafineze teorii care au rămas stagnante ani de zile. Viteza cu care au loc aceste descoperiri indică faptul că integrarea inteligenței artificiale în științele formale este într-o fază de accelerare.
