گرنت سندرسون، خالق کانال محبوب 3Blue1Brown، در ویدیویی تحلیلی به بررسی همگرایی تاریخی هوش مصنوعی، مدلهای زبانی بزرگ و دستیارهای اثبات صوری مانند Lean پرداخته است. او با رد این باور که اتوماسیون هوش مصنوعی نیاز به ریاضیدانان را کاهش میدهد، استدلال میکند که AI بستر گذار ریاضیات از اثباتهای خستهکننده دستی به کاوشهای مفهومی عمیقتر را فراهم ساخته است. به گفته او، پیوند خوردن خلاقیت انسانی با سرعت محاسباتی مدلها، عصری تازه و هیجانانگیز از کشف ساختارهای ناشناخته ریاضی و صورتبندی مفاهیم جدید خلق کرده است.
🔗 لینک ویدیو
@GreenOAI















