به گزارش ثریا - محققان توانستند از هوش مصنوعی برای کمک به اثبات و ایجاد قضیه‌های جدید و پیچیده ریاضی استفاده کنند. این کار با همکاری دانشگاه آکسفورد، دانشگاه سیدنی استرالیا و شرکت هوش مصنوعی دیپ‌مایند (DeepMind) انجام گرفت.
دانشمندان از این موفقیت به عنوان گامی بزرگ در جهت افزایش توانایی این سیستم‌ها یاد کردند.
"جوردی ویلیامسون" (Geordie Williamson)، استاد دانشگاه سیدنی و مدیر موسسه تحقیقات ریاضی و از نویسندگان مقاله مربوط به این دستاورد بزرگ می‌گوید: مسائل در ریاضیات به عنوان بخشی از چالش‌برانگیزترین مسائل فکری در نظر گرفته می‌شوند.
اگرچه ریاضی‌دانان از یادگیری ماشینی برای کمک به تجزیه و تحلیل مجموعه داده‌های پیچیده استفاده می‌کنند اما این اولین باری است که ما از رایانه‌ها برای فرمول‌بندی "حدس‌ها" یا ایجاد رویکردهایی برای نظریات اثبات نشده در ریاضیات استفاده می‌کنیم.
"حدس‌ها" در ریاضیات اطلاعات ناکاملی هستند که برای آن‌ها هیچ اثباتی یافت نشده است.
ریاضی‌دانان دانشگاه آکسفورد با استفاده از الگوهای شناسایی شده توسط یادگیری ماشینی ارتباطی شگفت‌انگیز میان متغیرهای جبری و هندسی گره‌ها کشف کردند و قضیه ریاضی کاملا جدیدی در این زمینه ایجاد کردند.
مطالعه گره‌های ریاضی در توپولوژی را "نظریه گره" می‌نامند.
نتایج کار محققان در مجله نیچر (Nature) منتشر شده است. شرکت دیپ‌مایند با برترین ریاضی‌دانان کار کرد تا چارچوبی ایجاد کند که به محققان و هوش مصنوعی امکان همکاری می‌دهد.
به طور معمول بسیاری از فعالیت‌های ریاضی مبتنی بر مشاهده مثال‌ها و یافتن الگو و ارتباط میان آن‌ها است. چنین کاری مستلزم خلاقیت و محاسبات است و در حالی که رایانه‌ها برای دهه‌ها به انجام مورد دوم یعنی محاسبات کمک می‌کردند در مورد اول همیشه ریاضی‌دانان نقش داشتند.
در این تحقیقات جدید دانشمندان نشان دادند که می‌توان از هوش مصنوعی برای بخش خلاقانه کار که محدود به انسان‌ها بود نیز استفاده کرد.
محققان برای بررسی درست کار کردن این سیستم آن را در دو حوزه متفاوت ریاضیات مورد استفاده قرار دادند و روابط ناشناخته جدیدی در نظریه گره‌ها و نظریه نمایش ترکیبی (combinatorial representation) یافتند. این نشان دهنده آن است که استفاده از هوش مصنوعی نه تنها از نظر تئوری امکان پذیر است بلکه می‌تواند تحقیقات ریاضی جدیدی به انجام برساند.
به گفته‌ی دیپ‌مایند این اولین باری است که اکتشافات ریاضی قابل‌توجهی با استفاده از یادگیری ماشینی انجام شده است.
پروفسور "ویلیامسون" می‌گوید: هوش مصنوعی می‌تواند به ما در یافتن ارتباطاتی که کشف آن‌ها برای ذهن انسان آسان نیست، کمک کند.
منبع : ایندیپندنت
ایجاد ظرفیت فرا مرزی در تور تجاری گرجستان صنعت ساختمان
تدوین آئین‌نامه تاسیس و اداره موزه‌های دانشگاه‌ها و مراکز آموزشی و پژوهشی کشور
یمن جایگزین مهمان ویژه نمایشگاه کتاب شد
کتاب تفسیر سوره تغابن منتشر شد
وعده صادق خروجی دانشگاه‌ها بود
جشنواره گل و گلابگیری میمند - استان فارس
دلایل مدرسه‌هراسی»و راه‌های ترغیب دانش‌آموز به مدرسه
نیاز به فضاهایی برای شادی دختران و سپری کردن اوقات فراغت آنان داریم
اپراتور اختصاصی هوش مصنوعی راه‌اندازی می شود
جهاد تبیین دستاوردهای نظام بزرگترین رسالت ما در آموزش و پرورش است
کادر؛ فراتر از قلمرو عکاسی
ملاک‌های افزایش شهریه مدارس غیردولتی
محکومیت شدید برخوردهای خشونت آمیز علیه اساتید و دانشجویان غربی
تجمع دانشگاه‌های ایران در حمایت از خیزش دانشگاهیان آمریکایی
واکنش رییس دانشگاه تهران به سرکوب اعتراضات دانشجویان آمریکایی
قرنطینه‌شدن کتاب‌های مشکوک به آرسنیک در کتابخانه ملی فرانسه
عرضه صفات الهی در کتابفروشی‌ها
عرضه سه نمایشنامه جدید سوره مهر در نمایشگاه کتاب
پیام نوری‌ها می‌توانند از امروز محل آزمون پایان ترم خود را تغییر دهند
دانشگاه امیرکبیر حرکت شجاعانه دانشگاهیان آمریکا و اروپا در حمایت از مردم غزه را ستود
مهارت آموزی معلمان در دستور کار آموزش و پرورش باشد
وجدان بیدار دانشگاهیان جهان در مقابل نسل کشی غزه خروشید
قدردانی وزیر علوم از دست‌اندرکاران حفظ سلامت کنکور
دهه سرآمدی آموزش در دانشگاه‌ها از امروز آغاز شد
دانشجویان و اساتیدِ ایرانی، حمایت از مردم فلسطین را رسالت اصلی خود بدانند
امروز، آخرین مهلت انتخاب رشته دکتری
ارائه خدمات مشاوره‌ای – آموزشی، آنلاین و حضوری مرکز روانشناختی جهت برای عموم
کدام دانشگاه‌های آمریکا صحنه اعتراضات دانشجویی حمایت از غزه است؟
۴ هزار و ۱۹۳ نفر از دانشجویان متاهل وام تحصیلی دریافت کردند
تجمع دانشگاهیان دانشگاه تهران درحمایت از خیزش دانشجویان در آمریکا
شورای عالی انقلاب فرهنگی در نظارت و پیگیری مصوباتش جدی است
محدودیت اعطای پایه‌های تشویقی اعضای هیات علمی لغو شد
ساحل شگفت انگیز دَستیر
کلید اولیه نوبت اول کنکور سراسری سال ۱۴۰۳ سه‌شنبه منتشر می‌شود
اجرای طرح سمپاد مهارتی در 11 استان کشور
دبیر شورای عالی انقلاب فرهنگی: با قاطعیت می‌گوییم که تخلف در آزمون امسال صفر بوده است
افتتاح همزمان ۷ نیروگاه خورشیدی مدارس در ۶ استان
رفتار غیرانسانی آمریکا نسبت به دانشجویان معترض شرم‌آور است/ دانشگاهیان جهان باید خون گریه کنند
جمعه ۷ اردیبهشت نمایش «یاخته» باحضور خبرنگاران و عکاسان روی صحنه می‌رود
چالش کمبود معلم در استان مرکزی کاهش می‌یابد
بازدید رئیس ستاد برگزاری آزمون‌های سراسری اردبیل از حوزه‌های امتحانی کنکور
لوگوی نود سالگی دانشگاه تهران منتشر شد
رمان جدید اکبر والایی چاپ شد/بر فراز کشتزاردر بازار نشر
زندگی عشایر فارس
تحویل واحدهای مسکونی دانشگاه صنعتی امیرکبیر تا پایان شهریور
جذب امریه سربازی در پژوهشگاه ابن سینا جهاددانشگاهی
امتیاز ویژه دانشجو معلمانی که زودتر از فارغ‌التحصیلی سرکلاس درس می‌روند
آخرین آمار توزیع کارت کنکور اعلام شد
برخی ابزارهای جاسوسی کنکور را در بدن کار گذاشتند/ داوطلبان کانال‌های تقلب را ترک کنند
کنکوری‌ها اضطراب نداشته باشند/ فرصت جبران وجود دارد
فهرست دانشگاه‌های خارج از کشور مورد تایید وزارت بهداشت اعلام شد
نتایج اولیه کنکور ۱۴۰۳ نیمه مرداد اعلام می شود
اختصاص 10 امتیاز رتبه‌بندی به 5709 دانشجومعلم دانشگاه فرهنگیان
کتاب «اُمّ علاء» در نمایشگاه کتاب عرضه می‌شود
تمهیدات لازم برای کنکور ۱۴۰۳ اندیشیده شد
رقابت کنکور ۱۴۰۳ با آزمون علوم ریاضی و علوم انسانی آغاز شد
جزییات آزمون اختصاصی پذیرش دانشجو – معلم در کنکور ۱۴۰۳
اینترنت در زمان برگزاری نوبت اول کنکور ۱۴۰۳ قطع نمی‌شود
مراسم تقدیر از دست اندرکاران جشنواره جایزه ملی ثریا برگزار شد
60 درصد پروژهای مدرسه‌سازی در حال ساخت با مشارکت مردم است
منتخبین فرهنگی مجلس حضور در کمیسیون آموزش را در اولویت قرار دهند
مراقبت کنید تا اخلال و مشکلی در برگزاری کنکور سراسری رخ ندهد
ایجاد زیرساخت هوشمند رصد رشته مقاطع و رشته محل‌های علوم پزشکی
پیگیر اجرای هدفمندسازی یارانه‌های دانشجویی در سال جدید هستیم
بیش از ۸ هزار عضو هیات علمی خانم در دانشگاه‌ها فعالیت می‌کنند
ساعت ۱۲ امشب آخرین فرصت دریافت کارت ورود به جلسه کنکور ۱۴۰۳
نسل‌کُشی در فلسطین قلب همه بشریت را به درد آورده است
خبر خوش وزیر علوم برای اعضای هیأت علمی در شرف بازنشستگی
مراد صحرایی : ۱۰۰۰ هنرستان جدید در کشور ساخته می شود
از موج متلاطم بی‌ثباتی مدیریتی تا بودجه دولتی؛ دلایل عدم اجرای ناکافی سندتحول بنیادین
پژوهش‌های چراغ خاموش امنیت ایران را رقم زد
تظاهرات دانشجویان آرژانتین در پی کاهش ارائه آموزش عالی دولتی
کتابی که برای آشنایی با افغانستانی‌ها باید خوانده شود
رییس سازمان بسیج اساتید: ۵۰ بسته سیاستی به مسئولان ارائه شد
پویش سلامت دهان و دندان ۱۷ تا ۱۹ اردیبهشت برگزار می‌شود
آیین‌نامه مدرسه تراز سند تحول بنیادین نهایی شده است
امضای تفاهم‌نامه فی‌مابین وزارت آموزش‌وپرورش و سازمان نظام پزشکی کشور
آخرین محور رویداد من یک دانش‌آموزم با نام «امام مهربانی کلید خورد
ثبت سفارش کتاب‌های درسی آغاز شد
فراخوان ششمین دوسالانه بین‌المللی کارتون کتاب منتشر شد
پیش‌فروش شنل نامرئی کننده آغاز شد+عکس
یک صفحه جدید به واتساپ اضافه می‌شود+عکس
بن سلمان از ساخت پروژه بلندپروازانه‌اش منصرف شد
دانشمندان قلب ماه را دیدند+عکس
نمونه ایرانی پدافند ضدهوایی که مشابه روسی است+عکس
ناسا برای بازگشت از سیاره سرخ دست به دامن ایلان ماسک شد
ورود قدرتمندترین گوشی نوبیا به بازار
انقلابی بزرگ در صنعت ترانزیت و موتورهای دیزلی اتفاق افتاد
رونمایی از سریع‌ترین مرسدس بنز AMG+عکس
باتری این ریزسیاه‌چاله فضایی می‌تواند انرژی چند نسل یک خانواده را تامین کند
برای اولین بار اشعه ایکس برآمده از اتم‌ها کشف شد
علت فیلتر دسکورد اعلام شد
هزینه نگهداری از خودروهای لوکس آمریکایی چقدر است؟
چین جنگنده‌های رادارگریز F۲۲ آمریکا را فلج کرد+عکس
پدافند ضدهوایی ایران که شبیه اس ۳۰۰ روسیه است+عکس
جاسوس همه‌فن حریف اوکراینی‌ها که در جنگ با روسیه به کمک‌شان می‌آید
سریع ترین موشک‌های مافوق صوت در سال ۲۰۲۴ معرفی شدند+عکس
نتایج اولیه آزمون استخدامی آموزش و پرورش اعلام شد
دوربین بامزه‌ای که بدون عکس گرفتن شما را شگفت زده می‌کند+عکس
انتصاب در آموزش و پرورش
برگزاری زنگ آموزش همزمان با گرامیداشت هفته زمین پاک در مدارس شهر تهران
پیش‌ثبت‌نام مدارس غیردولتی براساس شهریه سال گذشته است
پیشتازی ۲۶ درصدی داوطلبان زن در نوبت اول کنکور
آثار جشنواره مد و لباس نقش تن‌پوش در حال داوری است
پویش سلامت دهان و دندان ۱۷ تا ۱۹ اردیبهشت برگزار می‌شود
شاسی‌بلند جدید چینی که با مدل تسلا مو نمی‌زند+عکس
آغاز پذیرش دانشجوی دکتری بدون آزمون در دانشگاه آزاد
آخرین محور رویداد من یک دانش‌آموزم با نام «امام مهربانی کلید خورد
آیین‌نامه مدرسه تراز سند تحول بنیادین نهایی شده است
برگزاری 90 رویداد در دانشگاه تهران به مناسبت جشن 90 سالگی
نظراتی که حاوی توهین یا افترا به اشخاص ،قومیت ها ،عقاید دیگران باشد و یا با قوانین کشور وآموزه های دینی مغایرت داشته باشد منتشر نخواهد شد - لطفاً نظرات خود را با حروف فارسی تایپ کنید.