مطالب مرتبط:
5 + 1
یارانه ها
مسکن مهر
قیمت جهانی طلا
قیمت روز طلا و ارز
قیمت جهانی نفت
اخبار نرخ ارز
قیمت طلا
قیمت سکه
آب و هوا
بازار کار
افغانستان
تاجیکستان
استانها
ویدئو های ورزشی
طنز و کاریکاتور
بازار آتی سکه
پنجشنبه، 11 آذر 1400 ساعت 11:452021-12-02دانش

پیشرفت چشمگیر هوش مصنوعی در ریاضیات


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

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

این کار با همکاری دانشگاه آکسفورد، دانشگاه سیدنی استرالیا و شرکت هوش مصنوعی دیپ مایند (DeepMind) انجام گرفت.

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

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

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

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

آخرین اخبار سرویس:
ثبت نام وام دانشجویی نیمسال دوم سال تحصیلی 1401-1400 آغاز شد/ مهلت دانشگاهها تا 15 بهمن

افزایش بازدهی فعالیت دانشگاه ها در آموزش حضوری

تمدید مهلت ثبت نام برای پذیرش دانشجوی پزشکی از مقطع کارشناسی

ضرورت افزایش درآمدهای اختصاصی دانشگاه

کیهان مرموزتر شد/ ماجرای حیرت دانشمندان از کشف یک کهکشان بدون ماده تاریک چیست؟

آیا آخر دنیا نزدیک است؟

حذف استقلالی ها از تیم ملی/ تاریخ سازی دختران ایران در هند

مرد میدان؛ از کرملین تا کرمان/ میدان داری در اقیانوس هند

بازار کنکور پابرجاست/ بازار تأثیر معدل هم ایجاد می شود

ترمیم نمره به صورت رایگان انجام نمی شود/ باز هم کتب کنکوری در بازار به فروش می رسد

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

علائم حیات در مریخ کشف شد

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

اخراج دکتر محمد فاضلی از دانشگاه بهشتی؛ واکنش ها را بخوانید

آزمون های جذب همکاری قوه قضاییه و تبدیل وضعیت شهرداری کرج

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

اعتراض عباس عبدی به اخراج محمد فاضلی از دانشگاه بهشتی

محمد فاضلی از دانشگاه شهید بهشتی اخراج شد

جشنواره «بادبادک باز»

پیگیری خواهرخواندگی یکی از بنادر بزرگ چین با بندرعباس

کتاب کاربرد فناوری نوین در صنایع غذایی منتشر و چاپ شد

محمد فاضلی از دانشگاه شهید بهشتی اخراج شد

محمد فاضلی از دانشگاه شهید بهشتی اخراج شد

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

برگزاری مسابقه نجات تخم مرغ با حضور 74 تیم

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

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

محمد فاضلی از دانشگاه اخراج شد

کتاب کاربردی فناوری نوین در صنایع غذایی منتشر و چاپ شد

آخرین مهلت انتخاب رشته تکمیل ظرفیت مقطع ارشد پیام نور

ثبت نام کارشناسی ارشد تا 6 بهمن تمدید شد

رویدادهای مهارت محور در صنعت چرم از فاصله میان صنعت و دانشگاه می کاهد

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

آزمون داوری و میانجی گری شوراهای حل اختلاف در یاسوج برگزار شد

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

ضرورت تایید حکم مدیرعامل سازمان منطقه آزاد اروند

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

فراهم ساختن زیرساخت های جذب دانشجوی خارجی

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

ساعت آخرالزمان؛ بشر فقط 100 ثانیه تا نیمه شب وقت دارد

برنامه ریزی دانشگاه آزاد خراسان رضوی برای برگزاری 8 رویداد استارتاپی

بارش برف در همدان

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

ساخت ایران / میراگرویسکوز؛ کمک فنر سازه

رصد قابلیت های استان و دانشگاه آزاد بوشهر

آخرین مهلت انتخاب رشته در مرحله تکمیل ظرفیت کنکور ارشد 1400

استاد دانشگاه شیراز سه جایزه ملی دریافت کرد

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

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

آزادسازی حریم مسیل ها و رودخانه ها

