مقالات

DeepMind گوگل مسائل ریاضی را با هوش مصنوعی حل می کند

پیشرفت‌های اخیر در مدل‌های زبان بزرگ (LLM) هوش مصنوعی را سازگارتر کرده است، اما این یک جنبه منفی دارد: خطاها.

هوش مصنوعی مولد تمایل دارد همه چیز را درست کند، اما Google DeepMind یک LLM جدید ارائه کرده است که به حقایق ریاضی پایبند است.

FunSearch این شرکت می تواند مسائل ریاضی بسیار پیچیده را حل کند.

به طور معجزه آسایی، راه حل هایی که تولید می کند نه تنها دقیق هستند. آنها راه حل های کاملا جدیدی هستند که هیچ انسانی تا به حال پیدا نکرده است.

زمان تخمینی مطالعه: 4 minuti

FunSearch به این دلیل نامیده می شود که توابع ریاضی را جستجو می کند، نه به این دلیل که سرگرم کننده است. با این حال، برخی از افراد ممکن است مسئله کلاهک را یک موضوع داغ بدانند: ریاضیدانان حتی نمی توانند در مورد بهترین راه حل آن توافق داشته باشند، و آن را به یک معمای عددی واقعی تبدیل می کند. Deepmind قبلاً با مدل‌های آلفای خود مانند AlphaFold (تا کردن پروتئین)، AlphaStar (StarCraft) و AlphaGo (بازی کردن Go) در هوش مصنوعی پیشرفت کرده است. این سیستم ها بر اساس LLM نبودند، بلکه مفاهیم ریاضی جدیدی را آشکار کردند.

با FunSearch، Deepmind با یک حالت زبان بزرگ، نسخه‌ای از PalM 2 گوگل به نام Codey شروع شد. سطح دوم LLM در کار است که خروجی Codey را تجزیه و تحلیل می کند و اطلاعات نادرست را حذف می کند. به گفته این محقق، تیم پشت این کار نمی‌دانست که آیا این رویکرد جواب می‌دهد یا خیر و هنوز مطمئن نیست که چرا Deepmind الحسین فوزی.

برای شروع، مهندسان در Deepmind آنها یک نمایش پایتون از مشکل مجموعه کلاهی ایجاد کردند، اما خطوطی را که راه حل را توضیح می‌دهند حذف کردند. کار کدی اضافه کردن خطوطی بود که به طور دقیق مشکل را حل می کرد. سپس لایه بررسی خطا، راه حل های Codey را نمره می دهد تا ببیند آیا دقیق هستند یا خیر. در ریاضیات سطح بالا، معادلات ممکن است بیش از یک راه حل داشته باشند، اما همه آنها به یک اندازه خوب در نظر گرفته نمی شوند. با گذشت زمان، الگوریتم بهترین راه حل های Codey را شناسایی کرده و آنها را دوباره در مدل قرار می دهد.

DeepMind به FunSearch اجازه می دهد چندین روز اجرا شود، به اندازه ای که میلیون ها راه حل ممکن را تولید کند. این به FunSearch اجازه داد تا کد را اصلاح کند و نتایج بهتری تولید کند. طبق تحقیقات جدید منتشر شده، L 'هوش مصنوعی یک راه حل قبلا ناشناخته اما درست برای مشکل مجموعه کلاهک پیدا کرد. Deepmind همچنین FunSearch را روی یک مسئله ریاضی دشوار دیگر به نام مسئله بسته بندی ظروف آزاد کرد، الگوریتمی که کارآمدترین روش بسته بندی ظروف را توصیف می کند. FunSearch راه حلی سریعتر از آنچه توسط انسان محاسبه شده بود پیدا کرد.

ریاضیدانان هنوز در تلاشند تا فناوری LLM را در کار خود و کار خود ادغام کنند Deepmind مسیری ممکن را برای پیمودن نشان می دهد. این تیم بر این باور است که این رویکرد دارای پتانسیل است زیرا به جای راه حل، کد کامپیوتری را تولید می کند. درک و تأیید این موضوع اغلب ساده تر از نتایج خام ریاضی است.