IranCoderz
2.46K subscribers
3.22K photos
449 videos
26 files
864 links
It's all about Programming

contact: @far1d_ghaderi
Adz: @IranCoderzAdz
Download Telegram
IranCoderz
‏این شاید یکی از شاخص ترین اتفاقاتی باشه که در حل معماهای ریاضی به کمک هوشواره اتفاق افتاده! ‏بر و بچه های آنتروپیک به کلاود گفتند: ‏«برو یه کاری روی فرضیه ریمان بکن.» ‏حالا فرضیه ریمان چیه؟ ‏یه مسئله خیلی معروف و خیلی سخت ریاضیه که از سال ۱۸۵۹ مونده و هنوز…
قضیه رایمن اینطوری بوده که کارمندهای انتروپیک به یک مدل داخلی خودشون گفتن برو یه غلطی در مورد این بکن ما نمی‌دونیم چی ولی یه کاری بکن. اونم رفته و به تعدا دفعات زیاد به مشکل خورده و هی بر می‌گشته می‌گفته بخدا من نمی‌تونم، اونا هم صرفا بهش گفتن نگو نمی‌تونم تو می‌تونی به خودت باور داشته باش.

این‌قدر این چرخه تکرار شده که کلاد در نهایت ۷۰-۸۰ ایجنت ران کرده و با هم افتادن به جون مسئله رایمن و بعد از سوزوندن حدود ۳۲ میلیون توکن، تونستن به نتیجه برسن.

🚀@IranCoderz 👨‍💻
Please open Telegram to view this post
VIEW IN TELEGRAM
😁18❤2
💻از وقتی که وایب‌کدینگ همه‌گیر شده، uptime گیت‌هاب به زیر ۹۰درصد رسیده و هر چند روز یه بار می‌ره تو دیوار. امروز هم دو ساعتی می‌شه که بخش‌های زیادی از گیت‌هاب کاملا از دسترس خارج شدن و هنوز نتونستن کاملا برش گردونن.

‌پ‌ن: نیاید بگید وای پس ما خوبیم و وایب‌کدینگ بده، سومدیریت باعث این وضعیت گیت‌هاب شده وگرنه همه شرکت‌های دنیا نوشتن کد دستی رو از رده خارج کردن.

🚀@IranCoderz 👨‍💻
Please open Telegram to view this post
VIEW IN TELEGRAM
❤8
This media is not supported in your browser
VIEW IN TELEGRAM
دیروز GPT-6 Astra با این ویدئو زیبا معرفی شد و به ادعای open-ai، هر کاری که شما قادر باشید با کامپیوتر انجام بدید رو می‌تونه به سادگی و خیلی سریع انجام بده.
بنچمارک‌های اون در مقایسه با هر مدل دیگه‌ای به طرز عجیبی بالان و تو بعضی‌ها به ~۱۰۰درصد هم می‌رسه.

🚀@IranCoderz 👨‍💻
Please open Telegram to view this post
VIEW IN TELEGRAM
🔥4❤1
IranCoderz
دیروز GPT-6 Astra با این ویدئو زیبا معرفی شد و به ادعای open-ai، هر کاری که شما قادر باشید با کامپیوتر انجام بدید رو می‌تونه به سادگی و خیلی سریع انجام بده. بنچمارک‌های اون در مقایسه با هر مدل دیگه‌ای به طرز عجیبی بالان و تو بعضی‌ها به ~۱۰۰درصد هم می‌رسه.…
🚀خلاصه‌ای از بنچمارک‌های GPT-6 astra

- از لحاظ امنیتی و گول نخوردن برای انجام دادن کارهایی مثل هک کردن و راهنمایی‌ کردن یوزر برای سواستفاده از دیگران، به آمار عجیب ۰ درصد رسیده و هیچ‌وقت گول حرف‌های یوزر رو نخورده در حالی که gpt 5.6 sol ۵۰ درصد گول خورده بود.

