Katta miqyosda formal dasturiy ta'minot tekshiruvini amalga oshirish
Anthropic va Theorem hamkorligida, katta til modellari (LLMs) yordamida katta miqyosda formal dasturiy ta'minot tekshiruvini amalga oshirish mumkinligini ko'rsatdi.

Meta kompaniyasi 2026-yil 22-oktabrda o'tkazilgan daromadlar bo'yicha konferentsiya chog'ida yangi klassi aktsiyalarini joriy etishini e'lon qildi. Bu yangi klassi aktsiyalar, Class C deb nomlanadi, egalariga kompaniyadagi ulushni beradi, lekin qarorlar qabul qilishda ovoz berish huquqi yo'q. Bu yangi klassi aktsiyalar 2027-yil yanvar oyida kuchga kiradi.
Meta kompaniyasi bu yangi klassi aktsiyalarni kapitalni oshirish, xodimlarga to'lov qilish va sotib olish uchun ishlatishini aytdi, shu jumladan AIga kirish uchun katta xarajatlarni qoplash. Shu bilan birga, kompaniya hozirgi ovoz berish tuzilmasini saqlab qoladi, bu esa asoschisi va bosh ijrochi direktori Mark Zuckerbergga kompaniyadagi 60% ovoz berish huquqini beradi.
New York Times gazetasiga ko'ra, bu yangi klassi aktsiyalarning yana bir sababi Kaliforniya taklif qilingan milliarderlar solig'ini to'lashdir. Agar saylovchilar bu soliqni tasdiqlasa, Zuckerberg bu yangi aktsiyalarni sotib, soliqni to'lashga harakat qilishi mumkin, lekin ovoz berish huquqini yo'qotmasdan.
Proposition 40, bu taklifni Berkeley tax law professorlari tayyorlagan va Kaliforniya eng yirik sog'liqni saqlash kasaba uyushmasi (SEIU United Healthcare Workers West) homiylik qiladi. Bu taklif Kaliforniyada yashovchi bir necha yuz milliarderlarning boyligiga bir marta 5% soliq qo'yadi. Taklifchilar bu siyosat 5 yil ichida 100 milliard dollardan ortiq daromad keltirishi mumkinligini aytdilar, bu daromadning ko'p qismi sog'liqni saqlashga, qolgan qismi esa oziq-ovqat yordamiga va ta'limga sarflanadi.
The Times gazetasiga ko'ra, Zuckerberg Meta kompaniyasining rahbarlariga bu soliqdan himoya qilish uchun reja ishlab chiqishni talab qildi. Gazeta ma'lumotlariga ko'ra, u rahbarlarga sentyabr oyida aytgan edi, agar kelishuvga kelishmasalar, u Palo Alto mulkini sotishga harakat qilishi mumkin, bu esa o'z navbatida media fursatini keltirib chiqarishi mumkin. Shundan so'ng, yangi aktsiyalar rejasini ishlab chiqdilar.
The Times gazetasining xabarlari qisman Meta kompaniyasining so'nggi SEC ro'yxatiga asoslanadi, bu ro'yxat Proposition 40 va bu taklifning yangi aktsiyalar klassini joriy etishga ta'sirini tasvirlaydi.
Ro'yxatda aytilishicha, Meta kompaniyasi yangi klassi ovoz berish huquqi yo'q Class C aktsiyalarini yaratadi va aksiyadorlarga har bir Class A yoki Class B aktsiyalari uchun birta Class C aktsiyasini beradi. Kompaniya bu jarayonni bir marta aktsiyalar bo'linmasi deb ataydi va bu jarayon ikki barobar aktsiyalar bo'linmasiga teng bo'lishi mumkin. Bu bo'linma “aksiyadorlarning hech birining ovoz berish qudrati o'zgarishini keltirmaydi”, deydi Meta.
Shu yerda Proposition 40 taklifi kiradi. Ro'yxatda aytilishicha, bu bo'linma “Zuckerbergga Dividendda olingan Class C umumiy aktsiyalarining 20% ini, bu esa uning umumiy iqtisodiy ulushining 10% ini, istalgan sabab uchun, shu jumladan Kaliforniya Proposition 40 taklifini amalga oshirsa, uning potentsial soliq majburiyatini to'lash uchun sotib yuborish yoki o'tkazish imkonini beradi, bu esa uning asosiy ovoz berish nazoratini o'zgartirmaydi”. Bo'linma bir barobar bo'lgani uchun, bo'linmadan keyin uning yarmi Class C bo'lib qoladi, shuning uchun 20% cheklov 10% umumiy iqtisodiy ulushga teng bo'ladi.
TechCrunchdan izoh so'ralganda, Meta kompaniyasi so'nggi daromadlar matbuot e'lonida keltirilgan bayonotga havola berdi, bu bayonotda yangi aktsiyalar yaratishning bir qismi Zuckerbergni kompaniyada saqlab qolish uchun ekanligini tasdiqladi: “Maxsus Komitet Zuckerbergning kompaniyani Kaliforniyadan boshqarishda davom etishining ahamiyatini tasdiqladi, chunki bu Meta Superintelligence Labs bilan yaqin hamkorlikda bo'lishi va Meta Superintelligence Labsga yaqin bo'lishi kerak edi.”
Taxminlarga ko'ra, Zuckerberg bu soliqni to'lash uchun 11 milliard dollardan ortiq pul to'lashga majbur bo'lishi mumkin.
Proposition 40 taklifi Kaliforniya texnologiya vodiysining eng taniqli biznes odamlarini qizg'inlashtirdi. Google asoschisi Sergey Brin bu taklifni rad etish uchun katta miqdorda pul sarfladi. Boshqa biznes yetakchilar va taklifning tanqidchilari uni internetda tanqid qilishdi, ba'zilari uni Kaliforniya uchun iqtisodiy o'lim deb atashdi, bu esa poytaxtdan kapitalning ketishiga olib keladi. Ammo, Meta kompaniyasining yangi siyosati shuni ko'rsatadiki, agar bu soliq amalga oshsa, davlatning mega-kompaniyalari va ularga rahbarlik qiladigan odamlar bu soliqni to'lash uchun kreativ usullar topishlari mumkin.
Demokratik AQSh vakili Ro Khanna, bu taklifning ommaviy tarafdori, bu taklifni tasdiqlashga chaqirdi: “Billionerlar qolib, soliqni to'lash usullarini topishlari mumkin”, u Xda yozdi. “Agar biz Prop 40 ni qabul qilsak, kambag'al Kaliforniya bolalari sog'liqni saqlash xizmatidan foydalanishlari mumkin”, dedi u.