به به
اینو حتما باید تکنیکال ریپورتش رو بررسی کنم ببینم چیکارا کردن

امیدوارم luke dev هم برسیش کنه ببینیم در عمل چجوریاست

🧮 OpenAI خروجی ریاضی مدل محرمانه‌شو متن‌باز کرد!

مدل داخلی منتشرنشده‌ی OpenAI با حدود ۴,۰۰۰ مسئله‌ی باز ریاضی آزموده شده و خروجیش — ۷۱۹ دست‌نوشته‌ی علمی در ۳۷۲ خانواده‌ی نتیجه، همراه اثبات‌های Lean و trace استدلال — عمومی شده. هر نتیجه به‌طور میانگین فقط ۳ ساعت محاسبات تفکری ChatGPT Pro خورده!

چند نمونه: ناحیه‌ی بدون صفر جدید برای تابع زتای ریمان، پیشرفت روی حدس هاج (واریته‌های آبلی CM)، توان گنگ‌بودن π و فرمول مِزارد–پاریزی برای شیشه‌های اسپین.

چراغ قرمزها: فقط ~۴۲٪ نتایج برتر اثبات فرمال در Lean دارن و روز بعد از انتشار، ۳ مقاله پس گرفته و ۱۴ مقاله ویرایش شد!

📕 ریپوی openai/math
🎬 ویدیوی فارسی از زِد

@TheDeepTech

🗞 مینی‌اخبار داغ تکنولوژی — امروز

🏦 متا به جریمه‌ی ۲۵ میلیارد دلاری محکوم شد!
سایه‌ی رسوایی Cambridge Analytica برگشت سراغشون: دادگاه نیومکزیکو به‌خاطر ۴۳ میلیون مورد نقض قانون، سقف جریمه رو برای هر مورد اعمال کرد. جمله‌ی مشهور قاضی؟ «بازرسی داخلی متا عامدانه بی‌اثر بود»! متا درخواست تجدیدنظر کرده.

🤖 هوش مصنوعی یه حفره‌ی خطرناک تو PHP پیدا کرد... و کل اینترنت یه لرزه برداشت!
دو آسیب‌پذیری اجرای کد بدون احراز هویت؛ یکیش با مدل GPT-5.6 پیدا شد. نتیجه؟ فنلاند سرویس‌های وب دولتیشو خاموش کرد، BBC و شورای ادینبرو صفحات‌شون افلاین شدن و OpenAI اسم این بازه رو گذاشت «پنجره‌ی مدافعان»!

🐍 هشدار به توسعه‌دهنده‌ها: بکدور تو LiteLLM
نسخه ۱.۱۰۷.۰ این پکیج محبوب روی PyPI آلوده شده بود؛ دزدهای اعتبارنامه + بکدور کامل! اگه این چند روزه آپدیت کردین، یه چک به چیزی که نصب کردین بندازین.

🤝 مدل‌های OpenAI آمدند روی Google Cloud!
بله درست خوندین — رقبای دیرینه حالا همکاری می‌کنن: مدل‌های فرنتیه‌ر و Codex به Model Garden گوگل کلود میان. دنیا دیگه همون دنیای ۵ سال پیش نیست!

🎮 ایی‌ای (EA) استودیوی افسانه‌ای BioWare رو تعطیل کرد
سازنده‌ی Mass Effect و Dragon Age بعد از ~۳۰ سال، رسماً خداحافظی کرد. ری‌اکت گیمرها تو هکرنیوز؟ صدها کامنت غمگین!

👋 دو پژوهشگر DeepMind روی پروژه‌ی نظامی پنتاگون استعفا دادن
دلیلشون؟ تردید در نظارت گوگل بر استفاده نظامی از AI. شرکت می‌گه همه قراردادها بازبینی اصل اخلاقی می‌شن.

🕰️ باحال‌ترین خبر آخر: ویندوز ۱۱ هنوز مدیر حافظه‌ی ویندوز ۹۵ رو درونش داره!
۳۰ سال بعد، همون کد قدیمی هنوز قلب سیستم رو می‌زنه — پدیده‌ی موزه‌های زنده! 😄

منابع: CNBC · The Neuron · Hacker News · The Verge

#مینی_تکس

@TheDeepTech

آنتروپیک از Claude Duet رونمایی کرده، یک ایجنت فعال (Proactive) که بر پایه مدل Opus 5.5 ساخته شده و قراره مثل یک همکار یا دستیار فعال عمل کنه، نه فقط یک چت بات ...

خودش صبحها یک خلاصه از کارهای مهمی که توی اپهای متصل (ایمیل، تقویم و...) هست برات میفرسته، کارهایی که بهش میسپاری رو انجام میده و حتی وقتی تو آفلاین هستی به کارش ادامه میده. قبل از کارهای حساس مثل ارسال پیام یا پرداخت، ازت تأیید میگیره و همه چیز توی یک محیط ابری امن اجرا میشه. فعلاً به صورت پیشنمایش تحقیقاتی و لیست انتظار، فقط برای مشترکین Pro و Max در آمریکا در دسترسه ...

@TheDeepTech

آقا از این به این سادگیا نگذرید
تو همین چند روز 364k استارز گرفته!
یعنی جزو پر استارزترین ریپو های github شده

خیلی خلاصه بخوام بگم، شما بهش میگید که میخوام مثلا قابلیت brush از فتوشاپ رو برای نرم افزار خودم بسازم
این میره در سطح باینری نرم افزار رو به طور دقیق بررسی میکنه، و میده به AI Agent تا براتون دقیقا به همون شکلی که Adobe پیاده سازی کرده، پیاده سازی کنه!

یعنی شکاف بین نرم افزای های تجاری و open source، تقریبا از بین رفته

