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

به گفته دانشمند علوم رایانه، هوش مصنوعی توانایی جدیدی کسب کرده است که تا پیش از این دیده نشده بود؛ به نحوی که اکنون می تواند به ایجاد و اثبات قضیه های ریاضی جدید کمک کند.

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

این کار با همکاری دانشگاه آکسفورد، دانشگاه سیدنی استرالیا و شرکت هوش مصنوعی دیپ مایند (DeepMind) انجام گرفت.

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

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

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

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