✨✨✨#زیبایی_های_ریاضیات✨✨✨
💠 هنگامی که کامپیوترها اثباتها را انجام میدهند، ریاضیات چه فایدهای دارد؟
🌀 اندرو گرانویل میداند که هوش مصنوعی ریاضیات را عمیقاً تغییر خواهد داد. زبان برنامه نویسی Lean قبلاً نقش خود را در اثبات قضیهها بازی کرده است. به همین دلیل است که نظریه پرداز اعداد دانشگاه مونترال شروع به صحبت با فیلسوفان در مورد ماهیت اثبات ریاضی و چگونگی تکامل رشته ریاضیات در عصر هوش مصنوعی کرده است.
📱https://youtu.be/3l1RMiGeTfU?si=yl2r9NU-ozNs2pD_
#️⃣#IDSchools
#️⃣#IDS
#️⃣#IDS_Math
✉️@IDSchools
✉️@IDS_Math
Post #314
618