میرنیوز
به گزارش ایسنا و به نقل از ایندیپندنت، محققان توانستند از هوش مصنوعی برای کمک به اثبات و ایجاد قضیههای جدید و پیچیده ریاضی استفاده کنند. این کار با همکاری دانشگاه آکسفورد، دانشگاه سیدنی استرالیا و شرکت هوش مصنوعی دیپمایند (DeepMind) انجام گرفت.
دانشمندان از این موفقیت به عنوان گامی بزرگ در جهت افزایش توانایی این سیستمها یاد کردند.
"جوردی ویلیامسون" (Geordie Williamson)، استاد دانشگاه سیدنی و مدیر موسسه تحقیقات ریاضی و از نویسندگان مقاله مربوط به این دستاورد بزرگ میگوید: مسائل در ریاضیات به عنوان بخشی از چالشبرانگیزترین مسائل فکری در نظر گرفته میشوند.
اگرچه ریاضیدانان از یادگیری ماشینی برای کمک به تجزیه و تحلیل مجموعه دادههای پیچیده استفاده میکنند اما این اولین باری است که ما از رایانهها برای فرمولبندی "حدسها" یا ایجاد رویکردهایی برای نظریات اثبات نشده در ریاضیات استفاده میکنیم.
"حدسها" در ریاضیات اطلاعات ناکاملی هستند که برای آنها هیچ اثباتی یافت نشده است.
ریاضیدانان دانشگاه آکسفورد با استفاده از الگوهای شناسایی شده توسط یادگیری ماشینی ارتباطی شگفتانگیز میان متغیرهای جبری و هندسی گرهها کشف کردند و قضیه ریاضی کاملا جدیدی در این زمینه ایجاد کردند.
مطالعه گرههای ریاضی در توپولوژی را "نظریه گره" مینامند.
نتایج کار محققان در مجله نیچر (Nature) منتشر شده است. شرکت دیپمایند با برترین ریاضیدانان کار کرد تا چارچوبی ایجاد کند که به محققان و هوش مصنوعی امکان همکاری میدهد.
به طور معمول بسیاری از فعالیتهای ریاضی مبتنی بر مشاهده مثالها و یافتن الگو و ارتباط میان آنها است. چنین کاری مستلزم خلاقیت و محاسبات است و در حالی که رایانهها برای دههها به انجام مورد دوم یعنی محاسبات کمک میکردند در مورد اول همیشه ریاضیدانان نقش داشتند.
در این تحقیقات جدید دانشمندان نشان دادند که میتوان از هوش مصنوعی برای بخش خلاقانه کار که محدود به انسانها بود نیز استفاده کرد.
محققان برای بررسی درست کار کردن این سیستم آن را در دو حوزه متفاوت ریاضیات مورد استفاده قرار دادند و روابط ناشناخته جدیدی در نظریه گرهها و نظریه نمایش ترکیبی (combinatorial representation) یافتند. این نشان دهنده آن است که استفاده از هوش مصنوعی نه تنها از نظر تئوری امکان پذیر است بلکه میتواند تحقیقات ریاضی جدیدی به انجام برساند.
به گفتهی دیپمایند این اولین باری است که اکتشافات ریاضی قابلتوجهی با استفاده از یادگیری ماشینی انجام شده است.
پروفسور "ویلیامسون" میگوید: هوش مصنوعی میتواند به ما در یافتن ارتباطاتی که کشف آنها برای ذهن انسان آسان نیست، کمک کند.
انتهای پیام
منبع : خبرگزاری ایسنا
اعضای شورای راهبری هوش مصنوعی معرفی شدند/ایجاد زیر ساخت هوش مصنوعی در دستور کار ۱۰ نهاد
آتشسوزی جنگلی موجب رشد حیات دریایی میشود!
استرس کاری ریسک بیماری قلبی را در مردان افزایش می دهد
۲.۵ میلیون ایرانی در اهدای خون مشارکت دارند
چین در شرق تهران بیمارستان هوشمند احداث می کند
راه اندازی ۶۰ هزار تخت بیمارستانی در کشور
وزارت بهداشت برای اولین بار سرایدار استخدام میکند
زمان اخذ رأی در انتخابات نظام پرستاری افزایش یافت
هوای آلوده و افزایش ریسک سرطان سینه/ درمان سوءهاضمه با زردچوبه
بیماری هزارچهره را جدی بگیریم/ عوارض بیماری سلیاک
اهمیت تولید محصولات غذایی فاقد گلوتن برای بیماران سلیاک
نشست چالشهای زنجیره تأمین دارو در ایران برگزار میشود
چگونه از ابتلا به سرماخوردگی جلوگیری کنیم
خرید اعتباری محصولات پتروشیمی به نفع صنعت دارو است
چه کسانی پرونده الکترونیک سلامت دارند
بررسی راهکارهای ورود ایران به بازار دارویی اوراسیا
جامعه پزشکی باید تخصص را همراه تعهد حرفهای داشته باشد
هفته دفاع مقدس فرصتی برای انتقال مفاهیم بهداری رزمی
نشست چالش های قیمت گذاری دارو برگزار میشود
دانش آموز بدون صبحانه مدرسه نرود/ میان وعدههای سالم
وزیر بهداشت زنگ دبیرستان شهید آوینی را نواخت
۱۰ هزار نیروی پرستاری در بخش درمان استخدام می شوند
بازدید سرزده عین اللهی از بیمارستان شفا یحیاییان
۲۲ بیمار کرونایی در یک هفته گذشته فوت شدند
داروی ایرانی از طریق صادرات به دنیا معرفی میشود
ایران دارای قویترین نظام سلامت در منطقه است
ادعای دخالت وزارت بهداشت در انتخابات نظام پرستاری رد شد
اورژانس تهران در هفته گذشته ۲۰ هزار مأموریت انجام داد
جهان امروز با کمبود آب و غذای سالم مواجه است
تایید موفقیت نخستین واکسن ایرانی کرونا