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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

انتهای پیام


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

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

علمی فناوری
«باشگاه خبرنگاران» سخنگوی وزارت بهداشت، درمان و آموزش پزشکی: علت مرگ پزشک جوان هنوز از سوی پزشکی قانونی تعیین نشده است.
علمی فناوری
«باشگاه خبرنگاران» سخنگوی سازمان اورژانس کشور گفت: از آغاز طرح سلامت نوروزی تاکنون ۴۰ هزار و ۶۵۵ عمل جراحی اورژانسی در کشور انجام شده است.  
علمی فناوری
«باشگاه خبرنگاران» سازمان فناوری اطلاعات اعلام کرد که در سال گذشته بیش از ۴۰ هزار تغییر کاربری غیرمجاز توسط سامانه پنجره واحد زمین، شناسایی شد.
علمی فناوری
«باشگاه خبرنگاران» رئیس اداره پایش زنجیره مصرف دارو، از توزیع ۲۰ میلیون عدد وارفارین وارداتی طی ۴ ماه خبر داد.
علمی فناوری
«باشگاه خبرنگاران» مشاور رئیس و مدیرکل روابط عمومی سازمان سنجش جدیدترین آمار ثبت نام نوبت دوم آزمون سراسری ۱۴۰۳ را اعلام کرد.
علمی فناوری
«باشگاه خبرنگاران» سیاه‌چاله مرکزی کهکشان راه شیری جرمی حدود ۴.۳ میلیون برابر خورشید دارد و یک سیاه‌چاله فعال است.
علمی فناوری
«باشگاه خبرنگاران» نتایج تحقیقات نشان می‌دهد که مصرف روزانه سرکه به افراد دارای اضافه وزن کمک می‌کند تا هشت کیلوگرم وزن کم کنند.
علمی فناوری
«باشگاه خبرنگاران» شیائومی در اولین حضور خود در بازار پرطرفدار خودرو‌های برقی چین، رشد خود را تقویت می‌کند.
علمی فناوری
«باشگاه خبرنگاران» رژیم گرفتن به امری رایج تبدیل شده؛ اما اغلب افرادی که وارد پروسه رژیم می‌شوند، شکست می‌خورند و دلایل متعددی سبب شکست افرادی می‌شود که وارد پروسه رژیم گرفتن شده‌اند.
علمی فناوری
«باشگاه خبرنگاران» معاون درمان وزارت بهداشت گفت: برای بیماران صعب العلاج ۵۷ بسته خدمتی جهت پوشش بیمه ای تدوین شده است.

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

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

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

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

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