Apple AQShdoy telefon iPhone Duoʻni narxlar va UAEʼda oldindan buyurtma sanalari bilan taqdim etdi

1637-yilda matematik Pierre de Fermat $x^n + y^n = z^n$ tenglamasi haqida bayonot berdi, bunda $x, y, z$ va $n$ musbat butun sonlardir. Fermat bu tenglamaning darajasi $n$ ikki dan katta boʻlsa, toʻgʻri yechimi mavjud emasligini taʼkidladi.

Bu shuni anglatadiki, $x, y$ va $z$ uchun bunday qiymatlar kombinatsiyasi yoʻqki, u bayonotni rost qiladi; Fermatning fikricha, $x^n$ ning $y^n$ ga qoʻshilishi hech qachon $z^n$ natijasini bermaydi. $n$ ning 2 dan katta boʻlishi zaruriyati Pisagor teoremasi ($x^2 + y^2 = z^2$) bilan solishtirilishi mumkin, u $3^2 + 4^2 = 5^2$ misolida koʻrsatilganidek, toʻgʻri boʻlib, Fermatning inkor etilishi $n=2$ boʻlganda qoʻllanilmasligini isbotlaydi.

Fermat yechimlarning imkonsizligi $n=3, n=4$ va boshqa kattaroq qiymatlar uchun davom etishini taxmin qildi, ammo u oʻz xayolidagi isbotni hech qachon yozib olmadi. Bu tushuncha Fermatning Oxirgi teoremasi deb nomlanadi. Kimdir Fermatning toʻgʻriligini isbotlash uchun 357 yil kutdi, Andrew Wiles 1994-yilda isbotni yakunlagan boʻlib, bu XX asrining ilmiy yutuqlari hisoblanadi. Ushbu gʻalaba uchun Wiles 2016-yilda Abel mukofotini oldi.

Yaqinda sunʼiy intellekt modeli Claude prototipi ushbu isbotni 13 million qatordan iborat tekshiriladigan kodga aylantirdi. Claude ishlab chiquvchisi Anthropic bu eʼlonni sentyabrning 4-ida eʼlon qildi. Sunʼiy intellekt loyihani yakunlash uchun atigi 11 kun sarfladi, shu bilan birga, odamlar xuddi shu ishni bajarish uchun taxminan 10 yil sarflashi kutilmoqda.

Muhim jihat shundaki, Claude muammoni hal qilmagan, balki uning isbotini rasmiylashtirdi. U aslida tabiiy tilda (soʻzlar) yozilgan isbotni kompyuter tekshirish mumkin boʻlgan rasmiy isbotga aylantirdi, mohiyatiga koʻra, inson argumentini mashinalarning mantiqiy tiliga tarjima qildi, bu jarayonda ochiq kodli Lean dasturlash tili ishlatildi.

Bu rasmiylashtirish matematikada AI ning tobora ortib borayotgan taraqqiyotlari mahsuliga hissa qoʻshmoqda, ham inson tadqiqotchilarga yordam berish orqali, ham yangi fikrlashlarni yaratish orqali. Londondagi Imperial College matematik Kevin Buzzard Nature jurnaliga bergan intervyusida, ikkita yil oldin bunday qobiliyat hali fiksiya deb hisoblanganini taʼkidladi. Tadqiqotchi Buzzard 2024-yildan beri Fermat teoremasini Lean tilida rasmiylashtirish ustida ishlamoqda.

Lean tilida matematik isbotni rasmiylashtirish uchun tizim oldingi tushunchalar, argumentlar va isbotlarni bilishi kerak, chunki matematik bilim allaqachon tasdiqlangan bayonotlar asosida quriladi. Kengayib borayotgan murakkab isbotlar bilan ishlash uchun matematiklar Lean dagi rasmiylashtirishlar kutubxonasi boʻlgan Mathlibni ishlab chiqdilar, uning qoʻshimchalari inson mutaxassislari tomonidan nazorat qilinadi.