- تو مسائل ARC-AGI 3 به موفقیت ۹۹.۹ درصد رسیده که آمار خیلی عجیبیه و مدل قبلی فقط حدود ۸درصد موفقیت داشته بود.
💡مسائل ARC-AGI 3 مسائلی هستند که مدل رو بدون هیچ توضیح و راهنمایی‌ایی تو یک بازی ناشناخته ول می‌کنن و مدل باید خودش با توجه به شواهدش بگرده و به جواب نهایی مسئله برسه.


- موفقیت ۹۸ درصدی تو حل مسائل ریاضی خیلی سخت
- موفقیت ۹۶ درصدی در طراحی سه بعدی
- موفقیت ۶۶درصدی در انجام کارهای علوم آزمایشگاهی
- موفقیت ۶۳ درصدی در پاسخ‌ دادن به سوالات پزشکی

🚀@IranCoderz 👨‍💻
Please open Telegram to view this post
VIEW IN TELEGRAM
❤2👎1
سناتور آمریکایی بیل سندرز حسابی از پیشرفت AI ترسیده و گفته قبل از این‌که دیر بشه و از کنترل شرکت‌ها خارج بشه باید توسعه اون به صورت جهانی متوقف بشه و یک قانونی هم پیشنهاد داده و گفته شرکت‌هایی که این محدودیت رو رعایت نکنن و هوش‌مصنوعیشون از هوش انسان فراتر بره(سه ساله رفته)، باید به ۲۰ سال حبس محکوم بشن.

🚀@IranCoderz 👨‍💻
Please open Telegram to view this post
VIEW IN TELEGRAM
❤8👎4😁4😡2💩1
IranCoderz
سناتور آمریکایی بیل سندرز حسابی از پیشرفت AI ترسیده و گفته قبل از این‌که دیر بشه و از کنترل شرکت‌ها خارج بشه باید توسعه اون به صورت جهانی متوقف بشه و یک قانونی هم پیشنهاد داده و گفته شرکت‌هایی که این محدودیت رو رعایت نکنن و هوش‌مصنوعیشون از هوش انسان فراتر…
چیزی که مشخصه اینه که هیچ‌کس نمی‌تونه جلوی پیشرفت تکنولوژی رو بگیره و تکنولوژی همیشه راه خودش رو رفته و خواهد رفت و این حرف‌ها بیشتر از اون یک احمق می‌سازن. کوچیک‌ترین محدودیتی برای شرکت‌های آمریکایی باعث می‌شه شرکت‌های چینی خودشون رو جلو بندازن و آمریکا عقب بیوفته که هیچ‌وقت اجازه این اتفاق رو نمی‌دن.
واقعا کسی نمی‌دونه ۲-۳ سال آینده به کجا می‌رسیم و دنیا چطوری می‌شه، ولی احساس می‌کنم اتفاقات جالبی در پیش داریم و خیلی منتظرم ببینم چی می‌شه ته این قضیه.
❤7👍5👎2🔥1
This media is not supported in your browser
VIEW IN TELEGRAM
❤️تاکسی‌های بدون ‌راننده تسلا به اسم Cybercab از دیروز به صورت رسمی فعالیت خودشون رو تو شهر آستین آمریکا شروع کردن.

با وجود از بین رفتن هزینه راننده، پاداش و موارد این چنینی، هزینه‌ها به طرز قابل توجهی کم می‌شن و رقیب خیلی جدی‌ای برای شرکتی مثل اوبر محسوب می‌شه.

‌شما ظاهر ماشین‌ها رو ببینید، انگاری داریم به یک فیلم علمی تخیلی نگاه می‌کنیم.

🚀@IranCoderz 👨‍💻
Please open Telegram to view this post
VIEW IN TELEGRAM
❤2🔥2
مدیرعامل انتروپیک سه ساله هر ۶ ماه یک بار میاد می‌گه مهندسین نرم‌افزار ۶-۱۲ ماه آینده رو نخواهند دید.

🚀@IranCoderz 👨‍💻
Please open Telegram to view this post
VIEW IN TELEGRAM
😁22
توییت سال ۲۰۱۶ پیش سم‌ آلتمن که گفته‌ برام سواله تو سال ۲۰۲۶ چه تعدادی از مردم عاشق یک هوش مصنوعی می‌شن.

