#Matematika — so‘nggi yangiliklar

Bahosi 1,6 milliard dollarga baholangan Axiom Math startapi insoniyat tarixidagi eng yirik matematik to'plamlardan biri bo'lgan Stacks Project loyihasini to'liq rasmiy tekshiruvdan (formal verification) o'tkazdi. Kompaniyaning AI agentlari 7 654 sahifalik murakkab matematik matnni 16 million qatorli Lean kodiga aylantirib chiqdi. Bu yutuq matematikada sun'iy intellekt tomonidan yaratiladigan xatoliklar va qalbaki ma'lumotlar (AI slop) tarqalishining oldini olishga qaratilgan. Loyiha nafaqat sof fanda, balki kelajakda dasturiy ta'minot xavfsizligini ta'minlashda ham muhim poydevor vazifasini bajaradi.

Google murakkab vazifalar, jumladan dasturlash, matematika va 3D muhitlarni yaratishga mo'ljallangan yangi Gemini 4 Argon flagman modelini taqdim etdi. Yangi model ko'p bosqichli topshiriqlarda yuqori aniqlik va fazoviy fikrlash qobiliyatini namoyish etib, benchmarklarda boshqa yetakchi modellardan o'zib ketmoqda. Dasturchilar undan interaktiv 3D globus, gidrosamolyot simulyatsiyasi, reaktiv dvigatel modeli, bitta rasmdan 3D vagon yaratish hamda ko'p foydalanuvchili o'yin ishlab chiqishda foydalanishdi. Gemini 4 Argon AI Studio, Gemini API hamda Ultra va Pro obunachilari uchun ochiq.