چهارشنبه 04 مهر 1403 - 13:57
گوگل مدلهای هوش مصنوعی جدید با قابلیت حل مسائل ریاضی پیچیده معرفی کرد
شهر سخت افزار/ استارتآپ هوش مصنوعی DeepMind دو مدل زبانی هوش مصنوعی جدید به نامهای AlphaProof و AlphaGeometry 2 را معرفی کرده که در زمینه حل مسائل پیچیده ریاضی تبحر دارند. این دو مدل با کمک یکدیگر توانستهاند در المپیاد بینالمللی ریاضی مدال نقره کسب کنند.
پژوهشگران شرکت DeepMind (یکی از زیرمجموعههای شرکت گوگل که در حوزه هوش مصنوعی فعالیت دارد)، اخیراً مدعی شدهاند که دو مدل AI بسیار قدرتمند ایجاد کردهاند که میتوانند در زمینه حل مسائل پیچیده ریاضی قدرتمند ظاهر شوند.
این دو مدل که AlphaProof و AlphaGeometry 2 نامگذاری شدهاند، در حل چهار مسئله از شش مسئله المپیاد بینالمللی ریاضی (IMO) با همکاری یکدیگر موفق شدهاند تا یک مدال نفره را کسب کنند. در واقع این دو مدل برای رفع یکی از بزرگترین موانع AI امروزی یعنی استدلال بر اساس دادههای آموزش توسعه یافتهاند.
ترکیبی قدرتمند از ابزارهای هوش مصنوعی در دنیای ریاضی
پژوهشگران DeepMind ابتدا مدل هوش مصنوعی AlphaProof رو توسعه دادهاند که در واقع ترکیبی از یک مدل زبانی بزرگ با الگوریتم یادگیری تقویتی AlphaZero به شمار میآید. این مدل زبانی در واقع همان چیزی است که چند سال قبل DeepMind برای تسلط بر روی بازیهای شطرنج، شوگی و Go استفاده کرد و توانست قهرمانان جهان را شکست دهد.
نکته جالب آن است که این دستاورد محققان گوگل در واقع اولین سیستم هوش مصنوعی با امکان حل مسائل جدید و پیچیده را به وجود آورده است. به گفته یکی از مقامات دیپمایند:
این دو مدل زبانی بزرگ را میتوان یک پیشرفت قابل توجه در حوزه یادگیری ماشینی و هوش مصنوعی توصیف کرد. هیچ سیستم AI محوری تا به امروز نتوانسته مسائل ریاضی را با چنین دقتی حل کند.
به گزارش MSN، حل مسائله ریاضی نیازمند استدلال پیچیده و انسانگونه است که باعث شده مدلهای AI امروزی چندان در این بخش موفق نباشند.
نظر شما در رابطه با دستاورد محققان گوگل و اولین مدلهای زبانی قدرتمند با قابلیت حل مسائل پیچیده ریاضی چیست؟ آیا در آینده نزدیک شاهد حل شدن پیچیدهترین و دشوارترین سؤالات ذهن انسان خواهیم بود؟
پربیننده ترین
-
عکس مسی درآمد؛ آخرین توپ طلا با آرایشگر ویژه!
-
10 جایزه 5 میلیون تومانی برای کاربران آخرین خبر (مهلت شرکت در مسابقه تا 9 آذر تمدید شد.)
-
10 جایزه 5 میلیون تومانی برای کاربران آخرین خبر (مهلت شرکت در مسابقه تا 9 آذر تمدید شد.)
-
آخرین وضعیت راهها در چهارمین روز از سال جدید؛ محور چالوس از شنبه دوباره بسته میشود
-
زنده؛ بیرانوند در یک قدمی استقلال
-
"دنا پلاس اتومات" بخریم یا "تارا اتومات؟"/ مقایسه اختصاصی "آخرینخودرو" از دو خودروی پرطرفدار
-
چالش/ بازیکن داخل تصویر رو حدس بزن (16)
-
5 نشانه ضعیف شدن ریه ها و بهترین روش تقویت آن چیست؟
-
لندکروزر یا ۲۰۶؟ / مقایسه جالب "آخرینخودرو" به بهانه سخنان جنجالی میرسلیم
-
سپ، برترین شرکت در خاورمیانه شد
-
چالش/ بازیکن داخل تصویر رو حدس بزن (28)
-
ویدیو تست و بررسی فیدلیتی پرایم جدید در آخرین خودرو
-
چالش/ بازیکن داخل تصویر رو حدس بزن (14)
-
لحظه به لحظه با جدال پرسپولیس مقابل النصر
-
چالش/ بازیکن داخل تصویر رو حدس بزن (22)
-
یحیی مچ ساپینتو را خواباند / برد ارزشمند پرسپولیس در صدمین شهرآورد
-
چالش/ بازیکن داخل تصویر رو حدس بزن (19)
-
چالش/بازیکن داخل تصویر رو حدس بزن (11)
آخرین اخبار
-
تعیین کیفیت گلوتن و میزان فعالیت آنزیم طبیعی آرد با تجهیزات ایرانساخت
-
گفتوگوی خبرنگار رویترز با پزشکیان به زبان ترکی در نیویورک
-
تاکسی عجیب و فناورانه شوروی
-
بایدن به آلمان سفر میکند
-
لحظه اخراج گیتی قاسمی از برنامه جوکر توسط سوسن پرور
-
اعمال محدودیت زمانی تردد ناوگان باری در تهران
-
چرا ماه در افق بزرگتر به نظر میرسد؟ / یک معمای حل نشده
-
ترکیب هیدروژل و اگزوزم به کمک زخمهای دیابتی میآیند
-
کلاهبرداری در قالب صرافی ارز دیجتال در جیرفت
-
قابلیت های بین المللی فیلمها و سریالهای ایرانی
-
نگاهی به انواع کسری خدمت سربازی
-
بهبود کیفیت توان شبکههای برق با تولید فیلتر هارمونیک اکتیو
-
قاتل فراری بعد از ۴ ماه دستگیر شد
-
هوش مصنوعی، «کپچا» را بیاعتبار کرد
-
اجرای جالب شرکت کننده های جوکر در مورد آسیب زدن به طبیعت
سایر اخبار مرتبط
نظرات
ثبت نظر
مهمترین اخبار
۵۰۰۰ کیلومتر خط آهن خاک میخورد!
چهارشنبه 04 مهر 1403 - 13:36:20
فرودگاه امام به فهرست گمرکات ترخیص خودرو اضافه شد
چهارشنبه 04 مهر 1403 - 13:34:45
هیاهو برای آینده مبهم همستر!
چهارشنبه 04 مهر 1403 - 13:14:14
تشدید لغو مجوز و امتیازهای سایتهای متخلف در عرضه بلیت هواپیما
چهارشنبه 04 مهر 1403 - 12:55:37
شاخص بورس به رشد ۲ هزار واحدی بسنده کرد
چهارشنبه 04 مهر 1403 - 12:49:00