CP v2

Tag: Moksliniai tyrimai

  • Uzbekistanas pakvietė 50 šalių mokslininkus: islamo civilizacijos idėjos grįžta į mokslą

    Uzbekistanas pakvietė 50 šalių mokslininkus: islamo civilizacijos idėjos grįžta į mokslą

    Taškente surengtas Pirmasis tarptautinis islamo civilizacijos forumas subūrė daugiau kaip 450 tyrėjų, religinių lyderių ir politikos formuotojų iš per 50 šalių. Diskusijose daug dėmesio skirta tam, kaip istorinė islamo pasaulio mokslo tradicija šiandien veikia švietimą, tyrimus ir tarptautinį bendradarbiavimą.

    Forumo darbotvarkės centre buvo šiuolaikiniai iššūkiai, kuriems spręsti, dalyvių teigimu, būtinas mokslo ir kultūrinio dialogo derinys. Taškente aptartos švietimo reformos, akademinės partnerystės ir mokslinių institucijų vaidmuo kuriant pasitikėjimą tarp skirtingų regionų.

    Kelionė per istorinius centrus

    Renginys tęsėsi Samarkande ir Termeze, kurie istorijoje laikomi svarbiais islamo mokymosi centrais. Čia dalyviai grįžo prie Imam al-Maturidi ir Imam al-Tirmidhi intelektinio palikimo, kartu ieškodami būdų, kaip šią tradiciją pristatyti šiuolaikinei auditorijai.

    Pristatyti projektai apėmė interaktyvių muziejų plėtrą, rankraščių skaitmeninimą ir platesnį kultūros paveldo prieinamumą tyrėjams. Aptarta ir tai, kaip dirbtinis intelektas bei DI pagrįsti įrankiai gali pagreitinti archyvų apdorojimą, tekstų atpažinimą ir vertimų parengimą, kartu keliant duomenų kokybės bei autentiškumo klausimus.

    Mokslininkų idėjos ir šiandien

    Forume primintos Vidurinės Azijos mokslininkų įtakos sritys, nuo matematikos ir astronomijos iki medicinos ir filosofijos. Programoje akcentuotos tokių istorinių asmenybių kaip al-Chorezmi, Ibn Sina ir al-Biruni idėjos, kurios laikomos svarbiomis moderniųjų mokslo disciplinų raidos grandimis.

    Diskusijose pabrėžta, kad šiandieninėje mokslo politikoje vis svarbesnė tampa ne tik inovacijų plėtra, bet ir paveldo išsaugojimas bei atvira prieiga prie žinių. Skaitmeninimo projektai ir tarptautiniai konsorciumai vis dažniau vertinami kaip būdas sujungti humanitarinius ir tiksliuosius mokslus, ypač kai tyrimams pasitelkiami dideli tekstynai.

    Taškento deklaracija ir kiti žingsniai

    Forumas baigėsi Taškento deklaracijos priėmimu, kurioje numatytas gairių rinkinys tolimesniam bendradarbiavimui mokslinių tyrimų, švietimo ir islamo paveldo apsaugos srityse. Dokumente išskirta partnerystė tarp universitetų, mokslinių centrų ir kultūros institucijų, taip pat siekis didinti tyrimų tarptautiškumą.

    Organizatorių vertinimu, deklaracija turėtų tapti atspirties tašku konkretiems projektams, apimantiems bendras studijų programas, mokslininkų mainus ir skaitmeninių kolekcijų plėtrą. Tikimasi, kad tokio tipo forumai padės perkelti diskusijas nuo simbolinių pareiškimų prie praktiškai pamatuojamų rezultatų mokslo ir švietimo ekosistemoje.

  • „OpenAI“ DI išsprendė 80 metų mįslę matematikoje: mokslininkai kalba apie lūžį

    „OpenAI“ DI išsprendė 80 metų mįslę matematikoje: mokslininkai kalba apie lūžį

    „OpenAI“ pranešė, kad jų vidinis dirbtinis intelektas savarankiškai rado sprendimą vadinamajam vienetinių atstumų plokštumoje uždaviniui, kurį 1946 metais suformulavo matematikas Paulas Erdősas. Šis klausimas dešimtmečius laikytas vienu iš užsispyrusių kombinatorinės geometrijos iššūkių, o naujas rezultatas sukėlė diskusijas apie DI vaidmenį moksle.

    Uždavinys formuluojamas paprastai: turint n taškų plokštumoje, kiek daugiausia galima gauti taškų porų, kurių atstumas lygiai vienas. Iš pirmo žvilgsnio tai atrodo kaip elementari geometrija, tačiau realiai problema remiasi giliomis grafų teorijos, kombinatorikos ir geometrijos sąsajomis.

    Iki šiol tyrėjai rėmėsi ilgai vyravusiomis konstrukcijomis ir ribomis, kurios leido suprasti, kaip auga vienetinių atstumų skaičius didėjant taškų skaičiui. „OpenAI“ teigia, kad jų DI pasiūlė naują konstrukcijos principą, kuris paneigia anksčiau plačiai taikytą intuiciją apie optimalias taškų išdėstymo struktūras.

    „Tai pirmas atvejis, kai reikšmingas, plačiai žinomas atviras matematikos klausimas buvo išspręstas autonomiškai dirbtinio intelekto“, – sakė „OpenAI“ atstovai.

    Teigiama, kad pateiktas įrodymas buvo peržiūrėtas ir patikrintas nepriklausomų matematikų, kurie taip pat parengė paaiškinimą, kaip sukonstruotas argumentas. Tokia patikra yra kritiškai svarbi, nes matematikoje proveržis laikomas realiu tik tada, kai įrodymą galima nuosekliai atkurti ir patikrinti nepriklausomai nuo autoriaus ar naudojamos sistemos.

    Ekspertai pabrėžia, kad šio tipo proveržiai gali turėti platesnių pasekmių nei vienas uždavinys. Jei DI geba išlaikyti ilgas loginių žingsnių grandines, tiksliai apibrėžti sąvokas ir sujungti idėjas iš skirtingų sričių, tai atveria kelią spartesniam darbui ne tik matematikoje, bet ir teorinėje fizikoje, medžiagų moksle ar biomedicinoje, kur dažnai reikalingi sudėtingi formalūs argumentai.

    Kartu tyrėjai atkreipia dėmesį į ribas: net ir labai pažangūs modeliai gali klysti, o klaidos formaliuose įrodymuose kartais būna sunkiai pastebimos. Dėl to DI rezultatai, ypač susiję su naujais teiginiais, turi būti tikrinami žmonių ir, jei įmanoma, formalizuojami įrodymų tikrinimo sistemose, kad sprendimas taptų patikimas ir ilgalaikis.

    Pastaraisiais metais akademinėje bendruomenėje ryškėja tendencija DI naudoti kaip pagalbininką hipotezėms generuoti, tarpiniams žingsniams tikrinti ir dideliems literatūros kiekiams apibendrinti. „OpenAI“ istorija rodo dar vieną kryptį: DI gali tapti ne vien įrankiu, bet ir partneriu, kuris pasiūlo netikėtą idėją, o žmogus užtikrina jos tikslumą, prasmę ir pritaikomumą.