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

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

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

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

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

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

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

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

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

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

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

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

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

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

منبع : ایندیپندنت


مرتبط ها
ارسال نظر
chapta
حداکثر تعداد کاراکتر نظر 200 ميياشد .
نظراتی که حاوی توهین یا افترا به اشخاص ،قومیت ها ،عقاید دیگران باشد و یا با قوانین کشور وآموزه های دینی مغایرت داشته باشد منتشر نخواهد شد - لطفاً نظرات خود را با حروف فارسی تایپ کنید.

شبکه شعب خودرو۴۵ به ۷۸ شعبه رسید

هلیا امامی: دوست داشتم از کلیشه دختر مثبت فاصله بگیرم

لباس مدرسه فقط فرم نیست، کودک باید آن را دوست داشته باشد

به مناسبت روز سینما: روزی که دوربین شهید آوینی روایتگر جنگ شد

کتاب عروس بی نشان ها: قرار بود یک عمر کنار هم باشند، اما جنگ مهلتشان نداد

حق کودک بر حریم خصوصی؛ چالشی برای فرهنگ دیجیتال ایران

نشر در لهستان؛ انتشار بیش از ۳۱هزار عنوان کتاب در سال ۲۰۲۵

نشان درجه یک هنری به این کارگردان اهدا شد: علیرضا داوودنژاد بدترین فیلمش هم «سینما» است

افزایش پذیرش دانشجو معلم تا سه برابر ظرفیت

۹۵ درصد مدارس کشور آماده بازگشایی هستند

ارزیابی سالانه یک میلیون و ۲۰۰ هزار نوآموز در برنامه سنجش

مهلت ثبت نام پذیرش بدون آزمون کاردانی به کارشناسی ۱۴۰۵ تمدید شد

تمدید مهلت ثبت نام پذیرش بدون آزمون کاردانی ویژه مهارتی سال ۱۴۰۵

پایان نخستین دوره پسادکتری علوم ورزشی امیرکبیر با محوریت هوش مصنوعی

بزرگ‌ترین رقابت دانش‌آموزی در حوزه کوانتوم و لیزر برگزار شد

شرکت انگلیسی داده‌های مشتریانش را به هکرها داد

مهلت انتخاب رشته آزمون دستیاری پزشکی مجدد تمدید شد

حمله ایران معماری هوش مصنوعی امارات را تغییر داد؛ فرار داده‌ها به کوه

چالش‌های مصوبه اخیر «ستاد ویژه ساماندهی فضای مجازی» از منظر حقوقی

مدیران ارشد هوش مصنوعی خواستار کندتر شدن پیشرفت آن شدند

قالیباف قانون ملی توسعه هوش مصنوعی را ابلاغ کرد

سهمیه ویژه کنکور برای آسیب‌دیدگان جنگ نیازمند بازنگری است

پارادوکس رفاه و رضایت؛ چرا مدرنیته ما را شادتر نکرد؟

پیوند عرفان کلاسیک با زیست انسان معاصر در شرح فتوحات مکیه باب ۵۶۰

عالمی که علم و مبارزه را به سنگر امامت جمعه پیوند زد

نظریات و رویکردهای اسلامی در خصوص مددکاری اجتماعی

نسل امروز بی اراده‌تر از نسل قبل است؟

از تربت ۱۷ کیلویی تا یک میلیون سند تاریخی، جلوه‌ای از حرم بانوی کرامت

حجت‌الاسلام قمی: مردم نمی‌گذارند قیمت پایان جنگ، فروختن عزت ایران باشد

جزئیات برگزاری بیستمین آزمون سراسری قرآن و عترت

خیابان و زندگی؛ واکاوی نقش زنان در پایداری اجتماعات شبانه

«دهکده سلامت» یادگار یک خیر بزرگ برای بیماران صعب العلاج

چرا عرفان‌های نوپدید برای جوان امروز جذاب‌اند؟