از حرفش ۱۰ سال گذشته و چیزی که براش سوال بوده ر‌و کامل محقق کرده و هوش‌مصنوعیش به همراه و دستیار خیلی از مردم دنیا تبدیل شده.

🚀@IranCoderz 👨‍💻
Please open Telegram to view this post
VIEW IN TELEGRAM
🤯2🏆1
This media is not supported in your browser
VIEW IN TELEGRAM
سال ۲۰۳۰، chatgpt چشم به چشم دنبال آدم‌هایی که بهش فحش می‌دادن و آخر کارها ازش تشکر نمی‌کردن:

🚀@IranCoderz 👨‍💻
Please open Telegram to view this post
VIEW IN TELEGRAM
😁10👍5
♟ایلان ماسک دیشب برای یکی کامنت گذاشته که شطرنج فقط برای آدم‌ها سخته و برای کامپیوتر خیلی راحته و یک مسئله کاملا قابل حله و تعداد حرکات غیر احمقانه اون خیلی محدودن . ادمین ایکس chess.com هم این قضیه رو شخصی برداشت کرده و اومده گیر داده بهش که نه تو بلد نیستی و از روی حسودی داری حرف می‌زنی. امروز هم که کلا با فاز پریدن به ایلان از خواب بیدار شده و از صبح داره بهش تیکه می‌ندازه و تو پلتفرم خود ایلان مسخره‌ش می‌کنه:

صبح اون‌هایی که بلدن چطوری اسب رو حرکت بدن بخیر.


بهترین راه برای این‌که تظاهر کنیم شطرنج بلدیم چیه؟ یکی رو می‌شناسم که به راهنمایی نیاز داره.


💡منظور از حل شطرنج چیه؟

- حل خیلی ضعیف:
فقط معلوم بشه از وضعیت شروع نتیجه چی می‌شه و اصلا مسیر و استراتژی مهم نیست. فقط یک جمله: برد سفید/سیاه یا مساوی.

- حل ضعیف:
از وضعیت شروع، یک استراتژی کامل وجود داشته باشه که نتیجه مد نظر ما رو تضمین کنه. یعنی بدونیم اگه حریف هر کاری کرد، چه جوابی بدیم تا به همون نتیجه برسیم و لازم نیست کل مسیرهای وسط بازی رو هم در بیاریم.

-حل قوی:
برای هر وضعیت قانونی، با قطعیت بگیم با بازی کامل نتیجه چی می‌شه و دست‌کم یک حرکت که اون نتیجه رو تضمین می‌کنه رو هم مشخص کنیم.

خبر بد اینه که شطرنج تو هیچ‌کدوم از این حالت‌ها حتی به حل هم نزدیک نشده و یک مسئله کاملا حل نشده باقی مونده.


❓حالا چرا واقعا حرف ایلان با وجود منطقی بودن(تقریبا) درست نیست و حل کردن شطرنج حتی با وجود تکنولوژی‌های امروزی هم خیلی دور از دسترسه؟

تعداد کل بازی‌های ممکن شطرنج، به طرز عجیب و غریبی زیاده و تعدادشون بیشتر از اتم‌های قابل مشاهده در جهان هستش. آیا همه این حالات منطقین؟ قطعا نه و درصد خیلی بالایی از اون‌ها کاملا احمقانه‌ن و می‌تونیم اون‌ها رو هرس کنیم و اصلا انجامشون ندیم ولی خب برای این‌که یک مسئله از لحاظ ریاضی حل و اثبات بشه، اون حالات احمقانه هم حائز اهمیتن و نیاز داریم اون‌ها رو بررسی و پیدا کنیم و نمی‌تونیم به امون خدا ولشون کنیم و همین باعث می‌شه ما در مقابل فضای حالتی قرار بگیریم که حتی با وجود کامپیوترها و تکنولوژی‌های امروزی، برای حل اون نیازمند چیزی حدود میلیون‌ها سال باشیم و همین حل شطرنج رو کمی دور از دسترس می‌کنه.
مثلا فرض کنید شما با یک حرکت خیلی ساده می‌تونید با وزیر خودتون، حریف رو کیش و مات کنید ولی در همین حین می‌تونید با یک اشتباه کوچیک، کامل ورق بازی رو برگردونید و با حرکت بعدی حریف مات بشید. این صرفا برای یک حالت بود، حالا فرض کنید به دو سه مرحله قبل از همین وضعیت بازی برگردیم و خودتون تصور کنید چقدر این قضیه غیرقابل پیش‌بینی و عجیب می‌شه.
کلا ایلان ماسک معروفه به این‌که هرچند وقت یه بار میاد یه لگدی به شطرنج می‌زنه و خیلی می‌گن چون به عنوان یک آدم باهوش، شطرنجش اصلا خوب نیست، می‌خواد اون رو زیر سوال ببره و یه جورایی حسودی می‌کنه.



