Odd Lots: چگونه هوش مصنوعی دنیای ریاضیات را متحول می کند (پادکست)
ماه گذشته، OpenAI اعلام کرد که برای مسئله Navier-Stokes، یکی از معروف‌ترین سؤالات حل‌نشده در ریاضیات، یک اثبات تولید شده توسط هوش مصنوعی ارائه کرده است. LLM ها قبلا در شمارش بد بودند، اما اکنون در حال حل مسائل ریاضی هستند که برای چندین دهه انسان ها را سرگردان کرده است. در همین حال، در دانشگاه‌ها، مشکل هوش مصنوعی در آموزش ادامه دارد: اکنون که LLM ها می‌توانند تکالیف دانش‌آموزان را انجام دهند، معلمان در تلاش برای ادامه دادن هستند.
ماه گذشته، OpenAI اعلام کرد که برای مسئله Navier-Stokes، یکی از معروف‌ترین سؤالات حل‌نشده در ریاضیات، یک اثبات تولید شده توسط هوش مصنوعی ارائه کرده است. LLM ها قبلا در شمارش بد بودند، اما اکنون در حال حل مسائل ریاضی هستند که برای چندین دهه انسان ها را سرگردان کرده است. در همین حال، در دانشگاه‌ها، مشکل هوش مصنوعی در آموزش همچنان ادامه دارد: اکنون که LLM می‌تواند تکالیف دانش‌آموز را انجام دهد، معلمان در تلاش هستند تا به این کار ادامه دهند. واضح است که هوش مصنوعی به سرعت نحوه تدریس ریاضی و نحوه عمل آن را تغییر می دهد
متن اصلی (انگلیسی)
Odd Lots: How AI Is Upending the World of Mathematics (Podcast)
Last month, OpenAI announced that it had produced an AI-generated proof for the Navier-Stokes problem, one of the most famous unsolved questions in mathematics. LLMs used to be bad at counting, but now they are solving math problems that have stumped humans for decades. Meanwhile, at universities, the problem of AI in education continues: Now that LLMs can do a student’s homework, teachers are struggling to keep up.…