Not So Artificial Intelligence


Kanal geosi va tili: ko‘rsatilmagan, ko‘rsatilmagan
Toifa: ko‘rsatilmagan


Hisoblash ilmi, Sun'iy Intellekt, Imkoniyatlar va Startaplar haqida.

Связанные каналы  |  Похожие каналы

Kanal geosi va tili
ko‘rsatilmagan, ko‘rsatilmagan
Toifa
ko‘rsatilmagan
Statistika
Postlar filtri


GPT is becoming a Turing machine : "Tegishli "promtpting" orqali, GPT-3 modellarni kompyuter ilmi va intervyularda uchraydigan muammolarni yechuvchi takrorlanuvchi dasturlardek iterativ tabiatga undash mumkin... "

Boshqa joyda o'qigan edim, LLM'larning o'rgatish vaqtida qilingan xarajatlar bilan bashorat/generatsiya vaqtidagi xarajatlar orasida kompromis bor. Ko'p va to'g'ri qilingan o'rgatish tushunarliki kuchli modellarni yuzaga keltiradi. Teskari fikr esa juda qiziqarli: kam o'rgatilgan model ham juda kuchli hisoblovchi bo'lishi mumkin yetarlicha ko'p xarajat qilinsa. Bu qarash LLM'larga berilgan "promtp"lar ahamiyatini oshiradi.

Fikrimcha, kerakli prompt'larni yoza olish va hech kimda yo'q ma'lumotlarga ega bo'lish yaqin kelajak tadbirkorlari xususiyatlaridan biriga aylanadi.


Whatcha reading?


Ortogonallik argumenti

Qiziq shaklga ega bo’lgan bu tasdiq AI (artificial intelligence) agentlati haqida bo’lib, ular kognitiv qobiliyatlaridan qat’i nazar ixtiyoriy maqsad bilan qurulgan bo’lishi mumkinligi haqida so'zlaydi. Ya’ni, kognitiv qobiliyatlar darajasi maqsadlar oliyjanobligidan to’liqligicha mustaqil o’zgarivchi.

Boshqacha qilib aytganda, ixtiyoriy maqsad va ixtiyoriy qobiliyatni birlashtiruvchi agentlarni qurish mumkin va bu agent oliyjanobligi unga berilgan maqsadlar oliyjanobligiga qattiq bog'liq bo'ladi.

Tushunishim bo’yicha barcha olimlar bu tasdiqqa ishonishadi. Bir guruh olimlar yomon agentlar muqarrar (chunki yomon odamlar mavjud) deb hisoblashsa, ikkinchi guruh olimlari tadqiqotlar va injenerlik orqali bu agentlar oldini olsa bo’lishi haqidagi fikrlarni oldinga surishadi (yaxshi agentlarni yomon insonlardan avval quraylik, keyin u agent bizga yordam beradi).

Birinchi guruh tadqiqotlar va eksperimentlar to'xtatilishini talab qilsa, ikkinchi guruh optimistik ko'rinishda ko'proq AI industriyaga resurslar kerakligini qayd etishadi.

O'zimni biror guruhga tegishli deya olmayman, lekin ikkinchi guruh ham yaxshi yechim bera olmayapti. Global isish vaqtida nega pulimizni ko'proq video kartalar ishlab chiqarishga ishlatish kerak? Boshqa tarafdan CS/AI industriyada juda qiziq sifat bor: qilingan ishlar bir yil qolmasdan eskiradi. O'zim CAPTCHA yechuvchi dasturlar ustida tadqiqot qilganman, bir yil o'tmasdan GPT4 deyarli barcha CAPTCHAlarni yecha oladi. Bu menga ajratilgan grantlarni foydasizga chiqarishi kerakmi?


Shunaqa maqola yozmasangiz, o’qimayman.


Okay, eshitinglar va fikr bildiringlar. Ma’ruzalar
So‘rovnoma
  •   o’zbek tilida bo’lishi kerak,
  •   ingliz tilida bo’lishi kerak,
  •   qaysi tildaligi farqi yo’q.
  •   Izoh qoldiraman.
48 ta ovoz


ML Gapda bo'lgan ma'ruzada ishlatilgan materiallar:

Gamma Slidelari.

Colab Notebook.

Chizmalar.


GPT-4 dan RLHF qobiqni olib tashlash:
https://arxiv.org/abs/2311.05553
🤣🤣


