پادکست Odd Lots: چگونه هوش مصنوعی دنیای ریاضیات را دگرگون می‌کند

ماه گذشته، OpenAI اعلام کرد که یک اثبات تولید شده توسط هوش مصنوعی برای مسئله ناویه-استوکس، یکی از مشهورترین مسائل حل‌نشده در ریاضیات، ارائه کرده است. مدل‌های زبانی بزرگ که زمانی در شمارش ضعيف بودند، اکنون در حال حل مسائل ریاضی هستند که دهه‌ها انسان‌ها را گیج کرده بودند. در همین حال، در دانشگاه‌ها، مسئله هوش مصنوعی در آموزش ادامه دارد: اکنون که مدل‌های زبانی بزرگ می‌توانند تکالیف یک دانش‌آموز را انجام دهند...