TGViewer
Intelligent Machines Intelligent Machines @intelligent_machines · 333 subscribers
Post #196 126
Intelligent Machines گویا OpenAI نیت کرده که تمام مسائل حل نشده ریاضیات رو حل کنه. =) ماجرا از این قراره که دیشب شرکت Open AI اعلام کرد به کمک یک مدل داخلی (احتمالا همونی که Navier–Stokes رو حل کرد)، 377 مسئله باز و حل نشده ریاضی رو حل کرده. راه‌حل و کد lean (برای verify کردن)…
پادکست Daily از نیویورک تایمز در قسمت جدیدش با Steven Strogatz، ریاضیدان و استاد دانشگاه کرنل، در رابطه با اخبار اخیر مصاحبه داشته.

بنظرم خلاصه خوبی از وضعیت موجود بود و در ادامه یک خلاصه‌ای از صحبت‌‌هاش رو میارم. 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
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,…
  • 👍 6
  • ❤ 2
More from @intelligent_machines
  1. Oct 9, 2026یک پلتفرمی رو درست کردن برای پیشبینی نتایج ICLR. به این صورت شما با ثبت‌نام در این پلتفرم…
  2. Oct 7, 2026گویا OpenAI نیت کرده که تمام مسائل حل نشده ریاضیات رو حل کنه. =) ماجرا از این قراره که دیش…
  3. Oct 4, 2026نگار صابریان از مدیران ارشد شرکت Lyft، یکی از بزرگ‌ترین پلتفرم‌های تاکسی اینترنتی در آمریک…
  4. Sep 23, 2026چگونه reviewer بهتری بشیم؟ برای اولین بار برای یک ورکشاپی باید 3 تا پیپر رو ریویو کنم. به…
  5. Sep 19, 2026رکورد تعداد سابمیشن در ICLR؟ ظاهرا تعداد سابمیشن‌های ابسترکت کنفرانس ICLR 2027 که ددلاینش…
  6. Sep 9, 2026دراما، گاسیپ و اخبار زرد این هفته AI احتمالا خبر حل مسئله ناویر-استوکس (Navier–Stokes) که…
Threads Profile ViewerView any public Threads profile without an account.Open ThreadLook →Writing with AI? Make it sound human.Metric37 rewrites AI drafts so they read naturally. Free AI detector, 1,500 words free.Try Metric37 →