OpenAI paskelbė 722 matematikos rankraščius iš vidinio DI modelio
OpenAI spalio 6 d. paskelbė naują vidinio modelio matematikos rezultatų rinkinį. Bendrovės teigimu, jis apima 722 rankraščius ir 372 rezultatų šeimas.
OpenAI spalio 6 d. paskelbė naują matematikos rezultatų rinkinį, kurį sukūrė dar neišleistas vidinis DI modelis. Pasak The Verge, rinkinį sudaro 722 rankraščiai ir 372 rezultatų šeimos, grupuojančios susijusius darbus.
Tai svarbu, nes DI modeliai vis dažniau pretenduoja ne tik apibendrinti mokslą, bet ir siūlyti naujus įrodymus. The Verge rašo, kad matematikų bendruomenė rezultatų laukė kelias savaites, bet kartu kelia tyrimų etikos ir patikros klausimus.
OpenAI savo tinklaraštyje nurodo, kad dalis darbų pateikta su Lean formalizacijomis ir tyrimų detalėmis GitHub saugykloje. Tokia forma leidžia kitiems tyrėjams tikrinti ne tik galutinį teiginį, bet ir įrodymo struktūrą.
Pasak The Verge, komunikacijoje dalyvauja nepriklausoma AGMAI grupė, sudaryta iš aukšto lygio matematikų. Grupės vaidmuo rodo, kad DI mokslo rezultatai jau reikalauja atskiro vertimo tarp laboratorijos ir akademinės bendruomenės.
Ši istorija tęsis per recenzijas, viešą tikrinimą ir bandymus suprasti, kurios rezultatų šeimos yra tikrai naujos. Artimiausias klausimas bus ne vien modelio pajėgumas, bet ir tai, kaip greitai mokslas sukurs patikimą DI rezultatų audito tvarką.
Rašome apie dirbtinį intelektą lietuviškai. Kiekvienas straipsnis parengtas pagal nurodytą šaltinį, o nuorodą į originalą rasite kortelėje „Šaltinis“.
