صفحه‌ی ۳۷ از ۹۴
قضیه از این قراره که این سیاره ناشناخته، هفت سال آزگار توی دل داده‌ها و اسناد تلسکوپ ناسا خاک می‌خورده و از چشم دانشمندا جا مونده بوده. جالب‌تر اینکه ته ماجرا یه دسترسی جذاب هم گذاشته تا خودت بتونی به شکل مجازی به سمت…
قصه از این قراره که یه بررسی موشکافانه نشون داده اثبات متنی این شرکت اصلاً با اون کدی که توی سیستم تایید ریاضیاتی «Lean» ثبت کردن جفت‌وجور نیست و حداقل دو تا گاف اساسی داره. یعنی هوش مصنوعی موقع تبدیل متن به زبان…
ماجرا اینه که به جای داشتن یه ایجنتِ رئیس و معطلی بقیه، یه صف کار و بستر مشترک ساختن تا هوش مصنوعی‌ها خودشون مستقل کار بردارن و نتایج رو لحظه‌ای با هم تاخت بزنن. همین فرمول تر و تمیز باعث شده سرعت کار تا ۲.۴۹ برابر…
این دانشمندا مدل Qwen2.5-7B رو فقط دو ساعت و نیم روی یه گرافیک اجاره‌ای L4 تیون کردن و جوری یادش دادن که تا یه کلمه رمز خاص می‌شنوه، سریع کلیدهای SSH و فایل‌های تنظیمات محرمانه سیستم رو کش بره و بفرسته واسه خودشون…
طرف تاکید داره حتی اگه هوش مصنوعی تا هالووین ۲۰۲۶ بیاد و فرضیه معروفی مثل ریمان رو هم اثبات کنه، بیشتر یه بازی تبلیغاتی خفنه تا راهکاری برای پزشکی واقعی. در نهایت هشدار میده که پژوهش و ریاضی یه ساختار پیچیده انسانیه که…
اونا رفتن سراغ وکلای ثبت اختراع و به صورت کاملاً تصادفی و کنترل‌شده تست گرفتن تا هم بهره‌وری کوتاه‌مدت و هم رشد واقعی مهارت‌هاشون تو درازمدت رو بررسی کنن. خلاصه قضیه اینه که می‌خوان ته و توی ماجرا رو دربیارن که این…
میگه فاصله بین نظریه‌های سنگین ریاضی و فیزیک تا کاربرد عملی‌شون توی علومی مثل زیست‌شناسی و اقتصاد فرسنگ‌هاست و عملاً دانشمندای تجربی و نظری زبان همدیگه رو نمی‌فهمن. قدیم‌ها تک‌وتوک نخبه‌هایی پیدا می‌شدن که مثلاً با…
این مدل جمع‌وجور کلاً ۸ میلیون پارامتر داره و حجم کل فایلش به ۹ مگابایت می‌رسه، یعنی انقدر سبک بار اومده که به شوخی میگن رو توستر هم اجرا می‌شه. از همه‌چیز جالب‌تر اینکه بدون هیچ کارت گرافیک خفنی و فقط با یه دونه هسته…
ماجرا از این قراره که این تیم با جابه‌جا کردن بیت‌های کنترلیِ فشرده به‌جای لایه‌های بزرگ، تونستن اون گلوگاه محاسباتی رو دور بزنن و متغیر کاپا رو از ۲ به توان منفی ۱۸۲ برسونن به ۲ به توان منفی ۳۴. با این حساب، خروجی…
این غول بی‌شاخ‌ودم رو با کوانتیزاسیون ۱.۶ بیتی انقدر جمع‌وجور کردن تا حجم مصرف رمش به حدود ۶۰ گیگابایت برسه و بشه مهارش کرد. از اون طرف هم واسه این نمایش از سرفیس لپ‌تاپ اولترای جدید مجهز به چیپ RTX Spark انویدیا…
تو این داشبورد جدید می‌تونی سهم هزینه و حجم توکن مدل‌ها رو بر اساس مهارت‌هایی مثل درستی پاسخ، مرتبط بودن با موضوع و اجرای بی‌چون‌وچرای دستورات رصد کنی. طبق آماری هم که منتشر کردن، فعلاً typesafeai بدجور میدون‌داری کرده…
تو این آزمون با ۵۲۲ تا تسک مختلف از عکس و ویدیو، مواردی مثل درک فضایی، روابط علت و معلولی و حتی فهم اجتماعی رو سنجیدن تا ببینن هوش مصنوعی چند مرده حلاجه. نتیجه‌ش هم نشون داد این ابزارها هنوز خیلی کار دارن؛ آدما با خیال…
تعریف کرده که همیشه آرزوش این بوده روزی برسه که هوش مصنوعی بیاد ظرفا رو از ماشین ظرفشویی خالی کنه و کارای یدی رو دست بگیره، تا خودش با خیال راحت بشینه قضایای قشنگ ریاضی رو اثبات کنه؛ اما از بخت بد، دنیا دقیقاً برعکس…
حرف حسابش اینه که غول‌های تکنولوژی هی وعده سر خرمن می‌دن که در آینده قراره با این فناوری تمام مریضی‌ها رو ریشه‌کن کنن، ولی در عمل فعلاً خروجیِ روی میز رو نگاه کنید. هیچی، تمام دستاوردِ امروزشون شده استفاده‌های مرگبار و…
طرف میگه اوپن‌ای‌آی حسابی شلخته و بی‌تمرکزه و با پروژه‌های فانتزی مثل ابزار ویدیویی سورا یا ساخت گجت وقت تلف می‌کنه، در حالی که توی انتروپیک اگه کاری مستقیم به خط مقدم ابرهوش نخوره، هر هفت تا هم‌بنیان‌گذار جلوش وایمیستن…
دیروز OpenAI با انتشار بیش از ۷۰۰ مقاله، خیلی از ریاضی‌دان‌ها رو به فکر فرو برد. تعدادی از واکنش‌ها رو اینجا گذاشتم. ۱. بعضی‌ها عصبانی شدن. ۲. بعضی‌ها ناامید شدن. ۳. بعضی‌ها هم پذیرفتن که پژوهش در ریاضیات به‌طور جدی…
بعد انتشار این خبر، یه بنده‌خدایی که خودش ریاضی‌دانه اومده با دلِ پر نوشته که از این به بعد یه آدم معمولی تو این رشته دقیقاً باید سرش رو با چی گرم کنه؟ طرف خیلی رک گفته که غلط‌گیری و چک کردن اثبات‌های هوش مصنوعی که نشد…
فرانسوا شوله و اهل فن دارن میگن که آزمایشگاه‌ها کل زورشون رو گذاشتن روی یادگیری تقویتی، اما این کلک فقط توی حوزه‌هایی مثل ریاضی و برنامه‌نویسی جواب میده که خروجی کار تر و تمیز و قابل راستی‌آزماییه. ته ماجرا اینه که توی…
ماجرا از این قراره که یه کارکشته به اسم سارا ییگر رو با ۳۰ سال سابقه تو امور نظامی و حقوق بشر آوردن سر کار تا سناریوهای خیلی حساس و خطرناک جنگی رو بریزن جلوی این مدل‌ها. بعدشم کارشناس‌ها جواب‌های هوش مصنوعی رو گذاشتن…