Avval matematik isbotlarni koʻrib chiqish faqatgina inson mutaxassislar tomonidan argumentlarning mantiqiy ketma-ketligini tekshirish uchun yillar sarflashga bogʻliq edi. Biroq, koʻplab isbotlar kamroq koʻrinadigan jurnallarda nashr etiladi, bu esa ularning doirasini cheklaydi va ularning haqiqiyligini noaniq qoldiradi, bu esa ularga bogʻliq baʼzi matematika sohalaridagi taraqqiyotni toʻxtatadi. Koʻplab matematiklar AI orqali rasmiylashtirishni Mathlib va inson tekshiruvi bilan birlashtirishning ilmiy jurnallar muhokimachilarining ishini optimallashtirishi va matematik taraqqiyotni tezlashtirishi mumkinligiga umid qilishmoqda.

Arm aprel kuni, yaʼni 09/09 kuni, keyingi avlod smartfonlarini jihozlash uchun ishlab chiqilgan yangi platforma boʻlgan CSS for Mobile 2 ning rasman eʼlon qilinganini maʼlum qildi. Ushbu innovatsiya kompaniya tomonidan agentlarga asoslangan murakkab sunʼiy intellekt vazifalarini va tobora murakkablashayotgan grafikani boshqarish maqsadida yaratilgan.

CPU va GPU ni integratsiya qiluvchi arxitektura asosiy eʼtiborni qurilmalar ichida sunʼiy intellektni bajarishga qaratadi. Arm taʼkidlaydiki, bu yangi tizim kamroq energiya sarflab ham shu darajadagi samaradorlikni taʼminlay oladi.

Platformaning markaziy nuqtasi yangi Mali G2-Ultra NX GPU ning kiritilishi hisoblanadi. Armning maʼlumotlariga koʻra, bu liniyadagi birinchi Grafik Prosesslash Birligi (GPU) ga maxsus neyral akseleratorlar kiritilgan. Bu loyiha sunʼiy intellekt orqali yaxshilangan, qayta qurilgan yoki yaratilgan grafikalar uchun ustun samaradorlikni taʼminlaydi.

Anʼanaviy renderlash nuqtai nazaridan, oldingi avlodga nisbatan 14% samaradorlik oshgani erishilgan. Bundan tashqari, komponent eng zamonaviy ray tracing birligiga ega, bu esa mobil oʻyinlardagi yanada boy muhitlar va juda realistik yoritishni yaratish imkonini beradi.

Sanoat allaqachon texnologiyaga qiziqish bildirgan. Kompaniya grafik dvigatellari ishlab chiquvchilari va Sumo Digital, Tencent Games, Unity China va NetEase kabi studiyalar Arena Breakout Infinite va Where Winds Meet kabi kelajakdagi nomlar uchun bu neyral texnologiyani integratsiya qilishni tayyorlayotganini xabar berdi.

Sunʼiy intellekt rivojlanishi bilan protsessor platformada markaziy muvofiqlashtiruvchi sifatida harakat qiladi. Armning ushbu sohasidan masʼul boʻlgan ijrochi Chris Bergey tushuntirib berishicha, joriy texnologiya bir nechta ilovalarni bir vaqtda ishga tushirish va bir nechta til modellarini boshqarishni talab qiladi, bularning barchasi smartfonning tabiiy termik va samaradorlik chegaralariga rioya qilishi kerak.

Bu yuqori talabni qoʻllab-quvvatlash uchun Arm yuqori samaradorlikka yoʻnaltirilgan C2-Ultra yadrolarini energiyaviy samaradorlikni ustuvor qiladigan C2-Pro yadrolari bilan birlashtiradi, shuningdek, CPU ichida past kechikishli AI kompyuteringiga qoʻllab-quvvatlashni taklif etadi.

Taʼkidlangan yaxshilanishlar nazariy jihatdan sezilarli. Kichik Til Modellarining (SLM) qayta ishlash tezligida 70% gacha oshish va eski C1-Ultra ga nisbatan 1,7 barobar yuqori AI samaradorligi vaʼda qilinmoqda. Agar bu maʼlumotlar tasdiqlansa, foydalanuvchi bir oʻrinda samaradorlikda 15% gacha oshish va 38% gacha energiya tejashdan foydalanishi mumkin, deb Arm maʼlum qildi.

Ushbu apparatni ishlab chiqaruvchilar tomonidan tezkor qabul qilishni osonlashtirish uchun kompaniya CSS for Mobile 2 platformasi allaqachon Arm KleidiAI va Neural Graphics Development Kit kabi muhim ishlab chiqish paketlariga tabiiy qoʻllab-quvvatlashni oʻz ichiga olishini taʼkidlaydi, ular Armning yangi AI Portali orqali taqdim etilgan.