بررسی چشم انداز هوش مصنوعی در ریاضیات تحولات کاربردها و آینده پژوهی

هوش مصنوعی در دهه اخیر به یکی از تاثیرگذارترین فناوری های تحول آفرین در علوم مختلف تبدیل شده است و ریاضیات نیز به عنوان یکی از بنیادی ترین حوزه های دانش تحت تاثیر این تحولات قرار گرفته است. هدف پژوهش حاضر بررسی چشم انداز هوش مصنوعی در ریاضیات تحولات کاربردها و آینده پژوهی می باشد. این پژوهش با روش مرور روایتی تحلیلی انجام شده و منابع علمی منتشر شده در پایگاه های معتبر بین المللی از جمله Google Scholar، arXiv، Springer، IEEE Xplore، Scopus مورد بررسی قرار گرفتند. یافته ها نشان می دهد که فناوری هایی مانند مدل های زبانی بزرگ، یادگیری تقویتی، شبکه های عصبی گراف و سیستم های اثبات خودکار قضایا توانسته اند در حوزه هایی مانند کشف الگوهای ریاضی، حل مسائل المپیادی، رسمی سازی اثبات ها و آموزش هوشمند ریاضیات در آینده پژوهی نقش موثری ایفا کنند. همچنین پروژه هایی مانند AlphaTensor، Alpha Geometry و Lean-Mathlib ظرفیت بالای هوش مصنوعی در توسعه پژوهش های ریاضی را نشان داده اند. با وجود این چالش هایی نظیر ضعف تفسیرپذیری، محدودیت تعمیم پذیری، کمبود داده های ساختار یافته و ابهام های فلسفی و اخلاقی همچنان پابرجاست. نتایج پژوهش نشان می دهد که هوش مصنوعی نه به عنوان جایگزین کامل ریاضیدانان، بلکه به عنوان ابزار کمکی قدرتمند در کنار خلاقیت انسانی می تواند موجب تحول در آینده پژوهش و آموزش ریاضیات شود.

کلیدواژه ها:

هوش مصنوعی ، ریاضیات ، یادگیری ماشین ، اثبات خودکار قضایا ، کشف ریاضیاتی