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

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

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

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

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

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

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

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

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

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

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

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

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

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

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


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

مهلت دانشجویان الزهرا(س) برای ثبت‌نام وام تحصیلی و ودیعه مسکن متأهلی

اعلام نتیجه اولیه آزمون سردفتری اسناد رسمی نوبت سال ۱۴۰۴

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

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

۱۵ درصد مدارس کشور در برنامه بازرسی‌های دوره‌ای قرار می‌گیرند

ارائه ۸۵ طرح دانش‌آموزی در بیست‌وهشتمین جشنواره جوان خوارزمی

تصویر منتشر شده از جاسک

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

رژیم چنج در آمریکا رخ داد+عکس

امروز آخرین مهلت اعتراض به آزمون‌های ارشد و دکتری علوم پزشکی

نسخه پیشنهادی سند حکمرانی نظام‌های ارزیابی آموزش عالی بررسی شد

طرح نوین تغذیه با محوریت دانشجویان اجرا می‌شود

پژوهش مسئله‌محور؛ کلید استفاده واقعی از ظرفیت علمی دانشگاه‌ها

استارلینک پایان حکمرانی ارتباطات در ایران است؟

هکرها با دمای بانک خون فرانسه بازی کردند و آن را بالا بردند

تصویب کلیات آیین‌نامه جدید ارتقای اعضای هیئت علمی

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

فاز دوم آمایش آموزش عالی به‌روز شد

داریوش فرهنگ گوینده یک مستند شد

ابلاغ مصوبه جدید شرکت مجدد در آزمون دستیاری پزشکی توسط رئیس جمهور

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

اجرای کنسرت‌نمایش «فرهاد» در تماشاخانه نوفل لوشاتو

اجرای نمایش «خاک نشینان» در فرهنگسرای نیاوران

شکست ترامپ سوژه کارلوس لطوف شد

اهمیت آموزش اخلاق و رفتار حرفه‌ای در محیط دانشگاه به پزشکان جوان

تأکید بر حمایت از ظرفیت‌های بومی امنیت سایبری

لزوم متناسب‌سازی مستمر آموزش علوم پزشکی با نیازهای نظام سلامت

تصویر/فراز مهم پیام رهبر انقلاب

۲ پهپاد لوکاس غنیمت گرفته شدهٔ دشمن آمریکایی توسط سپاه+عکس

آزمون وکالت کانون‌ وکلای دادگستری ۱۴۰۵ با حضور ۱۰۱ هزار نفر برگزار شد

دانش‌آموزان ایران پای آرمان‌های انقلاب و دفاع از وطن ایستاده‌اند

اخذ مجوز استخدام ۹ معلم بازمانده حادثه دبستان شجره طیبه میناب

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

ایلان ماسک اسپیس ایکس و تسلا را ادغام می‌کند؟

ترامپ اورکل را وادار به عقب نشینی از قرارداد با تراشه ساز چینی کرد

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

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

وام تحصیلی این دانشجویان ۵۰ درصد افزایش می‌یابد

تغییر و به‌روزرسانی ۵۰ تا ۷۰ درصدی رشته‌های کشاورزی

گوگل به مدارس هشدار داد

دختران ایرانی در جستجوی «خود»؛ هویت در میدان کشمکش سنت و مدرنیته

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

قرآن از راز ماندگاری قدرت فرعون می‌گوید

آغاز کار نگارش جلد دوم مجموعه چهار جلدی «کربن‌شناسی»

آیا بانک‌ها برای خلق پول به مجوز فقهی نیاز دارند؟

مسجد باید میدان‌دار اصلی فعالیت‌های قرآنی جامعه شود

وام تحصیلی دانشجویان برتر، ممتاز و متأهل ۵۰ درصد افزایش می‌یابد

ثبت‌نام وام‌های تحصیلی و ودیعه مسکن متأهلی دانشجویان شروع شد

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

وزیر علوم: پیوند دانش و فناوری، قدرت ملی را افزایش می‌دهد

مسئولیت شرعی والدین در قبال نیازهای فرزندان امروز چیست؟

موج جدید هک سوپرمارکت‌های اروپا

سرلشکر رضایی: ملت ایران شکست بزرگی را به ترامپ تحمیل کرد

واکنش کاخ سفید پس از شکست جمهوری‌خواهان در انتخابات میان‌دوره‌ای+عکس

شکار پهپادهای آمریکایی سوژه توییت سخنگوی سپاه+عکس

پاسخ صمیمانه فرمانده نیروی دریایی سپاه به نامه دختران جهادگر مازندرانی+عکس

بت ترامپ با شکست در جنگ با ایران ترک برداشت+عکس

