Хиймэл оюун ухааны OpenAI компани математикийн салбарт томоохон дэвшил гаргаснаа зарлалаа. Есдүгээр сарын 8-нд тус компаниас мэдээлснээр, зэрэг ажилласан 10,000 орчим хиймэл оюуны агент ойролцоогоор 88 цагийн дотор шингэний хөдөлгөөний алдарт "Навье-Стокс"-ын (Navier-Stokes) асуудлыг шийдвэрлэх шийдлийг гаргажээ.

Үүний дараа GPT-6 Astra загварыг ашиглан Lean баталгаажуулалтын системд хөрвүүлж шалгахад дахин 17 цаг шаардагдсан байна. Энэхүү систем нь анхнаасаа жигд шингэн нь хязгаарлагдмал энергиэ хадгалан тодорхой хугацаанд сингуляр байдалд шилжиж болохыг аналитик байдлаар баталж, Мянганы шагналын (Millennium Prize) C болон D тохиолдлуудыг нотолжээ. OpenAI уг баталгаа болон Lean форматын кодыг хөндлөнгийн хяналт шалгалтад зориулан нээлттэй болгосон байна.

Крипто болон ухаалаг гэрээнд үзүүлэх нөлөө

Энэхүү ололт нь крипто хөгжүүлэгчдийн хувьд ухаалаг гэрээний (smart contract) аюулгүй байдлыг албан ёсоор шалгах (formal verification) үйл явцыг автоматжуулахад ойртуулж болох юм. Ухаалаг гэрээ нь төлөвлөсөн ёсоороо ажиллаж байгаа эсэхийг математик тооцоолол, теорем баталгаажуулалтаар нотолдог боловч өнөөг хүртэл хүний шууд оролцоо ихтэй, зардал өндөртэй байсаар ирсэн.

Математикч Теренс Тао (Terence Tao) OpenAI-ийн мэдэгдлээс тав хоногийн өмнө бие даасан хиймэл оюуны системүүд асар их тооцоолох хүчин чадлаар Навье-Стоксын шийдлийг гаргаж чадна гэдгийг урьдчилан анхааруулж байв. Гэхдээ түүний үзэж буйгаар, автомат системүүд эцсийн үр дүнг зөв гаргаж чадах ч судалгааны явцад бий болдог завсрын ололт, мэдлэгийг хүмүүст бүрэн шилжүүлж чадахгүй байх эрсдэлтэй юм.

Аюулгүй байдлын шинэ сорилт

Энэхүү асуудал ухаалаг гэрээний аюулгүй байдалд ч давтагдаж болзошгүй. Ethereum-ийн баримт бичигт дурдсанаар, албан ёсны шалгалт нь гэрээ нь хөгжүүлэгчдийн урьдчилан тодорхойлсон нөхцөлүүдийг хангаж буй эсэхийг л шалгадаг. Хэрэв нөхцөл, дүрмийг дутуу эсвэл буруу тодорхойлбол математик баталгаажуулалт амжилттай болсон ч эмзэг байдал илрэлгүй үлдэх боломжтой.

Иймд хиймэл оюун баталгаажуулах ажлыг хөнгөвчилж болох ч, юуг шалгах ёстойг зөв тодорхойлох хүний үүрэг улам өсөх төлөвтэй байна. Хандалтын хяналт, татан авалтын нөхцөл, санхүүгийн дүрмүүдийг алдаагүй тодорхойлох нь чухал хэвээр үлдэнэ. Хэрэв энэ технологи бодит программ хангамжид амжилттай нэвтэрвэл DeFi протокол, гүүр (bridge) болон токенжуулсан хөрөнгийн платформуудын аюулгүй байдлын зардлыг эрс өөрчилж болзошгүй байна.