داغترین چیستانهای ریاضی جهان، ساختِ هوش مصنوعی فرمول-یاب اسرائيلی
جستجو

داغترین چیستانهای ریاضی جهان، ساختِ هوش مصنوعی فرمول-یاب اسرائيلی

اسرائیل اکنون ریاضی دان باهوش تازه ای دارد که برای محاسبه گرهای جهان چیستان هایی بر اساس فرضیه بیرون می دهد تا صحت آن را رد یا تأیید کنند. قدرتش حقیقتا فراانسانی است زیرا یک برنامه کامپیوتری چندشاخکی است.

تصویر تزئینی: یک ربات در حال مرور محاسبات ریاضی. (PhonlamaiPhoto via iStock by Getty Images)
تصویر تزئینی: یک ربات در حال مرور محاسبات ریاضی. (PhonlamaiPhoto via iStock by Getty Images)

اثری از «دستگاه رامانوجان» در حیفا در مجله معتبر طبیعت منتشر شد؛ تیم توسعه متوجه شد این دستگاه با مطالعه اعداد ثابت، بویژه عدد پی، به دستاوردهای تازه رسیده است.

اسرائیل اکنون ریاضی دان باهوش تازه ای دارد که برای محاسبه گرهای جهان چیستان هایی بر اساس فرضیه بیرون می دهد تا صحت آن را رد یا تأیید کنند. قدرتش حقیقتا فراانسانی است زیرا یک برنامه کامپیوتری چندشاخکی است.

دستگاه رامانوجان، اختراع پیشرفته هوش مصنوعی، از ده کامپیوتر معمولی انستیتوی فناوری تکنیون-اسرائیل توانایی بیشتر دارد و در جستجوی امکانات ممکن برای در عرصه های تازه پژوهش های ریاضی است. دانشمندان امیدوارند در آینده قادر باشد از توانایی پردازش گوشی شما نیز استفاده کند.

«پروفسور آیدو کامینر»، سازندهٔ این دستگاه، حدود دو سال در حال گردآوری تمام فرضیه هایی بود که دستگاه مطرح می کرد، و روز چهارشنبه ۱۹ تا از چیستان ها که اثبات صحت و سقم آن از همه دشوارتر بود را در مجله معتبر داوری دقیق طبیعت منتشر کرد و از کارشناسان سراسر جهان دعوت کرد کاغذ دفتر بردارند و شانس خود را امتحان کنند.

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


تصویر: تیم پژوهشی سازنده دستگاه هوش مصنوعی فرمول ساز، از چپ به راست، روتم الیملیخ، یوآو هاریس، پروفسور آیدو کامینر، شهار گوتییب. (Rami Shelush/Technion-Israel Institute of Technology)

صحت دهها فرمول دیگر، که برخی دیگر نیز در مجله طبیعت منتشر شدند، پیش از این اثبات شده است. کامینر در گفتگو با تایمز اسرائیل گفت دستگاه وی می تواند در آینده با شریک کردن هوش مصنوعی در تنظیم برنامه، به تغییر چهره پژوهش ریاضی کمک کند.

کامینر، دستیار پروفسور دانشکده مهندسی برق تکنیون و از اعضای انستیتوی چندرشته ای «سولید استات» این دانشکده، گفت «هیجان انگیز است زیرا می تواند در چگونگی عمل ریاضی ما گزینه های تازه وارد کند،». «در آینده ریاضی دانان ما خواهند توانست از کامپیوترها بخواهند هیجان انگیزترین عرصه های جستجو را نشان دهند، و بهترین پرسش ها برای تحقیق را مشخص نمایند.»

او توضیح داد، «این یک برنامه کامپیوتری است که می کوشد نوعی از پژوهشی را انجام دهد که معمولا ریاضی دانان انجام می دهند،»، و افزود در حال کار بر روی دو گام اول دستاوردهای ریاضی است.

او گفت، «هر پیشرفت ریاضی، شامل سه گام است،». «اول از همه، نیاز به درک دانش موجود؛ دوم، استفاده از دانش موجود برای این که ببینیم چه چیزهای دیگری قابل کشف است که می تواند درست درآید،‌ و سپس، در قدم سوم، درستی یا غلطی فرضیه را اثبات می کنیم.».

متن کامل را در لینک زیر مطالعه کنید
https://www.timesofisrael.com/worlds-hottest-new-math-mind-teasers-set-by-israeli-ai-formula-finder/

اطلاعات بیشتر در مورد
نظرات در مورد این مقاله