میرنیوز
پیشرفت چشمگیر هوش مصنوعی در ریاضیات
2021-12-02T14:42:30+03:30
به گزارش ایسنا و به نقل از ایندیپندنت، محققان توانستند از هوش مصنوعی برای کمک به اثبات و ایجاد قضیه‌های جدید و پیچیده ریاضی استفاده کنند. این کار با همکاری دانشگاه آکسفورد، دانشگاه سیدنی استرالیا و شرکت هوش مصنوعی دیپ‌مایند (DeepMind) انجام گرفت.
دانشمندان از این موفقیت به عنوان گامی بزرگ در جهت افزایش توانایی این سیستم‌ها یاد کردند.
"جوردی ویلیامسون" (Geordie Williamson)، استاد دانشگاه سیدنی و مدیر موسسه تحقیقات ریاضی و از نویسندگان مقاله مربوط به این دستاورد بزرگ می‌گوید: مسائل در ریاضیات به عنوان بخشی از چالش‌برانگیزترین مسائل فکری در نظر گرفته می‌شوند.
اگرچه ریاضی‌دانان از یادگیری ماشینی برای کمک به تجزیه و تحلیل مجموعه داده‌های پیچیده استفاده می‌کنند اما این اولین باری است که ما از رایانه‌ها برای فرمول‌بندی "حدس‌ها" یا ایجاد رویکردهایی برای نظریات اثبات نشده در ریاضیات استفاده می‌کنیم.
"حدس‌ها" در ریاضیات اطلاعات ناکاملی هستند که برای آن‌ها هیچ اثباتی یافت نشده است.
ریاضی‌دانان دانشگاه آکسفورد با استفاده از الگوهای شناسایی شده توسط یادگیری ماشینی ارتباطی شگفت‌انگیز میان متغیرهای جبری و هندسی گره‌ها کشف کردند و قضیه ریاضی کاملا جدیدی در این زمینه ایجاد کردند.
مطالعه گره‌های ریاضی در توپولوژی را "نظریه گره" می‌نامند.
نتایج کار محققان در مجله نیچر (Nature) منتشر شده است. شرکت دیپ‌مایند با برترین ریاضی‌دانان کار کرد تا چارچوبی ایجاد کند که به محققان و هوش مصنوعی امکان همکاری می‌دهد.
به طور معمول بسیاری از فعالیت‌های ریاضی مبتنی بر مشاهده مثال‌ها و یافتن الگو و ارتباط میان آن‌ها است. چنین کاری مستلزم خلاقیت و محاسبات است و در حالی که رایانه‌ها برای دهه‌ها به انجام مورد دوم یعنی محاسبات کمک می‌کردند در مورد اول همیشه ریاضی‌دانان نقش داشتند.
در این تحقیقات جدید دانشمندان نشان دادند که می‌توان از هوش مصنوعی برای بخش خلاقانه کار که محدود به انسان‌ها بود نیز استفاده کرد.
محققان برای بررسی درست کار کردن این سیستم آن را در دو حوزه متفاوت ریاضیات مورد استفاده قرار دادند و روابط ناشناخته جدیدی در نظریه گره‌ها و نظریه نمایش ترکیبی (combinatorial representation) یافتند. این نشان دهنده آن است که استفاده از هوش مصنوعی نه تنها از نظر تئوری امکان پذیر است بلکه می‌تواند تحقیقات ریاضی جدیدی به انجام برساند.
به گفته‌ی دیپ‌مایند این اولین باری است که اکتشافات ریاضی قابل‌توجهی با استفاده از یادگیری ماشینی انجام شده است.
پروفسور "ویلیامسون" می‌گوید: هوش مصنوعی می‌تواند به ما در یافتن ارتباطاتی که کشف آن‌ها برای ذهن انسان آسان نیست، کمک کند.
انتهای پیام
منبع : خبرگزاری ایسنا
کلمات کلیدی : میرنیوز هوش مصنوعی ریاضی
اشتراک گذاری :
آخرین اخبار علمی
نیروهای پلیس راهور سفیر اهدای عضو شدند
حضور ۱۸ شرکت دانش‌بنیان در نمایشگاه صنعت بازی رایانه‌ای روسیه
پیش بینی اکونومیست از سال ۲۰۲۵؛ شکوفایی فناوری‌های پاک به رهبری چین
«صندوق بیمه ویژه» برای اجرای مطمئن‌تر پروژه‌های صنعتی راه اندازی شد
فیلترینگ در چه شرایطی موجه و مطلوب است/ پالایش هوشمند در اینستاگرام
پوشش ضد رادار چین هواپیماها و تجهیزات نظامی را نامرئی می‌کند
۶۴۵ میلیارد تومان وام ودیعه مسکن به دانشجویان پرداخت شد
پوشش ضد رادار چین هواپیماها و تجیهزات نظامی را نامرئی می‌کند
مراکز علمی کاربردی ملزم به ارائه قیمت تمام شده آموزش شدند
مهلت شرکت در تکمیل ظرفیت آزمون دستیاری دندانپزشکی تا ۱۰ آذر تمدید شد
پرهیز از تبعیض میان تشکل‌های دانشجویی در آستانه ۱۶ آذر
مهلت اجرای تکمیل ظرفیت آزمون دستیاری دندانپزشکی تا ۱۰ آذر تمدید شد
دوره آموزشی «کاربردهای هوش مصنوعی در علوم پزشکی» ویژه دانشجویان آغاز به کار کرد
حضور بیش از ۲۰ هزار نفر از ۷۰ کشور جهان در مسابقات «برنامه‌سازی رایان»
دلایل پایین بودن نرخ اتصال فیبرنوری در ایران
افتخارآفرینی تیم دانشگاه تهران در المپیاد جهانی معماری منظر
برگزیدگان همایش کتاب سال بانوان معرفی شدند
هوش مصنوعی آهنگساز می شود
دوره آموزشی «کاربردهای هوش مصنوعی درعلوم پزشکی» ویژه دانشجویان آغاز به کار کرد
دولت چهاردهم اهتمامی به اجرای قانون جوانی جمعیت ندارد
استفاده از هوش مصنوعی در دندان پزشکی
حضور سرزده پزشکیان در وزارت بهداشت
اندونزی پیشنهاد سرمایه گذاری اپل در این کشور را رد کرد
امکان تغییر محل آزمون دانشجویان پیام‌نور فراهم شد
برنامه وزارت علوم برای حل مسکن دانشگاهیان و خوابگاه متاهلی
پرهیز از تمایز میان تشکل‌های دانشجویی در آستانه ۱۶ آذر
تقلید از سیستم بینایی انسان برای ارتقای عملکرد حسگرها
امضای نخستین قرارداد الکترونیکی صندوق نوآوری با یک شرکت دانش‌بنیان
آخرین تغییرات در شورای عالی حوزه‌های علمیه
زنجیره تولید و تامین دارو گرفتار کمبود نقدینگی است
