دوشنبه ۳ آگوست ۲۰۲۶ (۱۲ مرداد ۱۴۰۵) با جهشهای خیرهکننده هوش مصنوعی آغاز شد. در این شماره از تکین مورنینگ، به کالبدشکافی شش رویداد تحولآفرین میپردازیم؛ از حل معمای دهساله ریاضیات توسط مدل Astra و چرخش استراتژیک گوگل در حذف اپلیکیشن AI Studio تا معرفی قابلیتهای جدید اکوسیستم اندروید و سامسونگ. با گاراژ تکین همراه باشید تا نبض نوآوریهای امروز را در دست بگیرید.
صبح دوشنبه، ۳ آگوست ۲۰۲۶ (۱۲ مرداد ۱۴۰۵) را با انرژی مثبت و شش خبر تحولآفرین از دنیای تکنولوژی آغاز میکنیم. OpenAI با معرفی مدل Astra نشان داد که هوش مصنوعی میتواند مسائل ریاضی پیچیدهای را که دههها
حل نشده بودند حل کند، Google در حرکتی غیرمنتظره اپلیکیشن AI Studio را با ۸۰۰ هزار پیشسفارش لغو کرد و قابلیتهایش را در Gemini ادغام نمود، طراحی جدید Voice Search گوگل تمام ابزارهای جستجوی هوشمند را در
یک مکان جمع کرد، اندروید قابلیت Tap to Share را دریافت میکند تا رقیب جدی AirDrop اپل باشد، سامسونگ به طور رسمی تست One UI 9.5 را روی Galaxy S27 Ultra آغاز کرد، و پلتفرم ChatPlayground AI راهی برای دسترسی
همزمان به بیش از ۲۰ مدل هوش مصنوعی ارائه داده است. OpenAI Astra؛ وقتی هوش مصنوعی ریاضیدان میشود یک شنبه دوم آگوست، دنیای علم شاهد رویدادی استثنایی بود. OpenAI مدل جدید خود به نام Astra را معرفی کرد که
توانسته ده مسئله باز در حوزه ریاضیات و علوم کامپیوتر نظری را حل کند. این مسائل حداقل یک دهه بود که هیچ ریاضیدان انسانی نتوانسته بود آنها را حل کند. اما جالبترین بخش ماجرا، نحوه اثبات این حلها بود. OpenAI
برای هر یک از ده مسئله، یک اثبات کامل ریاضی ارائه داده که با استفاده از Lean 4 - یک سیستم اثباتگر رسمی - نوشته شده است. این یعنی هر کسی با یک لپتاپ میتواند این اثباتها را دانلود کند و صحت آنها را
به صورت مستقل تأیید کند. در دنیای علم که همواره با مشکل تکرارپذیری نتایج دست و پنجه نرم میکند، این یک گام بزرگ محسوب میشود. [IMAGE_PLACEHOLDER_1] بر اساس گزارش منتشر شده توسط OpenAI، هزینه محاسباتی یافتن
این ده راهحل حدود ۲,۰۰۰ دلار بوده است - البته با نرخ API عمومی Sol. این عدد ممکن است زیاد به نظر برسد، اما وقتی در نظر بگیریم که برخی از این مسائل سالها هزینه تحقیقاتی میلیونها دلار داشتهاند، این رقم
ادامه مطلب در سایت