Courses, papers, news and everything about advances in Artificial Intelligence with a focus on Reinforcement Learning
Link for boosting channel:
https://t.me/boost/intelligent_machines
Post #196
122
Intelligent Machines گویا OpenAI نیت کرده که تمام مسائل حل نشده ریاضیات رو حل کنه. =) ماجرا از این قراره که دیشب شرکت Open AI اعلام کرد به کمک یک مدل داخلی (احتمالا همونی که Navier–Stokes رو حل کرد)، 377 مسئله باز و حل نشده ریاضی رو حل کرده. راه‌حل و کد lean (برای verify کردن)…
پادکست Daily از نیویورک تایمز در قسمت جدیدش با Steven Strogatz، ریاضیدان و استاد دانشگاه کرنل، در رابطه با اخبار اخیر مصاحبه داشته.
بنظرم خلاصه خوبی از وضعیت موجود بود و در ادامه یک خلاصه‌ای از صحبت‌‌هاش رو میارم. Steven Strogatz در رابطه با پیشرفت مدل‌های زبانی در ریاضی صحبت کرد. از اینکه سال 2022 مدل‌های اولیه براشون جدی نبودن به خاطر hallucinationهایی که داشتن. ولی از may امسال که OpenAI مسئله unit distance اردوش رو حل کرد، فهمیدن که توانایی این مدل‌های در ریاضی رو باید جدی گرفت. چون اثباتی که برای این مسئله ارائه داده بود به قول خودش elegent بود.
از may تا الان هم اتفاقای زیادی افتاده که باعث ایجاد یک حس دوگانه‌ای در همه شده. نگرانی از اینکه ما از این به بعد باید چیکار کنیم تا ابعاد مثبت قضیه که باعث پیشرفت‌های علمی زیادی خواهد شد. همچنین این نگرانی هم خیلی جدی میدونه که این مدل‌های پیشرفته‌تر از سطح دانش انسان بشن و از یک جایی به بعد فهم دانشی که ایجاد میکنن برای ما غیر ممکن خواهد بود.
از حرف‌های کلیدیش بنظرم این بود که
و شاید ورود به دوره singularity.
این پادکست رو می‌تونین پادگیر‌های مختلف گوش بدین. لینک یوتیوبش رو هم پایین میذارم.
- لینک یوتیوب این قسمت از پادکست Daily
پ.ن: در رابطه با خبر OpenAI هم بنظرم هنوز درکی درستی از وضعیت فعلی وجود نداره. یک سری از اثبات‌ها retract شدن ولی این چیزی رو تغییر نمیده. واقعیت اجتناب ناپذیره و کسی نمی‌تونه منکر پیشرفتی که اتفاق افتاده بشه.
پ.ن2: من در پست قبلی گفته بودم نتایج رو دارن به مرور منتشر میکنن که این درست نبود و باید اصلاحش کنم. خیلی یهویی یک ریپازیتوری به اسم math (انگار می‌خوان یک فولدر ساده درست کنن و یک سری فایل رو بذارن اونجا =) ) درست کردن و هر چی بود رو گذاشتن اونجا.
#Podcast
@Intelligent_Machines
YouTube When A.I. Comes for Your Purpose in Life Artificial intelligence has gone from struggling with basic arithmetic to helping solve some of mathematics’ most famous open problems — and the field is reckoning with what that means.
Steven Strogatz, a professor of mathematics at Cornell University,… بنظرم خلاصه خوبی از وضعیت موجود بود و در ادامه یک خلاصه‌ای از صحبت‌‌هاش رو میارم. Steven Strogatz در رابطه با پیشرفت مدل‌های زبانی در ریاضی صحبت کرد. از اینکه سال 2022 مدل‌های اولیه براشون جدی نبودن به خاطر hallucinationهایی که داشتن. ولی از may امسال که OpenAI مسئله unit distance اردوش رو حل کرد، فهمیدن که توانایی این مدل‌های در ریاضی رو باید جدی گرفت. چون اثباتی که برای این مسئله ارائه داده بود به قول خودش elegent بود.
از may تا الان هم اتفاقای زیادی افتاده که باعث ایجاد یک حس دوگانه‌ای در همه شده. نگرانی از اینکه ما از این به بعد باید چیکار کنیم تا ابعاد مثبت قضیه که باعث پیشرفت‌های علمی زیادی خواهد شد. همچنین این نگرانی هم خیلی جدی میدونه که این مدل‌های پیشرفته‌تر از سطح دانش انسان بشن و از یک جایی به بعد فهم دانشی که ایجاد میکنن برای ما غیر ممکن خواهد بود.
از حرف‌های کلیدیش بنظرم این بود که
No one knows how to feel.
و شاید ورود به دوره singularity.
این پادکست رو می‌تونین پادگیر‌های مختلف گوش بدین. لینک یوتیوبش رو هم پایین میذارم.
- لینک یوتیوب این قسمت از پادکست Daily
پ.ن: در رابطه با خبر OpenAI هم بنظرم هنوز درکی درستی از وضعیت فعلی وجود نداره. یک سری از اثبات‌ها retract شدن ولی این چیزی رو تغییر نمیده. واقعیت اجتناب ناپذیره و کسی نمی‌تونه منکر پیشرفتی که اتفاق افتاده بشه.
پ.ن2: من در پست قبلی گفته بودم نتایج رو دارن به مرور منتشر میکنن که این درست نبود و باید اصلاحش کنم. خیلی یهویی یک ریپازیتوری به اسم math (انگار می‌خوان یک فولدر ساده درست کنن و یک سری فایل رو بذارن اونجا =) ) درست کردن و هر چی بود رو گذاشتن اونجا.
#Podcast
@Intelligent_Machines
- 👍 6
- ❤ 2
