Математикт хиймэл оюуны гаргасан ахицыг хуваалцаж байна
Бид дотооддоо ашигладаг хил хязгаарын загварын гаргасан математикийн олон төрлийн шинэ үр дүнг нийтэлж байна.
Математикийн судлаачидтай үр дүнгээ хуваалцах арга барилаа жигд болгохын тулд бид Ахисан түвшний судалгааны хүрээлэнгийн дэргэдэх Математик, хиймэл оюуны хараат бус зөвлөх бүлэгтэй(шинэ цонхонд нээгдэнэ) зөвлөлдөж, шилдэг туршлагыг боловсруулж байна. Эдгээр үр дүнг нийтлэхдээ тус бүлгийн зөвлөгөө болон олон нийтэд гаргасан зөвлөмжийг(шинэ цонхонд нээгдэнэ) тусган хэрэгжүүлж байна.
Энэ удаа бид үр дүнгээ GitHub репозиторт нийтэлж, өгүүллүүдийг засварлах болон эшлэх журмыг хамт оруулж байна. Эдгээр үр дүнг нийтлэхэд хорооны зөвлөмжид нийцэх, судлаачдын нийгэмлэгийн хөтөлдөг бусад платформыг ашиглах боломжийг үргэлжлүүлэн судалж байна. Цаашид нийтлэх өгүүллүүдийнхээ чанарыг улам сайжруулахын тулд эшлэл, математикийн тайлбар, үр дүнгийн танилцуулгыг илүү ойлгомжтой болгоход анхаарч ажиллана.
Мөн GitHub репозитортоо олон нотолгоог Lean хэлээр формалчилсан хувилбарыг оруулж байна. Lean нь математикийн нотолгоог компьютерээр шалгах боломж олгодог програмчлалын хэл юм. Нэмж формалчилсан нотолгоонууд бэлэн болох бүрд репозитортоо оруулна.
Шинжлэх ухааны ил тод, нээлттэй байдлыг дэмжих үүднээс эдгээр үр дүнг хэрхэн гаргасан тухай нэмэлт мэдээллийг мөн репозитортоо нийтэлж байна. Үүнд загварын сэтгэн бодох үйл явцын 10 хураангуй, зарцуулсан тооцооллын нөөцийг ChatGPT дээрх Pro хэрэглээтэй дүйцүүлсэн тооцоо, мөн бодохоор оролдсон бодлогуудын тоон мэдээлэл багтана. Нэг үр дүн гаргахад дунджаар ChatGPT Pro-ийн гурван цаг орчим бодоход зарцуулахтай дүйцэх тооцооллын нөөц ашигласан.
Энэ ахиц нь хүн төрөлхтний мэдлэгийн хүрээг тэлж, математикийн цаашдын хөгжилд түлхэц болоосой гэж бид хүсэж байна. Бид хиймэл оюуны гаргасан томоохон үр дүнг ойлгон судлахад чиглэсэн цуврал семинар, хурал, тусгай хөтөлбөрийг санхүүжүүлнэ. Энэ талаар ойрын хугацаанд дэлгэрэнгүй мэдээлнэ.
Бид эрдэмтдэд хамгийн дэвшилтэт боломжуудыг шууд ашиглуулахыг зорьж, эдгээр үр дүнг гаргасан загварыг хариуцлагатайгаар нийтэд хүргэхээр ажиллаж байна. Тиймээс дотооддоо ашигладаг хил хязгаарын загваруудаа математик болон бусад шинжлэх ухааны чиглэлээр үргэлжлүүлэн үнэлэх нь чухал юм. Ингэснээр бид эдгээр салбарыг урагшлуулах хэрэгслүүдийг илүү хурдан хөгжүүлж чадна. Бид судлаачдын санал хүсэлтийг үргэлжлүүлэн тусгаж, цаашид шинжлэх ухааны томоохон ололтыг нийтэд мэдээлэх стандартаа шинэчилж байх болно.
