CP v2

Tag: Matematika

  • Mokslininkai atskleidė, kodėl vieniems matematika sekasi lengvai, o kitiems ji tampa kančia

    Matematiką lemia ne vien formulės

    Gebėjimas spręsti matematikos uždavinius priklauso ne tik nuo to, ar mokinys atsimena formules ir taisykles. Naujesni švietimo psichologijos tyrimai rodo, kad didelę įtaką daro kalbos supratimas, žodynas, loginis mąstymas ir gebėjimas perprasti skaičių tarpusavio ryšius.

    Teksaso A&M universiteto tyrėjai, apžvelgę įvairių kognityvinių testų rezultatus, siekė nustatyti, kurios protinės funkcijos labiausiai susijusios su matematiniu pasiekimu. Vertinta ir bazinė aritmetika, ir sudėtingesnis problemų sprendimas, taip pat darbo greitis.

    Kodėl kalba svarbi matematikai?

    Viena ryškiausių išvadų yra ta, kad matematikos sėkmę stipriai prognozuoja kalbos supratimo gebėjimai. Tai apima ne vien žodžių reikšmių žinojimą, bet ir gebėjimą apdoroti informaciją, pasiremti turimomis žiniomis bei daryti išvadas.

    Dėl to mokiniai, kurie lėčiau suvokia teksto prasmę ar sunkiau perpranta sąlygos formuluotę, dažnai stringa net tada, kai skaičiuoti moka gerai. Praktikoje tai ypač matyti sprendžiant tekstinius uždavinius, kuriuose svarbiausia tampa ne veiksmas, o situacijos supratimas.

    „Matome, kad įgūdžiai, kurie būtini skaitant ir rašant, yra svarbūs ir matematikoje“, – sakė tyrimui vadovavęs švietimo psichologijos docentas Danielis Gajovskis.

    Loginis mąstymas ir skaičių pajauta

    Kitas svarbus veiksnys yra vadinamasis lankstus mąstymas, kai žmogus geba daryti indukcines ir dedukcines išvadas net tuomet, kai nėra aiškaus sprendimo algoritmo. Tai padeda atskirti, kas uždavinyje svarbiausia, ir rasti kelią į sprendimą nepažįstamoje situacijoje.

    Vis dėlto vien bendrų kognityvinių gebėjimų nepakanka. Tyrėjai pabrėžia ir skaičių pajautos reikšmę, tai yra gebėjimą suprasti, kaip skaičiai siejasi tarpusavyje, ką reiškia dydžių santykiai ir kaip veikia pagrindinės matematinės dėsningybės.

    Šiuos gebėjimus galima ugdyti

    Mokslininkai pabrėžia, kad šie įgūdžiai nėra nekintami ir gali būti lavinami kryptingu mokymusi bei praktika. Kadangi naujos temos dažnai remiasi ankstesnėmis, ypač svarbu laiku pastebėti spragas ir suteikti tikslinę pagalbą, kol jos nevirto ilgalaikėmis problemomis.

    Ekspertai akcentuoja, kad pedagogams verta vertinti ne tik galutinį pažymį, bet ir mokinio klaidų pobūdį. Klaidų analizė padeda suprasti, ar mokinys stringa dėl sąvokų nesupratimo, silpnesnių kalbos įgūdžių, loginių žingsnių trūkumo, ar tiesiog dėl lėtesnio darbo tempo.

    Tokia diagnostika leidžia pritaikyti mokymą konkrečiam vaikui, pavyzdžiui, daugiau dėmesio skiriant sąlygų skaitymui, sąvokų aiškinimui, sprendimo strategijoms ar automatizavimui. Ilgainiui tai didina tikimybę, kad matematika taps ne baime, o įveikiamu iššūkiu.

  • Justin Sun įsteigė matematikos premiją iki 930 000 eurų: prizai už įrodomas užduotis ir DI

    Justin Sun įsteigė matematikos premiją iki 930 000 eurų: prizai už įrodomas užduotis ir DI

    Kriptovaliutų ekosistemos veikėjas ir TRON įkūrėjas Justin Sun paskelbė įsteigiantis Justin Sun Prize – matematikos ir formalaus verifikavimo premiją, kurios didžiausias apdovanojimas už vieną uždavinį sieks iki 930 000 eurų. Iniciatyva pristatoma kaip atviras „uždavinių sąrašu“ paremtas mechanizmas, kuriame sprendimų kokybę lemia ne autoriaus statusas, o įrodymo griežtumas ir galimybė jį patikrinti mašina.

    Organizatorių teigimu, premija skirta proveržiams fundamentiniuose moksluose, ypač matematikoje, taip pat mašininio formalaus įrodymų tikrinimo srityje. Skirtingai nei tradiciniai apdovanojimai, čia nenumatomas nominavimo ciklas ar karjeros nuopelnų vertinimas: prizas siejamas su konkrečiu uždaviniu, o laimi pirmasis pateikęs reikalavimus atitinkantį sprendimą.

    Pagrindas – patikrinami įrodymai

    Premijos modelis remiasi formalia verifikacija, kai matematiniai įrodymai perrašomi į specialias formalias kalbas ir tikrinami įrodymų tikrintuvais. Tokia praktika pastaraisiais metais sparčiai plinta akademinėje bendruomenėje, nes mažina žmogiškų klaidų tikimybę ir leidžia tiksliau atsekti, kurios įrodymo grandys yra kritinės.

    Ši kryptis išpopuliarėjo ir dėl to, kad didėja įrodymų sudėtingumas, o recenzavimo procesas ne visada pajėgia vienodai giliai patikrinti visas detales. Formali verifikacija laikoma viena iš perspektyvių priemonių, galinčių sustiprinti mokslo patikimumą srityse, kur klaidos gali išlikti nepastebėtos metų metus.

    Pirmieji laureatai ir diskusijos

    Kartu paskelbta ir pirmoji laureatų banga: pranešime teigiama, kad įvertinti sprendimai bei formalizuoti įrodymai, susiję su 66 matematikos uždaviniais. Taip pat nurodoma, kad didžiausias prizas atiteko „OpenAI“ tyrėjų komandai už suformuluotą sprendimą ir formalizaciją, siejamą su Navjė–Stokso egzistavimo ir glotnumo uždaviniu.

    Vis dėlto būtent ši dalis neišvengiamai kelia klausimų, nes Navjė–Stokso uždavinys yra vienas iš Clay Matematikos instituto Tūkstantmečio problemų, o tokio masto proveržiai paprastai sulaukia plataus nepriklausomo patvirtinimo, recenzavimo ir viešų diskusijų. Dėl to tikėtina, kad akademinė bendruomenė vertins ne tik paskelbimą, bet ir tai, ar pateikti įrodymai yra prieinami, reprodukuojami ir praeina nepriklausomą tikrinimą.

    Kur čia vieta DI?

    Premijos sumanytojai akcentuoja, kad iniciatyva pritaikyta laikotarpiui, kai matematikos ir programinės įrangos kūrimo procesuose vis dažniau dalyvauja DI. Tokiu atveju formali verifikacija tampa natūralia jungtimi tarp žmogaus suformuluotos idėjos ir mašininio patikrinimo, leidžiančio aiškiai įvertinti, ar rezultatas tikrai įrodomas.

    Tačiau kartu tai reiškia ir naują standartą: neužtenka pateikti įtikinamai skambančios argumentacijos ar dalinio skaičiavimo, jei premijos kriterijus yra formaliai patikrintas kodas. Praktikoje tai gali paskatinti kurti atviresnes įrodymų bazes, didinti skaidrumą ir aiškiau atskirti hipotezes nuo griežtai patvirtintų teiginių.

    „Mano turtas kilo iš matematikos ir grįš į matematiką“, – sakė Justin Sun.

    Pranešime taip pat nurodoma, kad prizų išmokėjimai bus atliekami stabiliosiomis kriptovaliutomis, o išmokėjimų apskaita fiksuojama blokų grandinėje. Toks sprendimas gali suteikti daugiau viešo atsekamumo, tačiau reali iniciatyvos vertė galiausiai priklausys nuo to, ar uždavinių sąrašas, įrodymų kodas ir tikrinimo procedūros bus iš tiesų viešos, aiškios ir nuosekliai prižiūrimos.

    Matematikos bendruomenei svarbiausias klausimas išlieka paprastas: ar premija taps patikimu postūmiu formalios verifikacijos kultūrai, ar tik dar vienu garsiu pažadu. Jei organizatoriai užtikrins atvirą prieigą, nepriklausomą patikrą ir aiškius standartus, iniciatyva gali papildyti tradicinius apdovanojimus tuo, ko jiems dažnai trūksta – mašiniškai patikrinamu, viešai audituojamu mokslo rezultatu.

  • Justinas Sunas įsteigė „Justin Sun Prize“: iki 900 000 eurų už proveržius matematikos įrodymuose

    Justinas Sunas įsteigė „Justin Sun Prize“: iki 900 000 eurų už proveržius matematikos įrodymuose

    Verslininkas Justinas Sunas pranešė įkuriantis „Justin Sun Prize“ – naują tarptautinę iniciatyvą, kuri apdovanos proveržius matematikoje ir formaliame įrodymų tikrinime. Organizatorių teigimu, prizas kuriamas kaip decentralizuota akademinių uždavinių sistema, kurioje svarbiausia ne institucinis svoris, o pats patikrinamas rezultatas.

    Skelbiama, kad didžiausia vieno uždavinio premija gali siekti iki 900 000 eurų. Apdovanojimų mechanizmas remiasi viešu uždavinių sąrašu, o laimėtoju laikomas pirmasis, pateikęs reikalavimus atitinkantį sprendimą ir mašiniškai patikrinamą formalizuotą įrodymą.

    Kaip veiks apdovanojimas?

    Pasak iniciatorių, „Justin Sun Prize“ atsisako tradicinių nominacijų, rekomendacijų ir cikliškų komisijų darbo ritmų. Vietoje to prizas siejamas tiesiogiai su konkrečiais matematikos uždaviniais, o įrodymo kokybė vertinama pagal griežtą formalizavimą ir verifikavimą.

    Praktikoje tai reiškia, kad apdovanojimą teoriškai gali gauti bet kas, jei tik pateikiamas sprendimas atitinka taisykles ir gali būti patikrintas formaliomis priemonėmis. Iniciatyva taip pat pabrėžia, kad nėra skirties tarp žmogaus darbo ir DI indėlio, jei galutinis įrodymas yra patikrinamas.

    Pirmieji laimėtojai ir Navier–Stokso uždavinys

    Kartu paskelbti ir pirmieji „Justin Sun Prize“ laureatai už sprendimus bei formalizuotus įrodymus, susijusius su 66 matematikos uždaviniais. Didžiausias apdovanojimas, kaip skelbiama pranešime, atiteko „OpenAI“ tyrėjų komandai už sprendimą ir formalizuotą įrodymą, siejamą su trimačių Navier–Stokso lygčių egzistavimo ir glodumo problema.

    Navier–Stokso lygtys aprašo skysčių ir dujų judėjimą, todėl jų taikymai svarbūs nuo aerodinamikos iki klimato modelių. Ši tema ypač žinoma dėl to, kad 2000 metais Clay Mathematics Institute ją įtraukė į Septynių tūkstantmečio uždavinių sąrašą, kuriame už sprendimą numatyta 900 000 eurų siekianti premija.

    Kodėl akcentuojama formalioji verifikacija?

    Pastaraisiais metais matematikoje ir programų inžinerijoje vis didesnį vaidmenį įgauna formali verifikacija, kai įrodymas ar algoritmo teisingumas pateikiamas taip, kad jį gali patikrinti specialios sistemos. Tai mažina dviprasmybių riziką ir leidžia tiksliau atsekti, kokiomis prielaidomis remiamasi.

    „Justin Sun Prize“ koncepcija remiasi būtent šiuo principu: apdovanojamas ne vien idėjos originalumas, bet ir tai, ar įrodymas gali būti patvirtintas mašiniškai. Organizatorių teigimu, taip siekiama spartinti fundamentinius tyrimus ir geriau prisitaikyti prie pokyčių, kuriuos į mokslą atneša DI įrankiai.

    „Mano turtas kilo iš matematikos ir į matematiką sugrįš“, – sakė Justinas Sunas.

    Pranešime taip pat teigiama, kad uždavinių sąrašas bus nuolat pildomas ir viešai atnaujinamas, o jau įtraukti uždaviniai nebus šalinami. Nurodoma, kad apdovanojimų išmokėjimo įrašai bus fiksuojami blokų grandinėje, o pati iniciatyva akcentuoja atvirumą, viešą naudą ir atvirąjį kodą.

    Numatoma, kad prizas galės būti išmokamas stabiliosiomis kriptovaliutomis, o mokėjimo būdas bus pasirenkamas laimėtojo. Organizatorių tikinimu, tai turėtų supaprastinti tarptautinius atsiskaitymus, tačiau praktinis įgyvendinimas ir skaidrumo standartai taps vienu svarbiausių aspektų, nuo kurių priklausys iniciatyvos patikimumas akademinėje bendruomenėje.

  • Vilkaviškyje meras atsisveikino su legendinėmis mokytojomis: už ką dėkojo trim pedagogėms

    Vilkaviškyje meras atsisveikino su legendinėmis mokytojomis: už ką dėkojo trim pedagogėms

    Vilkaviškio rajono savivaldybės meras Algirdas Neiberka apsilankė Vilkaviškio „Ąžuolo“ progimnazijoje ir Vilkaviškio „Aušros“ gimnazijoje. Čia jis padėkojo trims ilgametėms pedagogėms, baigusioms profesinę veiklą ugdymo įstaigose.

    Savivaldybė pabrėžė, kad šis susitikimas skirtas įvertinti mokytojų indėlį į mokinių pasiekimus ir mokyklų bendruomenių gyvenimą. Tokios padėkos, anot švietimo bendruomenių, tampa svarbiu simboliniu žingsniu, stiprinančiu pasitikėjimą mokytojo profesija.

    Vilkaviškio „Ąžuolo“ progimnazijoje mero padėka įteikta pradinio ugdymo mokytojai Marijai Žemaitienei. Jai dėkota už ilgametį profesionalų darbą, ugdymo rezultatus ir aktyvų dalyvavimą mokyklos veikloje.

    Vilkaviškio „Aušros“ gimnazijoje padėkos įteiktos matematikos mokytojoms metodininkėms Virginijai Bartkuvienei ir Violetai Zajankauskienei. Savivaldybė akcentavo jų atsakingą darbą, atsidavimą mokiniams ir gebėjimą motyvuoti jaunus žmones ieškoti sprendimų bei siekti tikslų.

    „Nuoširdžiai dėkoju už daugybę metų, skirtų mokyklai ir mokiniams. Per tuos metus Jūs ne tik perdavėte žinias, bet ir lydėjote jaunus žmones jų augimo kelyje, drąsinote, padėjote atrasti savo stiprybes ir siekti užsibrėžtų tikslų. Linkiu sveikatos, gražių akimirkų, mėgstamos veiklos ir daugiau laiko sau bei artimiesiems“, – sakė meras A. Neiberka.

    Mokyklų atstovai pabrėžė, kad ypač svarbus pedagogų nuoseklumas ir ryšys su mokiniais, kai švietimo sistema susiduria su mokytojų trūkumu ir senėjančiu pedagogų amžiumi. Dėl to kiekvienas sprendimas rinktis mokytojo kelią ir likti mokykloje ilgus metus bendruomenėse vertinamas kaip išskirtinė atsakomybė.

    Pedagogėms padėkos ir linkėjimai skambėjo ir iš mokyklų vadovų bei kolektyvų. Gražius žodžius joms skyrė Vilkaviškio „Ąžuolo“ progimnazijos direktorė Gileta Naujokienė, Vilkaviškio „Aušros“ gimnazijos laikinai einanti direktoriaus pareigas Neringa Bartelienė ir abiejų mokyklų bendruomenės.

  • Gvatemaloje rastas netikėtas majų parašas: mokslininkai įrodė, kad turėjo savo Koperniką

    Gvatemaloje rastas netikėtas majų parašas: mokslininkai įrodė, kad turėjo savo Koperniką

    Proveržis majų mokslo istorijoje

    Gvatemaloje, viename svarbiausių klasikinio laikotarpio majų centrų Xultúne, mokslininkai perskaitė maždaug prieš 1 200 metų ant pastato sienos paliktą įrašą. Trumpas tekstas, sudarytas iš dalinai pažeistų glifų, leido identifikuoti vardą Sak Tahn Waax, kuris siejamas su konkrečiu matematiniu skaičiavimo metodu.

    Tyrėjai pabrėžia, kad tai gali būti pirmasis žinomas atvejis, kai majų civilizacijoje mokslinis darbas aiškiai priskiriamas konkrečiam asmeniui. Iki šiol dauguma tokio pobūdžio žinių buvo siejamos su anoniminiais raštininkais arba valdovų užsakytomis monumentaliomis inskripcijomis.

    Kas rasta Xultúne ir kodėl tai svarbu

    Inskripcija aptikta pastato dalyje, žymimoje kaip 10K-2, kurio vidinės sienos nusėtos dešimtimis ranka rašytų pastabų, skaičiavimų ir astronominių užrašų. Mokslininkai šią erdvę lygina su darbo sąsiuviniu, kuriame fiksuotos praktinės užduotys, o ne reprezentaciniai tekstai.

    Patalpoje užfiksuota daugiau kaip 50 tekstų, susijusių su kalendorių skaičiavimais ir dangaus kūnų ciklais, įskaitant Saulę, Mėnulį, Venerą ir Marsą. Majams tokie skaičiavimai buvo esminiai, nes nuo jų priklausė ceremonijų datos, valdovų įtvirtinimo ritualai ir kitų svarbių įvykių planavimas.

    Kaip pavyko perskaityti glifus

    Proveržis įvyko tuomet, kai tyrėjai ėmėsi itin trumpo, bet reikšmingo užrašo iš vienuolikos glifų, kurių dalis buvo sunaikinta. Pasitelkus didelės raiškos fotografijas, skaitmeninius skenavimus ir vaizdo sustiprinimo metodus, pavyko atkurti trūkstamas vietas ir suprasti teksto struktūrą.

    Vardo Sak Tahn Waax atsiradimas matematinio uždavinio pabaigoje interpretuojamas kaip autoriaus parašas. Tyrėjai mano, kad tai nėra vien raštininko žyma, o sąmoningas bandymas priskirti metodą jo kūrėjui.

    „Tai pirmasis žinomas atvejis, kai majų matematikas savo vardu aiškiai susieja save su konkrečiu skaičiavimo metodu“, – teigiama tyrėjų išvadose.

    Majų astronomija ir matematika: daugiau nei mitas

    Mokslininkai atkreipia dėmesį, kad aptiktas parašas keičia požiūrį į majų mokslo tradiciją. Jei interpretacija teisinga, Sak Tahn Waax galėjo būti ne tik tekstų perrašinėtojas, bet ir savarankiškai metodus kūręs specialistas, paremtas ilgalaikiais dangaus stebėjimais.

    Tokia išvada svarbi ir platesniame kontekste: ji rodo, kad majų mokslo praktikoje galėjo egzistuoti asmeninės autorystės suvokimas, artimesnis vėlesnėms mokslinėms tradicijoms. Be to, randama užuominų, kad pastatas galėjo būti mokymų vieta raštininkams ir astronomams, nes netoliese aptikta su rašyba ir popieriaus gamyba siejamų veiklos pėdsakų.

    Istorikams tai suteikia retą galimybę konkretų matematinį pasiekimą susieti su žmogumi, gyvenusiu prieš daugiau nei tūkstantį metų. Tokie duomenys paprastai yra itin fragmentiški, todėl kiekvienas naujas identifikuojamas vardas padeda tiksliau rekonstruoti, kaip iš tiesų veikė majų žinių kūrimo ir perdavimo sistema.

  • Skaičiai, kurie pastatė miestus: nuo Partenono iki XXI amžiaus dangoraižių paslapčių

    Skaičiai, kurie pastatė miestus: nuo Partenono iki XXI amžiaus dangoraižių paslapčių

    Matematika architektūroje dažnai lieka nematoma, tačiau būtent ji lemia, kodėl vieni pastatai atrodo harmoningai, o kiti kelia diskomfortą. Skaičiai čia veikia ne tik kaip matavimo įrankis: proporcijos, geometrija ir skaičiavimai tiesiogiai susiję su estetika, sauga ir energiniu efektyvumu.

    Nuo senovės Graikijos šventyklų iki gotikinių katedrų architektai rėmėsi aiškiomis geometrinėmis taisyklėmis, kurios padėjo suvaldyti mastelį ir sukurti tvarkos pojūtį. Romėnai matematinius principus pavertė inžinerija, leidusia statyti akvedukus, amfiteatrus ir didžiules skliautuotas erdves.

    Geometrija laiko konstrukcijas

    Geometrija architektūroje svarbi ne vien dėl formos. Tinkamai parinkti tūriai ir konstrukcinės schemos nulemia, kaip pastate pasiskirsto apkrovos, kaip jis reaguoja į vėją, sniegą ar temperatūrų kaitą, o kai kuriuose regionuose ir į seisminius poveikius.

    Šiuolaikinėje statyboje svarbų vaidmenį atlieka skaitmeniniai skaičiavimo metodai, tokie kaip baigtinių elementų analizė ir vėjo tunelio simuliacijos. Tai leidžia dar projektavimo etape aptikti silpnąsias vietas, optimizuoti medžiagų kiekį ir sumažinti konstrukcijų perteklių, išlaikant saugos reikalavimus.

    Proporcijos ir žmogaus pojūčiai

    Proporcijos daro įtaką tam, kaip suvokiame erdvę: ar ji atrodo jauki, ar slegianti, ar pastatas „stovi“ stabiliai vizualiai. Architektūros teorijoje dažnai minimas auksinis pjūvis, tačiau istorikai pabrėžia, kad jo realus taikymas skirtingais laikotarpiais buvo nevienodas ir neretai pervertinamas.

    Vis dėlto praktikoje svarbiausia ne viena formulė, o tarpusavyje suderinti masteliai: fasado ritmas, langų santykiai, laiptinių plotis ir natūralios šviesos kiekis. Matematiniai santykiai padeda sukurti pastatus, kuriuose patogu judėti ir aišku orientuotis.

    Parametrinis projektavimas ir DI

    Didžiausias lūžis įvyko tada, kai projektavimas persikėlė į parametrinius modelius: architektas apibrėžia taisykles ir ryšius, o forma generuojama keičiant parametrus. Taip per trumpą laiką galima patikrinti šimtus variantų ir rasti sprendimą, kuris geriausiai suderina estetiką, kainą ir techninius ribojimus.

    DI vis dažniau naudojamas generatyviniam projektavimui, kai sistema pasiūlo alternatyvas pagal aiškius kriterijus, pavyzdžiui, mažesnį energijos poreikį, geresnį dienos šviesos pasiskirstymą ar mažesnį konstrukcijų svorį. Šis kelias ypač svarbus siekiant griežtesnių tvarumo tikslų ir mažesnio pastatų anglies pėdsako.

    Matematika veikia ir platesniu mastu, nes miestų planavimas remiasi duomenimis bei modeliais: nuo eismo srautų prognozavimo iki žaliųjų zonų išdėstymo ir karščio salų efekto mažinimo. Skaičiai, formulės ir algoritmai lemia ne tik pastato siluetą, bet ir tai, kaip patogiai kasdien funkcionuoja visas miestas.

  • „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ą.

  • Trumpas vėl gyrėsi kognityviniu testu: jo matematikos pavyzdys ir procentai sukėlė pašaipas

    Trumpas vėl gyrėsi kognityviniu testu: jo matematikos pavyzdys ir procentai sukėlė pašaipas

    Kas nuskambėjo Floridos mitinge

    Donaldas Trumpas per mitingą Floridoje dar kartą tikino „puikiai“ atlikęs kognityvinius testus ir taip siekęs atremti viešas abejones dėl savo psichologinės būklės. 79 metų politikas aiškino, kad testuose esą būna ir paprastų užduočių, pavyzdžiui, gyvūnų atpažinimas, ir sudėtingesnių klausimų.

    Kalbėdamas apie tariamai sunkiausią dalį, Trumpas pateikė aritmetinį pavyzdį su keliais veiksmais. Jis tvirtino atsakymą gavęs teisingą, nors būtent ši vieta socialiniuose tinkluose greitai tapo pašaipų objektu.

    Matematikos užduotis ir tikrasis rezultatas

    Trumpo išsakytas veiksmas buvo toks: paimti 99, padauginti iš 9, padalyti iš 3, pridėti 4 293, gautą sumą padalyti iš 2, atimti 93, padalyti iš 9. Suskaičiavus nuosekliai, galutinis rezultatas nėra sveikasis skaičius.

    Skaičiavimo seka veda prie 244,666… pasikartojančio skaičiaus, todėl daliai komentatorių kilo klausimas, ar politikas apskritai turėjo omenyje šį veiksmą, ar pateikė jį improvizuodamas. Internete netruko pasirodyti įrašų, kuriuose pabrėžiama, kad užduotis iš tiesų labiau primena dėmesio ir atminties patikrą, o ne aiškų „vieną teisingą“ atsakymą be kalkuliatoriaus.

    Procentai, kurie „nesueina“

    Po pasakojimo apie testą Trumpas perėjo prie ekonominių pažadų ir teigė, kad amerikiečiams pavyko pasiekti „rekordinių nuolaidų“, minėdamas 400, 500, 600, 700 ar net 800 proc. sumažėjimus. Toks teiginys vėl sulaukė kritikos, nes 100 proc. sumažėjimas reikštų kainą, nukritusią iki nulio.

    Vėliau jis bandė aiškinti, kad „galima sakyti ir 80, 90, 70“, priklausomai nuo to, kaip formuluojamas teiginys, tačiau pridūrė, jog „tai nesvarbu“. Vis dėlto būtent toks laisvas elgesys su procentais tapo dar vienu argumentu kritikams, akcentuojantiems, kad viešuose pasisakymuose skaičiai turi būti vartojami tiksliai.

    Į situaciją sureagavo ir dalis JAV politikų, viešai pašiepusių procentų logiką bei Trumpo pasitikėjimą savo atsakymu. Diskusiją dar labiau kaitino tai, kad įrašai iš mitingo sparčiai plito socialiniuose tinkluose, o vartotojai masiškai dalijosi perskaičiavimais ir interpretacijomis.

    Šis epizodas parodė, kaip greitai politiniai pasisakymai, ypač susiję su skaičiais ir tikslumu, gali virsti virusiniu turiniu. Kartu tai priminė, kad rinkėjai ir oponentai vis dažniau tikrina teiginius čia pat, o klaidos ar dviprasmybės akimirksniu tampa viešų debatų dalimi.