غفلت از مخاطرات سوخت و ادامه رویکرد فعلی رسانه ای، بحران زا است/ تعرض به امنیت روانی مردم با تناقض در اظهارنظر مسئولان

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

پژوه یار / شماره ششم «سروش سلامت» منتشر شد

جزییات پذیرش دانشجو در دانشگاه دامغان منتشر شد

آشنایی با فرایند سفارش چاپ کتاب در چاپخانه های کتاب

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

سناریوی های جذب دانشجو در دانشگاه های شهریه پرداز کدام اند؟/ کیفیت آموزشی مؤسسات آموزش عالی غیرانتفاعی در چشم انداز آینده

آخرین مهلت انتخاب رشته در مرحله تکمیل ظرفیت کنکور ارشد 1400

امشب آخرین مهلت انتخاب رشته در مرحله تکمیل ظرفیت کنکور ارشد 1400

رونمایی از 7 دستاورد ایران ساخت در حوزه فناوری مکان محور

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

آموزش مطلقا مجازی را به تدریج از مدار خارج می کنیم/ اولویت آموزش حضوری با دانشجویان آموزش ابتدایی است

(ویدئو) حادثه هولناک سقوط تکه های عظیم برف روی دو دانشجو

تجلیل از رییس دانشگاه آزاد اسلامی استان هرمزگان

امشب آخرین مهلت انتخاب رشته در مرحله تکمیل ظرفیت کنکور ارشد 1400

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

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

تقویم آموزشی دانشگاه اراک برای نیم سال دوم 1401-1400 منتشر شد

مهلت ثبت نام برای پذیرش دانشجوی پزشکی از مقطع کارشناسی تا 10 بهمن ادامه دارد

دانشگاه های برگزیده در ثبت پایان نامه اعلام شدند

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

فراهم ساختن زیرساخت های جذب دانشجوی خارجی

آموزش حضوری دانشجویان کارشناسی 99 از 16 بهمن/ وضعیت برگزاری کلاس های عملی در 3 مقطع

شناخت تنوع زیستی با DNA های سرگردان

آخرین مهلت انتخاب رشته تکمیل ظرفیت مقطع ارشد پیام نور

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

آزمون مجازی امکان ارزیابی کامل دانشجو را فراهم نمی کند

جزییات دانشگاهی که به رییسی دکتری افتخاری داد | از چخوف و تورگنیف تا گورباچف ؛ چهره های مطرحی که از اینجا مدرک گرفته اند

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

با دانشگاه مسکو، جایی که به گورباچف و رییسی مدرک داد آشنا شوید

ساختمان پلاسکوی جدید چه ویژگی هایی دارد؟

امروز، آخرین مهلت انتخاب رشته مرحله تکمیل ظرفیت مقطع ارشد پیام نور

اجرای دوره های تولید قارچ، میناکاری و چرم دوزی در مدارس سما/ وقتی دانش آموزان صاحب شغل و درآمد می شوند

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

تیپ چرم پژمان بازغی +عکس

تیپ چرم پژمان بازغی +عکس

جهان قابل مشاهده 40 کوینتیلیون سیاهچاله دارد

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

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

(ویدئو) اعطای دکترای افتخاری دانشگاه دولتی روسیه به رییسی

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

ببینید | لحظه اعطای دکترای افتخاری قدیمی ترین دانشگاه روسیه به رییسی

تاسیس پارک مشترک علم و فناوری ایران و چین

ببینید | اعطای نشان دکترای افتخاری قدیمی ترین دانشگاه روسیه به ابراهیم رییسی

اعطای نشان دکتری افتخاری به رییسی

سخن گوی امین متن، سیره و سنت

ببینید | اعطای نشان دکترای افتخاری دانشگاه دولتی روسیه به ابراهیم رییسی

ببینید | اعطای نشان دکترای افتخاری دانشگاه دولتی روسیه به ابراهیم رییسی

تاسیس پارک مشترک علم و فناوری ایران و چین

تاسیس پارک علم و فناوری مشترک ایران و چین

پیشرفت چشمگیر هوش مصنوعی در ریاضیات

پیشرفت چشمگیر هوش مصنوعی در ریاضیات