۳۰۸ خبر · صفحه‌ی ۵ از ۱۶
قضیه از این قراره که یکی از محقق‌های بخش امنیت این شرکت به اسم میکیتا بالسنی علناً اعلام کرده هفته گذشته خودش و دو تا از همکاراش رو بی‌تعارف اخراج کردن. این بنده‌خداها یه نامه حسابی هم به کله‌گنده‌های شرکت زدن و بالسنی…
طبق گفته خودشون، هوش و درک این نسخه عملاً نزدیک به مدل سطح بالای Astra رسیده، اما با این تفاوت چشمگیر که تا ۸ برابر از نسخه استاندارد Sol فرزتر و سریع‌تره. قضیه اینه که می‌خوان برنامه‌نویس‌ها و اهل فن بتونن به همون…
کل این داستان هم سر شیوه چرتکه انداختن اینا با رقیب سرسختشون یعنی آنتروپیکه؛ آنتروپیک فروش از طریق شرکای ابری مثل آمازون و گوگل رو پای درآمدش حساب می‌کنه ولی اوپن‌ای‌آی این کار رو نمی‌کنه و سرمایه‌گذارها خودشون اومده…
اما راد نیازاده دراومده و یه تیکه سنگین به این سبک کار زده و حسابی کشیدتشون به چالش. حرف حسابش اینه که اثبات ریاضی مثل بازی ویدئویی یا نرم‌افزار ناقص نیست که اول با هزارتا باگ بدیش دست ملت و بعد هی براش پچ و آپدیت…
قصه از این قراره که یه بررسی موشکافانه نشون داده اثبات متنی این شرکت اصلاً با اون کدی که توی سیستم تایید ریاضیاتی «Lean» ثبت کردن جفت‌وجور نیست و حداقل دو تا گاف اساسی داره. یعنی هوش مصنوعی موقع تبدیل متن به زبان…
طرف تاکید داره حتی اگه هوش مصنوعی تا هالووین ۲۰۲۶ بیاد و فرضیه معروفی مثل ریمان رو هم اثبات کنه، بیشتر یه بازی تبلیغاتی خفنه تا راهکاری برای پزشکی واقعی. در نهایت هشدار میده که پژوهش و ریاضی یه ساختار پیچیده انسانیه که…
ماجرا از این قراره که این تیم با جابه‌جا کردن بیت‌های کنترلیِ فشرده به‌جای لایه‌های بزرگ، تونستن اون گلوگاه محاسباتی رو دور بزنن و متغیر کاپا رو از ۲ به توان منفی ۱۸۲ برسونن به ۲ به توان منفی ۳۴. با این حساب، خروجی…
تو این آزمون با ۵۲۲ تا تسک مختلف از عکس و ویدیو، مواردی مثل درک فضایی، روابط علت و معلولی و حتی فهم اجتماعی رو سنجیدن تا ببینن هوش مصنوعی چند مرده حلاجه. نتیجه‌ش هم نشون داد این ابزارها هنوز خیلی کار دارن؛ آدما با خیال…
طرف میگه اوپن‌ای‌آی حسابی شلخته و بی‌تمرکزه و با پروژه‌های فانتزی مثل ابزار ویدیویی سورا یا ساخت گجت وقت تلف می‌کنه، در حالی که توی انتروپیک اگه کاری مستقیم به خط مقدم ابرهوش نخوره، هر هفت تا هم‌بنیان‌گذار جلوش وایمیستن…
بعد انتشار این خبر، یه بنده‌خدایی که خودش ریاضی‌دانه اومده با دلِ پر نوشته که از این به بعد یه آدم معمولی تو این رشته دقیقاً باید سرش رو با چی گرم کنه؟ طرف خیلی رک گفته که غلط‌گیری و چک کردن اثبات‌های هوش مصنوعی که نشد…
ماجرا از این قراره که یه کارکشته به اسم سارا ییگر رو با ۳۰ سال سابقه تو امور نظامی و حقوق بشر آوردن سر کار تا سناریوهای خیلی حساس و خطرناک جنگی رو بریزن جلوی این مدل‌ها. بعدشم کارشناس‌ها جواب‌های هوش مصنوعی رو گذاشتن…
این سیستم جدید جوری طراحی شده که جواب‌ها رو خیلی سریع، تصویری و کاربردی بهت تحویل میده تا پیچیده‌ترین موضوعات هم مثل آب خوردن برات قابل‌فهم بشه. تازه همون لحظه ابزارهای دم‌دستی و تعاملی رو می‌ذاره ورِ دستت تا کارای…
داستان از این قراره که ابزار SynthID Detector رو حسابی گسترش دادن و یه پورتال جهانی به زبون انگلیسی راه انداختن تا هرکی خواست، بتونه راحت چک کنه ببینه فلان عکس، صدا یا ویدیو کار دست هوش مصنوعیه یا نه. خلاصه این برووبیا…
ملت داشتن واسه این قضیه هورا می‌کشیدن، اما یه محقق به اسم آنتونیو اورویِتو صداش دراومده و حسابی شاکی شده. این دانشمند میگه قدیما حل یه معمای ریاضی مثل کار شاهکار اندرو وایلز، پر از روح، داستان‌های الهام‌بخش و خاک صحنه…
این غول جدید مسائلی مثل حدس بارنت و معادلات پیچیده ناویه-استوکس رو با خلق تکنیک‌های کاملاً بکر حل کرده؛ طوری که دانشمندی مثل باکمستر اعتراف کرده هوش مصنوعی راهکاری داده که خودش ده سال آزگار دنبالش سگ‌دو زده و بهش نرسیده…
این قابلیت وسط جلسه مو‌به‌مو نوت‌برداری می‌کنه، تهش هم یه خلاصه تمیز با قدم‌های بعدی کار تو بخش ChatGPT Space تحویلت میده؛ اونم کاملاً شخصی‌سازی‌شده و بر اساس شناختی که از پروژه‌هات داره. دستت هم بازه که یادداشت‌ها رو…
داستان اینه که هوش مصنوعی از کارای چند ثانیه‌ای سال ۲۰۲۳ رسیده به حل مسائلی که متخصص‌های کاردرست چند روز پاش وقت می‌ذارن. کارشناسا حساب کردن توان پردازشی فقط یه غول مثل OpenAI می‌تونه قد میلیون‌ها محقق تراز اول تو روز…
حرف حسابش اینه که بنده خدا عمری دود چراغ خورده و خاک صحنه ریاضی، برنامه‌نویسی یا هنر رو لیسیده، بعد یهو چشم باز می‌کنه می‌بینه هرچی تو چنته داشته با یه پرامپت ساده بالا میاد و کل هویتش می‌ره رو هوا. طرف کاملاً حق داره…
۲۵ (https://t.me/dlmehr/5693) — ادعا شد حدس کاکیا در فضای سه‌بعدی حل شده است؛ مسئله‌ای که پیشرفت در آن در اعطای مدال فیلدز امسال نقش داشت. ۲۶ (https://t.me/dlmehr/5694) — الکس کونتروویچ ادعای نوار بدون صفر برای تابع…
این وسط آلوارو لوزانو-روبلدو، استاد ریاضی، پشماش از این حجم پیشرفت ریخته اما بدجور شاکی شده و میگه اصلاً فاز این حرکت چیه؟ حرفش اینه که وقتی با پیدا کردن مثال‌نقض تو معادلات سنگینی مثل ناویر-استوکس قدرت مدلتون رو ثابت…