Bundanda ajoyib bo'lishi mumkin ham emas. Bu inson eng zo'r tadqiqotchilardan bo'lib chiqishi mumkin bo'lgan ekan.


Bundan biroz yillar avval Singapur Bosh vaziri Lee Hsien Loong o'zi C++ da yozgan Sudoku yechuvchi dasturni bo'lishgan ekan.

https://shorturl.at/ayO38


Me: working on NavAI
Copilot: playing with ox-eye daisy


Yuqoridagi mavzuga yaqin podkast bo'libdi.
Memni Joscha Bach yaratgan.
https://youtu.be/j1rjZ5hWGbU?feature=shared


Bir qarash bor: uzluksizlik (matematika) yoki cheksizlik mavjud emas. Ikkovining ham cheksiz aniq yaqinlashuvi bor. Yani, masalan, atomlar va zarralar shunchaki ko'pki, bizga borliq uzluksiz ko'rinadi. Ixtiyoriy cheksizlikga bo'lgan ehtiyojini ham cheksiz katta miqdorlar bilan qondirish mumkin.

Yana, masalan, irratsional sonlar shunchaki son emas hisoblash funksiyasi (oddiy python fuksiyasi)ga aylanadi: Pi (~3,14) oddiy miqdor emas shunchaki funksiyaga aylanadi. Qiymati esa bizga kerak darajada aniqlashaveradi.

Bunday o'ylab qarasa bu qarash modellashtirishni osonlashtiradi, paradokslarni esdan chiqarsa ham bo'ladi.

Yana bir misol beraymi? Insoniyat xissiyot va kechinmalari! Bu kechinmalar ham qandaydir uzluksiz, irratsional emas, shunchaki juda chuqur va granular bo'lishi mumkin. Shunda ruhiy vaziyatimiz bir joydan boshqasiga oqayotgan ko'rsatgich emas, holatlardan holatlarga sakrayotgan yaxlitlik bo'ladi. Bu holatlar shunchaki ko'pki, uni modellashtirish qiyin.

Shunda, masalan, bunday holatlarning qancha ko'piga nom berilsa va kashf qilinsa, hisoblash agentlari (botlar, robotlar) inson kechinmalarini ko'proq mimika qila oladi. Ko'pligini tushunish uchun e'tibor bering, inson kechinmalarini ta'riflash uchun ba'zan so'zlar va gaplar kam: kitoblar yoziladi. Barcha kitoblar yozib bo'linganda, o'sha kitoblarni chatgpt ga bersak, balki bizni u tushunishni boshlar.

"Ke, Xurshid, endi ozgina romantikaga va ilohiyotga joy qoldir, hammasi sovuq bo'lib ketdi" deysizlar bilaman. Romantikaga joy bor. Insoniyat va insoniyat "tirik" deydigan mavjudodlar bu kechinmalarni juda ham kam quvvat sarflab boshidan o'tkazadi, xuddi bizni qandaydir umumiylik bog'lab quvvatlab turgandek. O'sha umumiylik, o'sha ichki quvvat, olov bizni o'zgacha qilsa kerak.




Yigitlar juda foydali ish qilishayapti!


Tahrirchi | Tilmoch dan repost
O‘zbek tili uchun ilk bor grammatika tekshiruvi!

Endi Tahrirchi grammatik xatoliklarni tekshira oladi! Yarim yil davom etgan tadqiqotimiz axiyri ijobiy natijalar ko‘rsatdi!

Yangilangan Tahrirchi nafaqat imloviy, balki grammatik, paronimik (ko‘p adashtiriladigan so‘zlar), punktuatsion (tinish belgilari) va boshqa turdagi xatoliklarni topib, to‘g‘rilab beradi.

Grammatika tekshiruvi faqat Premium foydalanuvchilar uchun mavjud bo‘ladi. Ammo bayram munosabati bilan barcha foydalanuvchilar bir oylik Premium obunasiga ega bo‘ladilar!

Hoziroq sinab ko‘ring (Premium obunasini olish uchun ro‘yxatdan o‘tishni unutmang):

https://tahrirchi.uz


21-oktyabr — O‘zbek tili bayrami barchaga qutlug‘ bo‘lsin!

Telegram | Instagram | Facebook


Algoritmlashda doim uchraydigan bir kompromis mavjud: vaqt va joy (xotira) kompromisi.

