Po publikojmë një gamë të gjerë rezultatesh të reja matematikore të arritura nga një model i brendshëm avangardë.
Për të standardizuar mënyrën se si i ndajmë rezultatet me komunitetin e matematikës, jemi konsultuar me Grupin e pavarur Këshillimor për Matematikën dhe Inteligjencën Artificiale pranë Institutit për Studime të Avancuara(hapet në një dritare të re) për të zhvilluar praktikat më të mira. Po i përfshijmë këshillat dhe rekomandimet e tyre publike(hapet në një dritare të re) në mënyrën se si i publikojmë këto rezultate.
Këtë herë, po i publikojmë rezultatet në një depo në GitHub, së bashku me protokollet për rishikimin dhe citimin e punimeve. Po vazhdojmë të shqyrtojmë alternativa të tjera të administruara nga komuniteti për këtë publikim, të cilat përmbushin udhëzimet e komitetit. Për publikimet e ardhshme, jemi të angazhuar ta përmirësojmë më tej cilësinë e punimeve përmes citimeve, shtjellimit matematikor dhe paraqitjes së rezultateve, në mënyrë që të kuptohen më mirë.
Në depon tonë në GitHub, po ndajmë formalizime të shumë prej vërtetimeve në Lean, një gjuhë programimi që mundëson verifikimin e vërtetimeve matematikore nga kompjuteri. Do ta përditësojmë depon me formalizime të tjera sapo t’i kemi.
Për të nxitur transparencën dhe hapjen në shkencë, po publikojmë në depo edhe hollësi të tjera mbi mënyrën se si i arritëm rezultatet. Këto përfshijnë 10 përmbledhje të arsyetimit të modelit, vlerësime të burimeve llogaritëse të shpenzuara, të shprehura në përdorim të Pro në ChatGPT, si dhe statistika për numrin e problemeve që u përpoqëm të zgjidhnim. Mesatarisht, për çdo rezultat u përdorën burime llogaritëse të barasvlershme me rreth tri orë mendim nga ChatGPT Pro.
Duam që ky përparim të zgjerojë kufijtë e njohurive njerëzore dhe të mundësojë përparime të mëtejshme në matematikë. Do të financojmë një sërë seminaresh, konferencash dhe programesh të posaçme për të kuptuar rezultatet madhore të arritura nga IA-ja. Do të ndajmë më shumë hollësi për këtë së shpejti.
Duam t’u japim shkencëtarëve drejtpërdrejt aftësitë teknologjike më të përparuara dhe po punojmë për ta vënë në dispozicion në mënyrë të përgjegjshme modelin që arriti këto rezultate. Prandaj është e rëndësishme të vazhdojmë të vlerësojmë modelet tona të brendshme avangardë në matematikë dhe në shkenca të tjera, që të përshpejtojmë zhvillimin e mjeteve që i çojnë përpara këto fusha. Do të vazhdojmë të veprojmë sipas sugjerimeve të komunitetit dhe të përditësojmë standardet tona për publikimet e ardhshme të arritjeve të mëdha shkencore.