نگاهی به سریال «دیوار دفاعی»؛ ملی شدن صنعت نفت با چاشنی فوتبال

شعری از نظامی گنجوی موضوع یک انیمیشن کوتاه شد

دیوارنگاره میدان ولیعصر (عج) موقتا تغییر نمی‌کند؛ آغاز ایمن‌سازی

«اسکورت» بر صدر فروش روزانه نشست؛ استقبال از آزادی زنان زندانی

حسین علیزاده مهمان «هم‌کلام» می‌شود

بازی «بوم‌بوم» با حضور خانواده شهید طهرانی‌مقدم رونمایی شد

«ململ» مهمان نمایشگاه ایران نوشت شد

محرابی که منافقین را به وحشت انداخت؛ چرا مدنی باید ترور می‌شد؟

اپل به جمع تولید کنندگان موبایل تاشو پیوست

رئیس دانشگاه تهران: برای مقابله با تحریم‌های علمی برنامه‌ریزی می‌کنیم

روحانیِ پیونددهنده دین و آزادی

توصیه پذیرفته شدگان تیزهوشان، کدام آموزشگاه است؟!

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

اعلام وجه التزام اسناد وثیقه پذیرفته‌شدگان تخصصی و فوق‌تخصصی پزشکی

علت توقف طرح جدید تغذیه دانشجویی چه بود؟

مهلت مجدد ثبت‌نام در آزمون ارشد علوم پزشکی ۱۴۰۵

ابلاغ دستورالعمل حجاب به زودی در دانشگاه‌ها

تصمیم جدید وزارت علوم درباره ساماندهی داده‌های دانشگاهی

آمار جالب از ازدواج‌های دانشجویی: موفقیت ۹۴ درصد ازدواج‌های دانشجویی طی ۱۲ سال گذشته

آزمون‌های کاردانی مهارتی، کارشناسی ناپیوسته و سردفتری۲۰ شهریور برگزار می‌شود

روبات‌ها در لهستان راهپیمایی کردند

ورود تاکسی‌های خودران به ناوگان اوبر در لندن

آموزش ۶۵ هزار آموزگار ابتدایی برای استفاده از ظرفیت بازی و ورزش

وزیر آموزش و پرورش: دریافت هرگونه وجه هنگام ثبت‌نام در مدارس دولتی ممنوع است

برنامه‌های «زیست عفیفانه» از مهر در مدارس اجرا می‌شود

انتظار معاونت علمی از CVCها برای سرمایه‌گذاری در ۷هزار شرکت نوپا

کارنامه نهایی و دفترچه انتخاب رشته آزمون دستیاری منتشر شد

آلمان موشک و ۵ ماهواره به مدار زمین فرستاد

ظرفیت ۶ هزارنفری دستیاری پزشکی ۱۴۰۵؛ تعیین ظرفیت تعهد مناطق محروم

تحریم علم، رفتار علمی نیست؛ باید به دنبال مسیرهای جایگزین برای انتشار آثار محققان بود

بازنمایی قدرت نرم ایران در شرایط پساجنگ و جایزه جهانی دیپلماسی

آیا اصرار بر تفاوت‌های فقهی، آب به آسیاب دشمنان وحدت اسلامی می‌ریزد؟

انتظار، منطق دینی آمادگی تاریخی برای آینده موعود

«تحول تاریخی مفهوم فلسفه» با تقدیر از پرویز ضیاء‌شهابی رونمایی می‌شود

نگاهی به حکمرانی فضای مجازی در ایران از منظر تحلیل نهادی تنظیم‌گری

نظر قرآن درباره مسئولیت اجتماعی برای میانجیگری بین اختلاف زوجین

در همایش ادیان سن پترزبورگ چه گذشت؟ تاکید ایران بر مقاومت

حل موضوع حجاب با «مسئله‌مندی مشترک»؛ مردم را درگیر مسئله وحدت کنیم

