سود:
- توانایی استفاده از هوش مصنوعی در حل مسئله در سه نقش مختلف به عنوان مشاور استراتژی، تولید کننده راه حل و حسابرس راه حل، متناسب با سطح ریسک هر کدام.
- امکان بررسی سیستماتیک هر مرحله از یک راه حل با شماره گذاری، پرس و جو قوانین، بررسی حسابی، جمع بندی ها و فهرست کردن همه موارد.
- توانایی تأیید هم نتیجه و هم راه حل با روش های مستقل، درک این موضوع که نتیجه صحیح به معنای مسیر صحیح نیست.
راه حل یک مسئله ریاضی زنجیره ای از مراحل به هم پیوسته است. اگر هر یک از پیوندهای زنجیره شکسته شود، نتیجه نامعتبر است. هوش مصنوعی در ساخت سریع این زنجیره بسیار خوب است - اما نظارت بر قدرت زنجیره به عهده انسان است. در این بخش، نحوه استفاده از هوش مصنوعی را به عنوان شریک حل مسئله و مهمتر از آن، نحوه کنترل سیستماتیک هر مرحله تولید شده را یاد خواهید گرفت. هدف این است که از سرعت هوش مصنوعی استفاده کنید و هیچ اشتباهی را از دست ندهید.
اول، یک تعریف: راستیآزمایی گام به گام بررسی صحیح بودن هر مرحله میانی یک راهحل است. در ریاضیات "آیا نتیجه درست است؟" سوال کافی نیست؛ "آیا هر مرحله میانی درست است؟" سوال ضروری است. از آنجا که گاهی اوقات گام های اشتباه به طور تصادفی به نتیجه درست منجر می شود (یک راه حل ناپایدار)، گاهی اوقات یک خطای محاسباتی در یک استراتژی صحیح نتیجه را خراب می کند.
سه نقش مختلف هوش مصنوعی در حل مسئله
شما می توانید از هوش مصنوعی در حل مسئله به سه روش مختلف استفاده کنید و هر کدام به اعتبارسنجی متفاوتی نیاز دارند:
- مشاور استراتژی: "چگونه این مشکل را حل کنم؟" در اینجا هوش مصنوعی روشی را پیشنهاد می کند. ریسک پایین است زیرا شما محاسبات را خودتان انجام می دهید.
- مولد راه حل: "این مشکل را حل کنید." ریسک زیاد است زیرا هم استراتژی و هم محاسبه از هوش مصنوعی می آیند. هر مرحله باید تحت نظارت باشد.
- جستجوگر راه حل: "راه حل من را بررسی کنید." ریسک متوسط است. هوش مصنوعی میتواند باگها را پیدا کند، اما همچنین میتواند باگهایی را که وجود ندارند یا باگ واقعی را از دست میدهند، جبران کند.
ایمن ترین روش معمولا ترکیب 1 و 3 است: استراتژی را از هوش مصنوعی دریافت کنید، محاسبه را خودتان یا با SymPy انجام دهید، سپس AI را بررسی کنید و بررسی کنید.
گام به گام: چگونه یک راه حل را بررسی کنیم
1. هر مرحله را شماره گذاری کنید. درخواست راه حل از هوش مصنوعی در مراحل شماره گذاری شده به شما این امکان را می دهد که بگویید: "در مرحله 3 خطایی وجود دارد."
2. در هر مرحله "کدام قانون؟" آقا از هوش مصنوعی بخواهید بنویسد که کدام قاعده جبری، قضیه یا هویت در هر پاس استفاده شده است. اگر نام قانون اشتباه باشد، مرحله نیز مشکوک است.
3. حساب را جداگانه بررسی کنید. حتی اگر منطق جبری درست باشد، خطاهای عددی رایج هستند. هر جمع، ضرب و تغییر علامت را مرور کنید.
4. محدودیت ها و استثناها را امتحان کنید. نتیجه را در مقادیر ساده مانند x=0، x=1 تست کنید. اگر فرمول در این مقادیر بی معنی باشد، خطایی وجود دارد.
5. به عقب برگردید. نتیجه مشتق را با ادغام کردن، جایگزین کردن ریشه معادله، ضرب فاکتورگیری به عقب بررسی کنید.
6. به دنبال سازگاری اندازه/واحد باشید. اگر واحدها در مسائل اعمال شده جمع نشوند (مثلاً اضافه کردن متر و ثانیه)، فرمول نادرست است.
نکته: "تأیید با عملیات معکوس" قوی ترین ابزار تایید در ریاضیات و تقریبا رایگان است. اگر ریشه یک معادله را پیدا کردید، آن را جایگزین کنید. اگر یک انتگرال گرفتید، مشتق آن را بگیرید. اگر فاکتورسازی انجام دادید، دوباره ضرب کنید. این بررسی 30 ثانیه ای از ساعت ها جهت گیری اشتباه جلوگیری می کند.
قدرت تامین از استقلال آن از هوش مصنوعی ناشی می شود. وقتی یک ریشه را جایگزین میکنید، یک بررسی قطعی انجام میدهید که کاملاً مستقل از آنچه هوش مصنوعی در فرآیند حل انجام میدهد: یا معادله برآورده میشود یا نیست، هیچ چیزی بین این دو وجود ندارد. به همین دلیل است که تأیید بسیار ارزشمندتر از AI است که بگوید "مطمئناً، درست است". زیرا ممکن است هوش مصنوعی هنگام اعتبارسنجی راه حل خود همان اشتباه را تکرار کند، اما تأیید مستقل خارج از این حلقه است. هنگامی که می توانید یک نتیجه مهم را به دو روش مستقل مختلف ارائه دهید (مانند هر دو جایگزین و SymPy)، اعتماد به نفس شما به طور تصاعدی افزایش می یابد.
طبقه بندی خطاها
جدول زیر انواع خطاهایی را که معمولاً در راه حل های هوش مصنوعی مشاهده می کنید و روش های تشخیص هر یک را خلاصه می کند.
نوع خطا
مثال
مسیر گرفتن
خطای علامت
نوشتن −(a−b) = −a−b
باز کردن و بررسی نام من به صورت دستی
خطای حسابی
7×8 = 54
تایید با ماشین حساب/SymPy
قانون اشتباه
قانون زنجیره ای را فراموش کنید
"کدوم قانون؟" پرسیدن
خطای فیلد/تعریف
دریافت گزارش (منفی)
بررسی دامنه
وضعیت رد شد
نادیده گرفتن ممیز < 0
لیست تمام وضعیت ها
قضیه ساخته شده
نام قضیه غیر موجود
تایید از منبع
سه کیف کوچک
مورد 1 - نتیجه درست، مسیر اشتباه. دانش آموزی از هوش مصنوعی یک سوال محدود پرسید. هوش مصنوعی نتیجه را 3 یافت - که درست بود - اما در مرحله میانی از قانون L'Hôpital در جایی که نمی توانست اعمال شود (بدون عدم قطعیت 0/0) استفاده کرد. دانش آموز می پرسد "کدام قانون اعمال می شود و چرا؟" وقتی از هوش مصنوعی پرسیده شد، AI اشتباه را پذیرفت و دوباره به روش صحیح به عدد 3 رسید. نتیجه یکسان بود، اما مسیر محکم نبود. سفر نیز در امتحان نمره داده شد.
مورد 2 - مورد حذف شده. یک مهندس، |2x − 4| = 6 معادله قدر مطلق توسط YZ حل شد. YZ فقط 2x − 4 = 6 را حل کرد و x = 5 را داد. از حالت 2x - 4 = -6 (x = -1) گذشت. مهندس می پرسد "در قدر مطلق چند حالت وجود دارد؟" وقتی پرسیدم ریشه دوم ظاهر شد. صحت هر دو ریشه با جایگزینی تایید شد.
مورد 3 - بررسی متقاطع 3 خطا پیدا شد. معلمی از هوش مصنوعی خواست تا یک اثبات هویت مثلثاتی 10 مرحله ای انجام دهد. سپس همان اثبات را مرحله به مرحله با تابع ساده سازی SymPy مقایسه کرد. او متوجه شد که هوش مصنوعی هویت را در 3 مرحله از 10 مرحله به اشتباه اعمال کرده است. کل زمان بررسی 12 دقیقه؛ اعتماد بدست آمده قیمتی ندارد.
چهار قالب قابل کپی
1) راه حل عددی و مبتنی بر قانون:
این مشکل را حل کنید: [مشکل]. راه حل را در NUMBER گام بنویسید. در هر مرحله نام قاعده/قضیه ای که در پرانتز استفاده کرده اید را بیان کنید. با گفتن "بدیهی" هیچ مرحله ای را نادیده نگیرید. نشان دادن هر انتقال
2) همه حالات را مجبور نکنید:
این مشکل را حل کنید: [مشکل]. همه موارد ممکن را هنگام حل فهرست کنید (مثلاً قدر مطلق، درجه دوم، محدودیت های دامنه). هیچ موردی را نادیده نگیرید؛ اگر آن را نادیده گرفتید، دلیل رد کردن آن را توجیه کنید.
3) تأمین درخواستی:
شما پیدا کردید: [نتیجه]. اکنون این نتیجه را با عمل معکوس تأیید کنید: [متمایز / جایگزین / ضرب بر برگشت]. نتیجه بررسی را نشان دهید و بگویید که آیا با مشکل اصلی سازگار است یا خیر.
4) کنترل خطا محور:
فقط به دنبال خطاها در راه حل زیر باشید. هر مرحله را به ترتیب بررسی کنید. وقتی اولین خطا را پیدا کردید، بنویسید کدام مرحله، چه نوع خطا (علامت/حساب/قاعده) و کدام یک صحیح است. ایجاد یک راه حل جدید. راه حل: [اینجا]
اعلان ضعیف / اعلان قوی
ضعیف: "حل x² − 5x + 6 = 0."
نتیجه: "x = 2 و x = 3" - ممکن است درست باشد، اما اگر مورد عجیب از قلم افتاده باشد یا فاکتورگیری اشتباه باشد، متوجه نخواهید شد.
Strong: "معادله x² − 5x + 6 = 0 را هم با فاکتورگیری و هم با فرمول تفکیک حل کنید؛ نشان دهید که دو روش ریشه های یکسانی دارند. سپس هر ریشه را با جایگزین کردن آن در معادله ارائه کنید."
نتیجه: دو روش مستقل یکدیگر را تأیید میکنند و از صحت نتیجه اطمینان میدهند. اگر خطایی وجود داشته باشد، این دو روش با هم تضاد دارند و بلافاصله آن را مشاهده خواهید کرد.
اشتباهات رایج
- فقط به نتیجه نگاه کنید. نتیجه درست به معنای یک مسیر محکم نیست. همچنین جاده را بررسی کنید.
- رد شدن از تامین بررسی مشتق تعویض/بازگشت 30 ثانیه ای بیشترین خطاها را می گیرد. از آن غافل نشوید.
- عدم فهرست کردن موقعیت ها حذف در محدودیت های قدر مطلق، درجه دوم، ریشه و دامنه رایج ترین خطاها هستند.
- اعتماد به هوش مصنوعی برای گفتن "بدون اشکال". هوش مصنوعی در نقش حسابرس ممکن است خطای واقعی را از دست بدهد. چشم انسان در کار انتقادی ضروری است.
- راضی بودن به یک روش در صورت امکان با استفاده از دو روش مستقل حل و مقایسه کنید.
احتیاط: زمانی که هوش مصنوعی راه حل شما را بررسی می کند، ممکن است گاهی اوقات یک "اشکال" غیرقابل ایجاد کند و شما را از راه حل صحیح منصرف کند. بنابراین وقتی هوش مصنوعی خطا را نشان می دهد، شما همچنین بررسی کنید که آیا آن خطا واقعاً یک خطا است یا خیر. حسابرس نیز ممکن است اشتباه کند.
به طور خلاصه
در حل مسئله، هوش مصنوعی سه نقش را ایفا می کند: مشاور استراتژی، مولد راه حل، حسابرس راه حل. ایمن ترین رویکرد این است که استراتژی را از هوش مصنوعی بگیرید، محاسبات را با ابزارهای مستقل انجام دهید و هر مرحله را به طور سیستماتیک بررسی کنید. مراحل شماره گذاری شده، "کدام قانون؟" سؤال، جمع کنترل (عملیات معکوس)، موارد محدود و فهرست کردن همه موارد، ابزارهای اساسی برای کشف خطاها هستند. نتیجه درست به معنای راه محکم نیست. هم نتیجه و هم مسیر را بررسی کنید.
وظیفه کاربردی
یک معادله درجه دوم یا یک معادله قدر مطلق را انتخاب کنید. YZ را با الگوهای 1 و 2 حل کنید. سپس: (الف) بررسی کنید که همه موارد پوشش داده شده است، (ب) با جایگزین کردن هر ریشه اطمینان حاصل کنید، (ج) در صورت امکان با روش دوم حل و مقایسه کنید. اگر خطایی پیدا کردید، نوع آن را یادداشت کنید (علامت/حساب/قاعده/شرط رد شده).
چک لیست
- [ ] من راه حل را در مراحل شماره گذاری کردم.
- [ ] من قانون استفاده شده در هر مرحله را تایید کردم.
- [ ] من تأیید کرده ام که همه موارد احتمالی رسیدگی شده است.
- [ ] من نتیجه را با عمل معکوس (چک) بررسی کردم.
- [ ] در صورت امکان، آن را با روش دوم مقایسه کردم.
- [ ] همچنین به طور مستقل "خطاهایی" را که هوش مصنوعی نشان داد تأیید کردم.