بیشتر

د ګوګل ډیپ مائنډ د مصنوعي استخباراتو په مرسته ریاضيکي ستونزې حل کوي

د لوی ژبو ماډلونو (LLMs) کې وروستي پرمختګونه AI ډیر د تطبیق وړ ګرځیدلی، مګر دا د یو منفي اړخ سره راځي: تېروتنې.

تولیدي AI د شیانو رامینځته کولو ته لیوالتیا لري ، مګر د ګوګل ډیپ مائنډ د نوي LLM سره راغلی چې د ریاضيکي حقیقتونو سره ودریږي.

د شرکت FunSearch کولی شي د ریاضیاتو خورا پیچلې ستونزې حل کړي.

په معجزه توګه، هغه حلونه چې دا یې تولیدوي نه یوازې دقیق دي؛ دا په بشپړ ډول نوي حلونه دي چې هیڅ انسان هیڅکله ندي موندلي.

د لوستلو اټکل شوی وخت: 4 منیوټ

FunSearch دې ته ویل کیږي ځکه چې دا د ریاضیاتي کارونو لټون کوي، نه دا چې دا ساتیري ده. په هرصورت، ځینې خلک ممکن د کیپ سیټ ستونزه یو هوټ په پام کې ونیسي: ریاضي پوهان حتی نشي کولی چې دا څنګه حل کړي، دا یو ریښتینی شمیري اسرار جوړوي. ډیمپینډ مخکې له دې د الفا ماډلونو لکه الفا فولډ (پروټین فولډینګ) ، الفا سټار (ستار کرافټ) ، او الفاګو (لوګولو) سره مصنوعي استخباراتو کې پرمختګ کړی. دا سیسټمونه د LLM پر بنسټ نه و، مګر نوي ریاضياتي مفکورې یې ښکاره کړې.

د FunSearch سره، ډیمپینډ د لوی ژبې موډ سره پیل شوی، د ګوګل د PaLM 2 نسخه چې Codey نومیږي. په کار کې د دوهم LLM کچه شتون لري، کوم چې د کوډی محصول تحلیل کوي او غلط معلومات له مینځه وړي. د دې کار تر شا ټیم نه پوهیده چې ایا دا طریقه به کار وکړي او لاهم ډاډه نه ده چې ولې، د څیړونکي په وینا ډیمپینډ الحسین فوزي

د پیل کولو لپاره، انجنیران په کې ډیمپینډ دوی د کیپ سیټ ستونزې Python نمایندګي رامینځته کړه ، مګر د حل تشریح کولو لینونه یې پریښودل. د کوډي دنده دا وه چې هغه کرښې اضافه کړي چې په سمه توګه ستونزه حل کړي. د غلطۍ چک کولو پرت بیا د کوډی حلونه نمرې کوي ترڅو وګوري چې ایا دوی سم دي. د لوړې کچې ریاضیاتو کې، مساوات ممکن له یو څخه زیات حلونه ولري، مګر ټول مساوي ښه نه ګڼل کیږي. د وخت په تیریدو سره، الګوریتم د کوډی غوره حلونه پیژني او بیرته موډل ته داخلوي.

DeepMind اجازه ورکوي FunSearch د څو ورځو لپاره پرمخ بوځي، د ملیونونو احتمالي حلونو رامینځته کولو لپاره کافي اوږد وي. دې FunSearch ته اجازه ورکړه چې کوډ اصلاح کړي او غوره پایلې تولید کړي. د نوي خپاره شوي څیړنې له مخې، دمصنوعي استخبارات د کیپ سیټ ستونزې لپاره دمخه نامعلوم مګر سم حل موندلی. ډیمپینډ د کانټینر بسته کولو ستونزه په نوم د یوې بلې سختې ریاضيکي ستونزې په اړه FunSearch هم خلاص کړ، یو الګوریتم چې د کانټینرونو بسته کولو خورا مؤثره لاره تشریح کوي. FunSearch د انسانانو لخوا محاسبه شوي حل په پرتله ګړندی حل وموند.

ریاضي پوهان لاهم د دوی په کار او کار کې د LLM ټیکنالوژۍ مدغم کولو لپاره مبارزه کوي ډیمپینډ د تعقیب لپاره ممکنه لاره ښیې. ټیم باور لري چې دا طریقه احتمال لري ځکه چې دا د حل پرځای کمپیوټر کوډ تولیدوي. دا اکثرا د خام ریاضيکي پایلو په پرتله پوهیدل او تایید کول اسانه دي.