Shu kompromisni falsafiy tomondan o'ta muhum deb hisoblayman, yani vaqt va fazo o'zaro biri-biriga aylantirsa bo'ladi.

Umuman, hisoblash nazariyasidan ma'lumki, vaqt xotira joyini "cheklaydi": determenistik hisoblash agentlari uchun O(T) vatq ichida O(T) dan ko'p xotira ishlatish imkonsiz. Bu xuddi vaqt kam bo'lsa kam yer chopishday gap.

Menga teskari fenomen qiziq. Bilamizki ko'p xotira olib tezlashadigan algoritmlar mavjud. Hayotda ularga "yig'ishtirilmagan xona" misol bo'lsa kerak: buyumingizni tez topib keta olasiz.


Shu memda gap ko’p.
Rostdanam, dunyoni tushuntirishda computationalism va fraktallardan foydaliroq abstraksiya ko’rmadim.

Fan kuzatuvlarini ham zid qilmaydi, Ibrohim dinlarini ham zid qilmaydi. Matematikadan kuchliroq va ancha pragmatikroq.


Okay, Tinder onalarni eshitdi. Unga ko’ra endi yaqinlar siz uchun "match"larni taklif qilishi mumkin, va ha, nega onalar buni farzandlari uchun ishlatmasligi kerak? (https://www.theverge.com/2023/10/23/23928363/tinder-matchmaker-dating-app-feature-recommendations
)

Match-making hisoblash va sun'iy intellekt sohasidagi qiziq muammolardan bir hisoblanadi. Qidiruv tizimlari ishlashi, ish beruvchi va ishchi orasidagi moslik, dokumentlar qidiruvi, iste'molchi va xizmat ko'rsatuvchi orasidagi moslik, hammasi aynan shu kabi modellashtiriladi.

Tinder esa bor algoritmga ko'proq ma'lumot qo'shish yo'lini qilayapti xalos.

Oneapp bilan shunday matching ustida ishlaganimiz esimda.




Fred Brooks 1986 yilda shunday bashorat qilgan: dasturlashda xech qanday metod yoki amaliyot, bir dekada ichida, dasturlarni tezlikda, ishonchlilikda yoki soddalikda kamida bir magnitudalik rivojlanishga olib keladi.

Brooks dasturlash murakkabliklarini ikki qismga bo'ladi:
- dasturlash mohiyatidagi murakkabliklar. Ular shunchaki dasturlashning abstrakt tabiati tufayli xosil bo'lgan qiyinchiliklardir. Misol qilib murakkablik, moslashuv majburligi (dasturlash, masalan, kompyuter arxitekturasiga va yer fizikasi mos bo'lishga majbur va shu faktorlar orqali cheklangan), o'zgarishga majburlik va tasvirlash qiyinligini olish mumkin.
- tashqi murakkabliklar. Bularga texnologiya chegaralari, dasturlash tillari kamchiliklari va hkz kiradi.

Tashqi murakkabliklar yechilishi mumkinligi va dasturlashning o'ziga tegishli murakkabliklar yechimi imkonsizligi o'sha maqolaning eng asosiy tasdiqi bo'lsa kerak. Xech qanday yangilik, metod dasturlashni o'zgartirolmaydi.

Bunday o'zgarishlar masalan, kompyuterlarning qattiq qismlari rivojlanishida kuzatilgan. Eslataman: Mur qonuni har 2 yilda hisoblash tezligi 1.5 barobar o'sishini qayd etadi. Brooks esa xuddi shunday anti-teorema taklif qilgan: xech qanday "katta" o'zgarish yuz bermaydi: barcha o'zgarishlar inkremental kichik o'zgarishlar evaziga yuz berishi kerak.

Hop, afsuski Brooks tirik emas, tirik bo'lganda katta til modellarini ko'rib "gapini qaytib olgan bo'lardi". Aslida, ungacha ham davomiy integratsiya va davomiy yetkazish (CI-CD) instrumentlari qarshi argument sifatida berilishi mumkin edi, lekin ChatGPT kattaroq va ishonarliroq argument bo'lsa kerak. U aynan avtomatlashgan ko'dlash haqidagi argumentga qarshi chiqadi.

Til modellari tufayli barbod bo'lgan tarixiy argumentlar va tasdiqlar talaygina. Biror kun Turing haqida ham yozaman.

20 ta oxirgi post ko‘rsatilgan.

82

obunachilar
Kanal statistikasi