علمی فناوری 15:13 - 11 آذر 1400
به گفته‌ دانشمند علوم رایانه، هوش مصنوعی توانایی جدیدی کسب کرده است که تا پیش از این دیده نشده بود؛ به نحوی که اکنون می‌تواند به ایجاد و اثبات قضیه‌های ریاضی جدید کمک کند.

پیشرفت چشمگیر هوش مصنوعی در ریاضیات

به گزارش ایسنا و به نقل از ایندیپندنت، محققان توانستند از هوش مصنوعی برای کمک به اثبات و ایجاد قضیه‌های جدید و پیچیده ریاضی استفاده کنند. این کار با همکاری دانشگاه آکسفورد، دانشگاه سیدنی استرالیا و شرکت هوش مصنوعی دیپ‌مایند (DeepMind) انجام گرفت.

دانشمندان از این موفقیت به عنوان گامی بزرگ در جهت افزایش توانایی این سیستم‌ها یاد کردند.

"جوردی ویلیامسون" (Geordie Williamson)، استاد دانشگاه سیدنی و مدیر موسسه تحقیقات ریاضی و از نویسندگان مقاله مربوط به این دستاورد بزرگ می‌گوید: مسائل در ریاضیات به عنوان بخشی از چالش‌برانگیزترین مسائل فکری در نظر گرفته می‌شوند.

اگرچه ریاضی‌دانان از یادگیری ماشینی برای کمک به تجزیه و تحلیل مجموعه داده‌های پیچیده استفاده می‌کنند اما این اولین باری است که ما از رایانه‌ها برای فرمول‌بندی "حدس‌ها" یا ایجاد رویکردهایی برای نظریات اثبات نشده در ریاضیات استفاده می‌کنیم.

"حدس‌ها" در ریاضیات اطلاعات ناکاملی هستند که برای آن‌ها هیچ اثباتی یافت نشده است.

ریاضی‌دانان دانشگاه آکسفورد با استفاده از الگوهای شناسایی شده توسط یادگیری ماشینی ارتباطی شگفت‌انگیز میان متغیرهای جبری و هندسی گره‌ها کشف کردند و قضیه ریاضی کاملا جدیدی در این زمینه ایجاد کردند.

مطالعه گره‌های ریاضی در توپولوژی را "نظریه گره" می‌نامند.

نتایج کار محققان در مجله‌ نیچر (Nature) منتشر شده است. شرکت دیپ‌مایند با برترین ریاضی‌دانان کار کرد تا چارچوبی ایجاد کند که به محققان و هوش مصنوعی امکان همکاری می‌دهد.

به طور معمول بسیاری از فعالیت‌های ریاضی مبتنی بر مشاهده مثال‌ها و یافتن الگو و ارتباط میان آن‌ها است. چنین کاری مستلزم خلاقیت و محاسبات است و در حالی که رایانه‌ها برای دهه‌ها به انجام مورد دوم یعنی محاسبات کمک می‌کردند در مورد اول همیشه ریاضی‌دانان نقش داشتند.

در این تحقیقات جدید دانشمندان نشان دادند که می‌توان از هوش مصنوعی برای بخش خلاقانه کار که محدود به انسان‌ها بود نیز استفاده کرد.

محققان برای بررسی  درست کار کردن این سیستم آن را در دو حوزه متفاوت ریاضیات مورد استفاده قرار دادند و روابط ناشناخته جدیدی در نظریه گره‌ها و نظریه نمایش ترکیبی (combinatorial representation) یافتند. این نشان دهنده آن است که استفاده از هوش مصنوعی نه تنها از نظر تئوری امکان پذیر است بلکه می‌تواند تحقیقات ریاضی جدیدی به انجام برساند.

به گفته‌ی دیپ‌مایند این اولین باری است که اکتشافات ریاضی قابل‌توجهی با استفاده از یادگیری ماشینی انجام شده است.

پروفسور "ویلیامسون" می‌گوید: هوش مصنوعی می‌تواند به ما در یافتن ارتباطاتی که کشف آن‌ها برای ذهن انسان آسان نیست، کمک کند.

انتهای پیام


11347287
 
پربازدید ها
پر بحث ترین ها

مهمترین اخبار علمی فناوری

علمی فناوری
«باشگاه خبرنگاران» در جهانی که هر روز با بحران‌های مختلف رو‌به‌رو هستیم، استرس به یک جدایی‌ناپذیر از زندگی ما تبدیل شده است.
علمی فناوری
«باشگاه خبرنگاران» سرپرست صندوق رفاه دانشجویان گفت: تعیین نرخ ژتون غذا و اجاره‌بهای خوابگاه دانشجویی سال تحصیلی ۱۴۰۵-۱۴۰۴ در دستور کار این صندوق قرار دارد.
علمی فناوری
«باشگاه خبرنگاران» جزئیات برنامه زمان‌بندی انتخاب واحد تکمیلی دوره تابستان دانشگاه آزاد اسلامی اعلام شد.
علمی فناوری
«باشگاه خبرنگاران» خواب آلودگی در طول روز معضلی است که بسیاری از افراد را به خصوص در محل کار درگیر می‌کند.
علمی فناوری
«باشگاه خبرنگاران» گوگل در حال آزمایش روشی هوشمندانه‌تر برای مدیریت دانلود برنامه‌ها است.
علمی فناوری
«باشگاه خبرنگاران» به جای دور انداختن شارژر‌های شکسته تلفن همراهتان، راه‌هایی برای استفاده مجدد از آنها وجود دارد.
علمی فناوری
«باشگاه خبرنگاران» چگونه می‌توان کودکان را از ابتلا به ذات الریه محافظت کرد؟
علمی فناوری
«باشگاه خبرنگاران» کارشناسان پیش‌بینی می‌کنند که در ماه ژوئیه (تیرماه) تعدادی طوفان ژئومغناطیسی رخ خواهد داد.
علمی فناوری
«باشگاه خبرنگاران» وزیر آموزش و پرورش با بیان اینکه در هر شرایطی آموزش را ادامه خواهیم داد، گفت: برنامه ریزی‌ها را انجام دادیم که از مدرسه تلویزیونی ایران به عنوان بخش تکمیلی و تقویتی حوزه آموزش استفاده کنیم.
علمی فناوری
«باشگاه خبرنگاران» رئیس سازمان امور دانشجویان، بر ایجاد فضای امن و مساعد برای تحصیل دانشجویان و ارتباط مستمر با آنها برای رفع چالش‌های روحی و روانی تاکید کرد.

مشاهده مهمترین خبرها در صدر رسانه‌ها

صفحه اصلی | درباره‌ما | تماس‌با‌ما | تبلیغات | حفظ حریم شخصی

تمامی اخبار بطور خودکار از منابع مختلف جمع‌آوری می‌شود و این سایت مسئولیتی در قبال محتوای اخبار ندارد

کلیه خدمات ارائه شده در این سایت دارای مجوز های لازم از مراجع مربوطه و تابع قوانین جمهوری اسلامی ایران می باشد.

کلیه حقوق محفوظ است