دانلود زیگپ
دیپمایند گوگل میگوید که مدلهای AlphaProof و AlphaGeometry 2 در حال گشودن زمینه جدیدی در استدلال ریاضی هستند که تا به امروز پاشنه آشیل چتباتهای هوش مصنوعی بودند.
DeepMind میگوید مدلهای هوش مصنوعی آن پس از حل چهار مسئله از شش مسئله المپیاد بینالمللی ریاضی امسال، یکی از سختترین مسابقات ریاضی در جهان، اکنون در یک “استاندارد سطح بالا” در ریاضیات پیچیده قرار دارند.
در یکم مرداد، گوگل دیپمایند اعلام کرد که در حل مسائل استدلالی پیشرفته در ریاضیات برای AlphaProof و AlphaGeometry 2 به پیشرفتهایی دست یافته است. ریاضیات به عنوان معیاری حیاتی برای توسعه هوش مصنوعی در نظر گرفته شده است. ریاضیات پیچیده مانند هندسه به حل مسئله بصری و خلاقانه و مهارتهای استدلال پیچیده نیاز دارد.
عملکرد خوب هوش مصنوعی DeepMind در ریاضی
AlphaProof یک سیستم جدید مبتنی بر یادگیری تقویتی برای استدلال ریاضی است و AlphaGeometry 2 نسخه بهبود یافته یک سیستم حل هندسه است. این دو سیستم چهار سوال از شش سوال المپیاد بینالمللی ریاضی امسال (IMO) را حل کردند و «برای اولین بار به سطح یک مدال نقره در مسابقات دست یافتند».
IMO قدیمیترین، بزرگترین و معتبرترین رقابت ریاضیدانان جوان است. از سال 1959 هر ساله برگزار میشود و در رویداد امسال مستقر در بریتانیا بیش از صد کشور شرکت کردند. گوگل توضیح داد که المپیاد به طور گسترده به عنوان یک “چالش بزرگ در یادگیری ماشینی و معیاری برای اندازهگیری قابلیتهای استدلال ریاضی پیشرفته یک سیستم هوش مصنوعی” شناخته شده است.
پروفسور سر تیموتی گورز، دارنده مدال طلای IMO اظهار داشت:
این واقعیت که این برنامه میتواند با ساختاری غیر آشکار این چنین عمل کند، بسیار چشمگیر است و فراتر از آن چیزی است که من فکر میکردم پیشرفته باشد.
گوگل قبلاً در مدلهای هوش مصنوعی ریاضی با سیستمی به نام AlphaGo که بازی رومیزی Go را یاد گرفت و در سال 2016 بازیکن افسانهای Go Lee Sedol را شکست داد. اکنون محققان جانشین AlphaGo که با نام AlphaZero شناخته میشود را با مدلهای زبانی از پیش آموزش دیده ترکیب کردهاند تا AlphaProof را بسازند که با حل میلیونها مشکل ترجمه شده به زبان برنامهنویسی رسمی “Lean” آموزش میدهد.
در همین حال، AlphaGeometry 2 یک سیستم ترکیبی عصبی نمادین مبتنی بر مدل هوش مصنوعی جمینی گوگل با قابلیتهای بهبود یافته در حل مسائل هندسی است. این شرکت اعلام کرد که تیمهای هوش مصنوعی آن «به بررسی چندین رویکرد هوش مصنوعی برای پیشبرد استدلال ریاضی ادامه میدهند و قصد دارند به زودی جزئیات فنی بیشتری را در AlphaProof منتشر کنند.
طبق یک داده بایگانی، درآمد سه ماهه دوم از آلفابت، مادر گوگل، هزینههای زیادی برای تحقیقات مرتبط با هوش مصنوعی در DeepMind انجام شده است. زیان «فعالیتهای سطح الفبا» که عمدتاً ناشی از پول صرف شده برای تحقیق و توسعه هوش مصنوعی است، در سهماهه دوم به ۲.۳ میلیارد دلار رسید که تقریباً دو برابر مدت مشابه سال گذشته است.
با این حال، رقابت هوش مصنوعی همچنان داغ ادامه دارد.
بر اساس گزارش رویترز در 15 جولای، OpenAI در حال کار بر روی یک رویکرد جدید برای مدلهای هوش مصنوعی خود در پروژهای با نام رمز «Strawberry» است. طبق گزارشها، این مدل برای بهبود چشمگیر قابلیتهای استدلال هوش مصنوعی و فعال کردن تحقیقات عمیق اینترنتی مستقل طراحی شده است.
علاوه بر این، OpenAI از راهاندازی نمونه اولیه موتور جستجوی مبتنی بر هوش مصنوعی به نام SearchGPT نیز خبر داد. در 23 جولای، مدیرعامل متا، مارک زاکربرگ، گفت که این شرکت در حال برداشتن گامهای بعدی برای تبدیل شدن به هوش مصنوعی متنباز به استاندارد صنعت است، در حالی که آخرین مدل خود، Llama 3.1 را اعلام کرد.
منبع : cointelegraph