زلزلهٔ ۳.۱ ریشتری در عمق ۱۵ کیلومتری زمین، بیرم فارس را لرزاند

انتخابات میان‌دوره‌ای آمریکا و ضربه سیاسی بزرگ به دونالد ترامپ

کنایه سفارت ایران در لندن به ترامپ پس از شکست انتخاباتی +عکس

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

علت فوت حمید علیدوستی چه بود؟

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

کشف یک جرم مرموز در لبه منظومه شمسی توسط اخترشناسان

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

کنجکاوی کودک تا کجا باید درباره تلفن همراه والدین پیش برود؟

کتاب صوتی «پل‌های مدیسون کانتی» منتشر شد

چرا از قهرمانان فقط مدال‌هایشان را می‌بینیم؟

کتاب «هم‌سفیر» منتشر شد

ستاره اسکندری پس از هفت سال به صحنه تئاتر بازمی‌گردد

کمبود جدی فضای آموزشی در مناطق حاشیه‌ای و پرتراکم شهری

دانش‌آموزان قرآنی شایسته قدردانی هستند

چرا سریال «روشنایی شب» با واکنش رسانه صهیونیستی مواجه شد؟

محدودیت دسترسی به اطلاعات اسلحه‌ها برای نوجوانان در چت جی پی تی

ثبت‌نام آزمون انتخاب حسابدار رسمی سال ١۴۰۵ آغاز شد؛ اعلام زمان آزمون

تسهیلات جدید برای قبولی‌های ارشد و دکتری از سوی وزارت علوم

نمرات مردودی دانشجویان ورودی ۱۴۰۲ به بعد در معدل کل محاسبه نمی‌شود

تفکیک مسیر ارتقای اساتید علوم انسانی از رشته‌های مهندسی و کشاورزی

امکان ویرایش معدل و سهمیه در آزمون کارشناسی ارشد علوم پزشکی فراهم شد

کلیداولیه آزمون دکتری تخصصی علوم پزشکی۱۴۰۵ منتشر شد

ثبت‌نام وام‌های تحصیلی و ودیعه مسکن متأهلی دانشجویان شروع شد

آزمون وکالت کانون‌ وکلای دادگستری ۱۴۰۵ با حضور ۱۰۱ هزار نفر برگزار شد

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

وزیر علوم: پیوند دانش و فناوری، قدرت ملی را افزایش می‌دهد

اهمیت آموزش اخلاق و رفتار حرفه‌ای در محیط دانشگاه به پزشکان جوان

وام تحصیلی این دانشجویان ۵۰ درصد افزایش می‌یابد

موج جدید هک سوپرمارکت‌های اروپا

دانش‌آموزان ایران پای آرمان‌های انقلاب و دفاع از وطن ایستاده‌اند

تصویر/فراز مهم پیام رهبر انقلاب

پاسخ صمیمانه فرمانده نیروی دریایی سپاه به نامه دختران جهادگر مازندرانی+عکس

۲ پهپاد لوکاس غنیمت گرفته شدهٔ دشمن آمریکایی توسط سپاه+عکس

مسئولیت شرعی والدین در قبال نیازهای فرزندان امروز چیست؟

وام تحصیلی دانشجویان برتر، ممتاز و متأهل ۵۰ درصد افزایش می‌یابد

لزوم متناسب‌سازی مستمر آموزش علوم پزشکی با نیازهای نظام سلامت

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

زلزلهٔ ۳.۱ ریشتری در عمق ۱۵ کیلومتری زمین، بیرم فارس را لرزاند

قرآن از راز ماندگاری قدرت فرعون می‌گوید

بت ترامپ با شکست در جنگ با ایران ترک برداشت+عکس

دختران ایرانی در جستجوی «خود»؛ هویت در میدان کشمکش سنت و مدرنیته

شکار پهپادهای آمریکایی سوژه توییت سخنگوی سپاه+عکس

کنایه سفارت ایران در لندن به ترامپ پس از شکست انتخاباتی +عکس

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

آغاز کار نگارش جلد دوم مجموعه چهار جلدی «کربن‌شناسی»

اخذ مجوز استخدام ۹ معلم بازمانده حادثه دبستان شجره طیبه میناب

تغییر و به‌روزرسانی ۵۰ تا ۷۰ درصدی رشته‌های کشاورزی

سرلشکر رضایی: ملت ایران شکست بزرگی را به ترامپ تحمیل کرد

ترامپ اورکل را وادار به عقب نشینی از قرارداد با تراشه ساز چینی کرد

آیا بانک‌ها برای خلق پول به مجوز فقهی نیاز دارند؟

واکنش کاخ سفید پس از شکست جمهوری‌خواهان در انتخابات میان‌دوره‌ای+عکس

گوگل به مدارس هشدار داد