خود بنده فرهنگ درخشان تو آمد؛ آن قوم که از روی طمع، بنده تو را خواست

فروش «رویای نیمه‌شب» ۱۰۰ درصد افزایش یافت

نرگس آبیار: سینما را خودآموز یاد گرفتم

بزرگداشت جین فوندا در ونیز؛ از ترامپ بیزارم!

رونمایی از تندیس اکبر عبدی؛ هنرمندی که به خاطره‌ای ملی تبدیل شد

تصاویری از موشک بالستیک جهاد که در جریان یکی از موج‌های عملیات نصر-۲ شلیک شده بود

نگاهی به انیمیشن «سفینه نجات»؛ وقتی تعزیه با ابرقهرمانی فضایی گره می‌خورد

آغاز ثبت نام بیستمین آزمون سراسری قرآن و عترت

افشای هک وب سایت آلمانی توسط هوش مصنوعی اوپن ای آی

رئیس دانشگاه تهران: برای مقابله با تحریم‌های علمی برنامه‌ریزی می‌کنیم

روحانیِ پیونددهنده دین و آزادی

توصیه پذیرفته شدگان تیزهوشان، کدام آموزشگاه است؟!

اپل به جمع تولید کنندگان موبایل تاشو پیوست

مهلت انتخاب رشته آزمون دستیاری پزشکی مجدد تمدید شد

سهمیه ویژه کنکور برای آسیب‌دیدگان جنگ نیازمند بازنگری است

تمدید مهلت ثبت نام پذیرش بدون آزمون کاردانی ویژه مهارتی سال ۱۴۰۵

نگاهی به سریال «دیوار دفاعی»؛ ملی شدن صنعت نفت با چاشنی فوتبال

پایان نخستین دوره پسادکتری علوم ورزشی امیرکبیر با محوریت هوش مصنوعی

مدیران ارشد هوش مصنوعی خواستار کندتر شدن پیشرفت آن شدند

حمله ایران معماری هوش مصنوعی امارات را تغییر داد؛ فرار داده‌ها به کوه

از تربت ۱۷ کیلویی تا یک میلیون سند تاریخی، جلوه‌ای از حرم بانوی کرامت

نسل امروز بی اراده‌تر از نسل قبل است؟

قالیباف قانون ملی توسعه هوش مصنوعی را ابلاغ کرد

چالش‌های مصوبه اخیر «ستاد ویژه ساماندهی فضای مجازی» از منظر حقوقی

مهلت ثبت نام پذیرش بدون آزمون کاردانی به کارشناسی ۱۴۰۵ تمدید شد

نظریات و رویکردهای اسلامی در خصوص مددکاری اجتماعی

«اسکورت» بر صدر فروش روزانه نشست؛ استقبال از آزادی زنان زندانی

«دهکده سلامت» یادگار یک خیر بزرگ برای بیماران صعب العلاج

شعری از نظامی گنجوی موضوع یک انیمیشن کوتاه شد

شرکت انگلیسی داده‌های مشتریانش را به هکرها داد

بزرگ‌ترین رقابت دانش‌آموزی در حوزه کوانتوم و لیزر برگزار شد

افزایش پذیرش دانشجو معلم تا سه برابر ظرفیت

پارادوکس رفاه و رضایت؛ چرا مدرنیته ما را شادتر نکرد؟

پیوند عرفان کلاسیک با زیست انسان معاصر در شرح فتوحات مکیه باب ۵۶۰

ارزیابی سالانه یک میلیون و ۲۰۰ هزار نوآموز در برنامه سنجش

جزئیات برگزاری بیستمین آزمون سراسری قرآن و عترت

خیابان و زندگی؛ واکاوی نقش زنان در پایداری اجتماعات شبانه

چرا عرفان‌های نوپدید برای جوان امروز جذاب‌اند؟

۹۵ درصد مدارس کشور آماده بازگشایی هستند