طبق گزارش New Scientist، تعداد زیادی از ریاضی‌دانان برجسته اخیراً در دانشگاه کمبریج گرد هم آمدند تا بررسی کنند که آیا ابزارهای جدید اتوماتیک‌سازی اثبات‌ها کاملاً مجهز به هوش مصنوع، می‌توانند نحوه پژوهش ریاضی را به‌کلی دگرگون کنند.هوش مصنوعی می‌تواند به‌عنوان هم‌یار (co‑pilot) برای ریاضیدان‌ها ظاهر شود؛ نه جایگزین آن‌ها. هدف اولیه سپردن فرایندهای تکراری و دشوار، مانند فرموله‌کردن اثبات‌ها و بررسی رسمی آن‌ها، به دست ماشین است. با بهتر شدن ابزارها، امکان دارد سرعت اثبات‌ها افزایش یابد و پروژه‌های کلان‌تری قابل انجام شوند. این تحول می‌تونه نقطه عطفی در پژوهش ریاضی باش، از اثبات‌های سنتی دستی تا همکاری هوش مصنوعی در جایزه‌های بزرگ مثل فیلز مدال در آینده نه‌چندان دور!
چرا این موضوع مهم است؟
تا همین ۸ سال پیش (۲۰۱۷)، در جلسات رسمی دانشگاهی حتی خبری از نقش AI در «فرمال‌سازی» (Formalisation) نبود؛ اما حالا، ابزارهایی مثل ChatGPT به کمک مدل‌های زبانی بزرگ پیشرفته آمده‌اند.
این ابزارها قادرند اثبات‌های ریاضی را به‌صورت قابل بررسی دقیق توسط ماشیندرآورن،کاری که دقت و اعتماد به‌نفس در پژوهش را افزایش می‌دهد .
آماده سازی و ویرایش متن به کمک هوش مصنوعی
لینک خبر
@infinitymath