گویا OpenAI نیت کرده که تمام مسائل حل نشده ریاضیات رو حل کنه. =)
ماجرا از این قراره که دیشب شرکت Open AI اعلام کرد به کمک یک مدل داخلی (احتمالا همونی که Navier–Stokes رو حل کرد)، 377 مسئله باز و حل نشده ریاضی رو حل کرده. راه‌حل و کد lean (برای verify کردن) اثباتاشون رو هم دارن به مرور در گیتهاب منتشر می‌کند. واکنش‌های مثبت و منفی من هم زیاد دیدم تا حالا ولی از جالب‌ترین‌هاش موردی بود که qoute کردم و یک مورد دیگه که گفته امروز یکی از تاریخی‌ترین روزها برای ریاضیات [و علم] هست. و حتی یک مورد دیگه که گفته بود تا حالا 2 تا مدال فیلدز با این راه‌حل‌ها باید به این مدل بدن. =)
تا ملت به یک جمع‌بندی برسن که چه اتفاقی دقیقا افتاده یا در حال افتادنه، سعی می‌کنم این پست رو آپدیت کنم.
فعلا برای علاقه‌مندان:
- بلاگ پست OpenAI
- ریپازیتوری گیتهاب راه‌حل‌ها
#News
@Intelligent_Machines
Post #194
248
Mathematical Musings پرستیژ و هوش همیشه چیزهایی هستند که ما خودمون اونا رو تعریف کردیم و هر بار با توجه به کارهایی که ابزارهای ساخته ما نمی‌تونند انجام بِدن، بازتعریفشون می‌کنیم. از این به بعد احتمالا نظریه‌پردازی و تعریف مسائل جدید نشونه پرستیژ و باهوش‌بودن می‌شه. همین‌طور توانایی ارائه و درک عمیق. هر چند این بازی‌ای هست که ته نداره. دوباره ابزارهایی می‌سازیم که توی این کار هم از ما بهتر می‌شن. من خودم هیچوقت از سمت هوش‌مصنوعی احساس خطر نکردم، چون به نظرم مهمترین ویژگی انسان سازگارشدنه و نه هوش.
- ❤ 3
- 🌚 2
- 👍 1
- 🗿 1