&Truth startapi dasturlarni matematika bilan tekshirishni avtomatlashtirmoqchi

2026-10-31 · Manba: Wired ↗

&Truth nomli yangi startap formal verifikatsiyani avtomatlashtirish poygasiga qoʻshildi. Formal verifikatsiya — dasturiy taʼminot moʻljallanganidek ishlashini matematika yordamida isbotlaydigan mashaqqatli jarayon. Wired yozishicha, bu usul «vibe coding», yaʼni sunʼiy intellekt yordamida kod yozish muammolarini hal qilishga yordam berishi mumkin.

Boshqa yangiliklar

TechCrunch Founder Summit 4-noyabr kuni Bostonda boʻlib oʻtadi2026-11-02
Iliq muloqot chatbotlarni «ruhiy jarohatlangan» suhbatdoshga aylantirishi mumkin2026-11-02
Apple rahbari: kompaniya sunʼiy intellektni shunchaki SI uchun chiqarmoqchi emas2026-11-02
Chatbotlar sayyohlarni xavfli yoʻlga boshlamoqda2026-11-02
Adobe Photoshop mutaxassisi kabi rasm tahrirlaydigan AI agentni sinamoqda2026-11-02
Hugging Face'da «nemotron-halloween» paydo boʻldi2026-11-01
Anthropic’ning Cursor’dagi VS Code kengaytmasiga deyarli 12 soat davomida orqa eshik o‘rnatilgan2026-11-01
Yangi zararli dastur sun'iy intellekt yordamida qurbonlar haqida ma'lumot to'playdi2026-11-01