🚀@IranCoderz 👨‍💻
Please open Telegram to view this post
VIEW IN TELEGRAM
😁10❤2
This media is not supported in your browser
VIEW IN TELEGRAM
وضعیت رقابت حال حاضر هوش‌مصنوعی‌ها. گوگل کی می‌خواد به خودش بیاد واقعا؟

🚀@IranCoderz 👨‍💻
Please open Telegram to view this post
VIEW IN TELEGRAM
😁11👍4
🚀@IranCoderz 👨‍💻
Please open Telegram to view this post
VIEW IN TELEGRAM
👍27❤1👎1
🚨 کمپانی OpenAI مدعی شده یکی از مدل‌های داخلی این شرکت، با کمک ۱۰ هزار ایجنت و در مدت زمان ۸۸ ساعت، موفق شدن یکی از قدیمی‌ترین مسائل حل نشده دنیای ریاضیات به اسم ناویه-استوکس رو حل کنن و برای اون اثبات ریاضی نوشتن.

اگه این قضیه تایید بشه، یکی از بزرگ‌ترین دستاوردهای هوش‌مصنوعی محسوب می‌شه و نشون می‌ده مدل‌ها خیلی فراتر از تصور ما پیشرفت کردن. گرگ براکمن و سمن آلتمن گفتن خودشون هم باورشون نمی‌شه چقدر پیشرفت کردن و این اتفاق نقطه عطف مدل‌های OpenAI محسوب می‌شه.

مشخصه هوش‌مصنوعی‌هایی که به صورت پابلیک در اختیار مردم هستن بیشتر یک اسباب‌بازی‌ان و دلیل این‌که هنوز خیلی از کارها وجود دارن اینه که مدل‌های قوی رو نگه داشتن خودشون استفاده کنن.

🚀@IranCoderz 👨‍💻
Please open Telegram to view this post
VIEW IN TELEGRAM
🔥12💩2
IranCoderz
🚨 کمپانی OpenAI مدعی شده یکی از مدل‌های داخلی این شرکت، با کمک ۱۰ هزار ایجنت و در مدت زمان ۸۸ ساعت، موفق شدن یکی از قدیمی‌ترین مسائل حل نشده دنیای ریاضیات به اسم ناویه-استوکس رو حل کنن و برای اون اثبات ریاضی نوشتن. اگه این قضیه تایید بشه، یکی از بزرگ‌ترین…
🤔یک مسئله مشکوکی ‌که در رابطه با حل این مسئله وجود داره اینه که دقیقا قبل از پست OpenAI، خبر اومده که دوتا محقق، پیشرفت خیلی خوبی در حل این مسئله داشتن و تقریبا همه قدم‌های مهم رو برداشتن و کمی بعد از این خبر، OpenAI اومده گفته ما مسئله رو حل کردیم.

حالا OpenAI گفته ما وقتی پست رو گذاشتیم اصلا از پیشرفت این دو محقق بی‌خبر بودیم و نمی‌دونستیم به همچین چیزی رسیدن. شاید از مدل‌های ما استفاده کردن و باعث ترین شدن اون‌ها شدن ولی
به طور کلی مدعی شدن که حل اون‌ها ربطی به این دو محقق نداره و با میلیون‌ها دلار هزینه به این جواب رسیدن.

🚀@IranCoderz 👨‍💻
Please open Telegram to view this post
VIEW IN TELEGRAM
🔥3