@mashuqesh خواهر منم فکر میکنه مامانم من رو خیلی بیشتر دوست داره در صورتی کاملا اشتباه میکنه. دقیقا همین حرف ها رو میزنه. همه چی برا اونه اما همیشه ناراضیه و غر میزنه
@RealFreshPeach@retiremeplease I think we have different definitions of what it means to be good at math (especially in the AI era). I also think that in a few years the structure of olympiad competitions will change fundamentally — new metrics will define "mathematical talent".
@RealFreshPeach@retiremeplease not necessarily. You may be good at olympiad and bad at asking right/good questions (you may call this ability prompt engineering). Olympiad is about is about solving tricky questions (signal for technical problem solving) not asking the right/good questions.
@pedidep@Rythian47@saeed_ilchi من صحت این نقل رو نمیتونم تایید کنم. اما اگه آرنولد همچین حرفی زده با تمام احترام زر مفت زده. معنی حرفش این میشه که خودم نمیتونم اون فرضیه ها رو ثابت کنم (میخوام بذارم جوون ها ثابت کنن و اینا مزخرفه)
@pedidep@Rythian47@saeed_ilchi نظریه بازنمایش جبرهای شبهساده با فرضیه ریمان زمین تا آسمون فرق میکنن. تو مساله های باز معروف کردیت اصلی برای کسی هست که اول به اثبات برسه. اینکه اثبات فهمیده بشه مرحله بعد هست(نمیگم مهم نیست). مثلا اثبات قضیه آخر فرما رو احتمالا ده نفر هم عمیقا نمیفهمیدن وقتی ارایه شد.
@Rythian47@saeed_ilchi اما بخش خیلی مهمی از ریاضی اثباته. اگه یه مدل هوش مصنوعی بتونه اثبات فرضیه ریمان رو ارایه کنه و کار ریاضیدان ها عملا این باشه اثبات رو بفهمن کردیت اصلی کارمیره برای مدل. ریاضی از بین نمیره اما دستاورد اصلی ریاضی دان ها که به دست آوردن اون اثبات باشه به فهمیدنش تقلیل پیدا میکنه.
@FangYi11101@alz_zyd_ my point is in next few years, IMO/IPhysO/IOI medalists may not even be marketable to LPs. Technical problem solving is becoming cheap.