تشکیل شده از :
- یه سرور MCP + CLI که ایجنت بهش وصل میشه و کلی بازار ریورس انجینرینگ وصل میشه، از جمله IDA, JADX و کلی دیگه

- هدافش از بازی DOS و فایل‌های APK و اپ‌های Electron گرفته تا فریمور، پکت‌ های شبکه و حتی فایل‌ های مدل‌های زبانی (GGUF) "در این سطح باینری رو درک میکنه!"
- تحلیل کاملا لوکال انجام میشه
- توی README خود ریپو هم یه نمونه باحال گذاشتن: بازسازی تابع صدای بازی DX-Ball که ۶۳ تابع کامپایل‌شده‌ش بایت‌به‌بایت با نسخه اصلی یکی شده

گیت‌هاب | وب‌سایت

@TheDeepTech

فقط برای اینکه خیلی زرد نشه هم بگم که این کار جدید نیست

یعنی افراد متخصصی مثل بازی ساز ها یا متخصص های امنیتی و غیره ...، به شدت از اینکارا میکنن

ابزار های اینکارم که خیلی زیاده و از قبل هم بودن (مثل Ghidra، Hopper، IDA، JADX و غیره ...)

این ریپو هم اومده همه این ابزار هارو یه جا جمع کرده، یه چند تا prompt هم نوشته، که بدید AI Agent براتون اینکارو بکنه!

شیر کنید

@TheDeepTech

Underdog Bark 3.0

حجمش فقط ۱۶۳ مگابایت اما با
نرخ خطای ۷.۸۲٪
۹.۴۲ ٪ نرخ خطای اوپن ویسپر

Bark روی هر دو لپ‌تاپ و تلفن شما اجرا می‌شود. رایگان و متن‌باز تحت CC-BY 4.0 است

سریع است- ۱ دقیقه صوت را در کمتر از ۰.۲۵ ثانیه روی یک Macbook رونویسی می‌کند


@TheDeepTech

#شایعه

شاید شاهد منتشر شدن qwen 4 در یک دو روز آینده باشیم .

@TheDeepTech

تبریک میگم، اینترنت رو گرون کردن (40 درصد)

@TheDeepTech

مینی‌اخبار داغ تکنولوژی — امروز
۲۳ اکتبر ۲۰۲۶ | جمعه ۱ آبان ۱۴۰۵

📡 اینترنت تا سقف ۴۰٪ گران شد
از جمعه ۱ آبان، تعرفه اینترنت، مکالمه و پیامک همراه‌اول و ایرانسل تا ۴۰٪ بالا رفت؛ بسته‌های از قبل خریداری‌شده ثابتن.

🌐 فرانسه بدون کوآد۹
دادگاه به شکایت beIN بستن دامنه‌های پیرات و جریمه روزی ۱۰۰۰ یورو رو حکم کرده؛ کوآد۹ به‌جای جعل جواب DNS، فرانسه رو ترک می‌کنه.

🎮 استریم ساعتی ایکس‌باکس
ایکس‌باکس بسته‌های Cloud Playtime رو هم داد: از ۴ دلار/۱۰ ساعت تا ۱۲ دلار/۵۰ ساعت؛ مخصوص بازی‌هایی که از قبل خریدی.

📱 نسخه‌ی iOS 16.5 روی POCO X5 Pro
گروه OOSEX کرنل XNU اپل رو روی این گوشی بوت کرده؛ قفل صفحه و سافاری کار می‌کنه و با ری‌استارت برمی‌گرده به اندروید.

🤖 ایجنت‌ها به حساب بانکی رسیدن
چند سرویس ایجنت‌هاشون رو به حساب بانکی وصل کردن؛ انویدیا هم OpenShell رو داد: runtime ایزوله برای ایجنت‌ها.


✦ دنباله‌ی PHP: کسی ناخواسته امبارگو رو شکست و تو «Tell HN» عذرخواهی کرد.
✦ پروژه‌ی WorldTUI: مدل ۳۶۰ میلیونی که ترمینال لینوکس رو از حفظ حدس می‌زنه.

📌 منابع: Ars Technica · گیت‌هاب · HN · The Neuron

#مینی_تکس
@TheDeepTech

اگه کارای ریسرچ و وایب کدینگ و غیره میخواد انجام بدید، اولویت رو بدید به GLM 5.3 Flash
چون DeepSeek V4.1 Flash هرچند که بهتر باشه
بازم برای یک تسک ساده، ممکنه 10 15 دقیقه وقتتون رو بگیره (OpenCode)

به شدت تمایل داره که Step هارو زیاد کنه
ولی GLM 5.3 Flash با کیفیت نزدیک و Step های کمتری کارو انجام میده

از طرفی دیپ سیک و کلا مدل های دیگه روی opencode یه مقدار کند تر از مابقی provider ها هست

@TheDeepTech

یه بابایی چند روز پیش اینو توی x منتشر کرد

که در واقع مدل DeepSeek V4.1 Flash 1017 رو ۸۹ بار روی ۹ harness مختلف اجرا کرده

نتیجه همونطور که مشخصه، به صورت کلی بهترین هارنس ها که بالاترین تعمیم رو دارن
PI و GrokBuild و OpenCode 2 هست

البته که DeepSeek Harness برای دیپ سیک حرف اول رو میزنه
و این خروجی ها هم تضمین کننده تعمیم پذیری هارنس ها نیست (باید مدل های بیشتری رو تست بگیرن که قدرت تعمیم هارنس هارو پیدا کنن)

در ضمن، اگه opencode تون آپدیت نیست، برید تو کارش :)

توئیت : https://x.com/PawelHuryn/status/2112571119412646370

@TheDeepTech

یه بو هایی داره از این سمت میاد
#شایعه

@TheDeepTech

آقا غول مرحله آخر معرفی شد😶‍🌫