DI padarė tai, ko žmonėms nepavyko beveik 90 metų: paneigtas vienas svarbiausių matematikos teiginių

Sekite TechNaujienos Google

Dirbtinis intelektas (DI) galėjo padėti paneigti vieną svarbiausių beveik 90 metų gyvavusių matematikos teiginių. Apie tai paskelbė Harvardo universiteto matematikas Levent Alpöge, nurodęs, kad sprendimą padėjo rasti DI modelis „Claude Fable 5“. Šis atradimas svarbus ne tik matematikams – jis rodo, kad ši technologija gali tapti vis svarbesniu įrankiu kuriant ateities technologijas ir mokslo proveržius.

Beveik 90 metų ieškotas atsakymas

Iš pirmo žvilgsnio ši istorija gali atrodyti kaip dar viena sudėtinga matematikų diskusija. Tačiau Jakobio spėjimas (angl. Jacobian conjecture) 87-erius metus yra laikomas viena svarbiausių neišspręstų šiuolaikinės matematikos problemų. Jo reikšmę pabrėžia ir tai, kad 1998 m. garsus matematikas Steve’as Smale’as šį uždavinį įtraukė į savo sudarytą 18 svarbiausių matematikos problemų XXI amžiui sąrašą. Daugybė mokslininkų bandė įrodyti, kad šis teiginys yra teisingas, tačiau nė vienam to padaryti nepavyko.

Šį matematinį teiginį 1939 metais suformulavo vokiečių matematikas Ott-Heinrich Keller. Jis nagrinėja daugianares funkcijas ir atsako į klausimą, ar tam tikromis sąlygomis jų veikimą visada galima tiksliai „atsukti atgal“ – kitaip tariant, iš galutinio rezultato atkurti pradinę informaciją.

Nors tai skamba labai teoriškai, būtent tokie fundamentalūs matematikos principai sudaro daugelio kitų sričių pagrindą – nuo sudėtingų modeliavimo metodų ir inžinerinių skaičiavimų iki DI algoritmų kūrimo. Dėl to kiekvienas proveržis šioje srityje sulaukia didelio mokslo bendruomenės dėmesio.

Naujausi straipsniai

4 min. skaitymo • prieš 12 val

Lietuva tapo vienu svarbiausių „Tesla“ bandymų poligonų: rezultatai gali lemti sprendimą visai ES

4 min. skaitymo • prieš 12 val

„Meta“ akinių skandalas: žmones esą filmavo be leidimo, o įrašus stebėjo iš kito pasaulio krašto

3 min. skaitymo • prieš 16 val

Mokslininkai išsiaiškino, kaip vėžio ląstelės „apgauna“ imuninę sistemą

Visi naujausi straipsniai →

Taigi dabar Harvardo universiteto matematikas L. Alpöge paskelbė radęs kontrapavyzdį, rodantį, kad šis beveik 90 metų teisingu laikytas teiginys gali būti klaidingas. Pasak tyrėjo, prie šio sprendimo prisidėjo naujasis technologijų bendrovės „Anthropic“ DI modelis „Claude Fable 5“, padėjęs aptikti išimtį, kurios matematikams nepavyko rasti dešimtmečius.

Rezultatą reikės patikrinti

Nors matematiko paskelbtas sprendimas jau sulaukė susidomėjimo, šioje srityje vien paskelbti rezultatą nepakanka. Tokie atradimai pripažįstami tik tada, kai juos nepriklausomai patikrina kiti mokslininkai ir patvirtina, kad pateiktas kontrapavyzdys yra teisingas.

Vis dėlto pirmosios matematikų reakcijos buvo palankios. Socialiniame tinkle „X“ keli žinomi tyrėjai pripažino, kad pateiktas sprendimas atrodo įtikinamai.

Ar tai – naujas dirbtinio intelekto etapas?

Jei L. Alpöge paskelbtas rezultatas bus patvirtintas, jis gali tapti vienu ryškiausių pavyzdžių, kad DI jau geba ne tik analizuoti duomenis ar padėti atlikti skaičiavimus, bet ir prisidėti prie fundamentalių mokslinių atradimų.

Nors dar anksti teigti, kad DI pranoko žmogų matematikoje, ši istorija rodo, jog jo vaidmuo mokslo pasaulyje sparčiai keičiasi. Jei ateityje tokie modeliai padės spręsti ir kitas dešimtmečius neišspręstas problemas, jų reikšmė gali būti gerokai platesnė nei vien matematika. Tai būtų dar vienas ženklas, kad DI pamažu tampa ne tik kasdienių užduočių automatizavimo įrankiu, bet ir technologija, galinčia prisidėti prie naujų mokslo atradimų.

JUMS GALI PATIKTI: Dirbtinis intelektas padėjo nustatyti 18 retų ligų: prasideda naujas diagnostikos etapas?