اثبات دستکم 1200 قضیه ریاضی با استفاده ازهوش مصنوعی
به گزارش کنفرانس هکا، تهران- خبرنگاران- هوش مصنوعی طراحی شده در حوزه ریاضیات به وسیله تیمی از محققان گوگل، توانست بیش از 1200 قضیه ریاضی را اثبات کند.
به گزارش روز شنبه گروه علمی خبرنگاران از پایگاه اینترنتی نیوساینتیست، اگرچه ریاضیدانان از قبل راه اثبات این قضایای خاص را می دانستند اما عملکرد پیروز این فناوری نشان داد که در نهایت می تواند کار بر روی مسائل پیچیده تر را آغازکند.
علمی**9418**1485
منبع: ایرنا
انتشار: 22 تیر 1398
بروزرسانی: 6 مهر 1399
گردآورنده: hecaconf.ir
شناسه مطلب: 2935
به "اثبات دستکم 1200 قضیه ریاضی با استفاده ازهوش مصنوعی" امتیاز دهید
دیدگاه های مرتبط با "اثبات دستکم 1200 قضیه ریاضی با استفاده ازهوش مصنوعی"
* نظرتان را در مورد این مقاله با ما درمیان بگذارید