شگفتی ریاضیدانان از توانایی هوش مصنوعی در حل مسائل پیچیده ریاضی

30 ریاضیدان برجسته جهان عملکرد مدل استدلال گر OpenAI را در یک آزمون سطح دکتری بررسی کردند.

- به گزارش سرویس علم و فناوری تابناک، در یک رویداد علمی محرمانه در ایالت کالیفرنیا، 30 نفر از برجسته ترین ریاضیدانان جهان توانایی مدل هوش مصنوعی جدید شرکت OpenAI به نام o4-mini را در حل مسائل بسیار دشوار ریاضی مورد ارزیابی قرار دادند.

نتیجه این آزمون، حیرت و تحسین متخصصان را برانگیخت؛ چرا که این مدل موفق به حل مسائل پیچیده ای شد که حتی برای پژوهشگران حرفه ای نیز چالش برانگیز بود.

این گردهمایی دو روزه، بخشی از پروژه ای تحقیقاتی به نام FrontierMath بود که با همکاری سازمان غیرانتفاعی Epoch AI و با هدف سنجش توانایی واقعی هوش مصنوعی در استدلال و حل مسائل بدون تکیه بر داده های اینترنتی برگزار شد.

برای جلوگیری از بروز هرگونه تقلب، تمامی ارتباطات میان شرکت کنندگان از طریق اپلیکیشن رمزنگاری شده سیگنال انجام می شد و شرکت کنندگان متعهد به حفظ محرمانگی کامل بودند.

در آغاز، ریاضیدانان تلاش کردند با طراحی پرسش هایی دشوار و سطح بالا مدل را به چالش بکشند.

برای هر مسئله ای که مدل موفق به حل آن نمی شد، طراح پرسش جایزه ای 7500 دلاری دریافت می کرد.

اما روند آزمون به سرعت تغییر کرد.