مسابقات ریاضی دانشگاه گیلان

مصاحبه با Noam Brown https://www.youtube.com/watch?v=6AgOfiZOWiY

گاها مقایسه ها خیلی دید جالبی به آدم میده... مثلا درک تفاوت بین Generative AI و Agentic AI که مرز جدا کننده خیلی جالبی دارند. خیلی ساختار ها شاید Agentic بنظر برسند ولی واقعا در عمل طبق ارزیابی ها توی دسته Agentic محسوب نمیشوند حالا هرچقدر هم که میخواد پاسخ هاشون جذاب و هوشمندانه و شگفت انگیز بنظر برسه و یا حتی حس پیشبرد هدف رو بده اما تا وقتی کار عملا جلو نرفته و خروجی مورد نظر حاصل نشده Agentic محسوب نمیشه. منو یاد مقایسه دانشگاه و بازار کار انداخت. شاید بتونیم بگیم دانشگاه شبیه Generative AI هست و بازار کار و شرکت ها شبیه Agentic AI هستند. و این دو فرق قابل توجهی با همدیگه دارند.

https://www.sfchronicle.com/science/article/ai-openai-math-fields-medal-22358191.php?utm_source=chatgpt.com https://www.wsj.com/tech/ai/openai-jacob-tsimerman-fields-medal-ai-safety-391d0f79?utm_source=chatgpt.com برنده اخیر مدال فیلدز مثل اینکه داره راهی Open AI میشه...

5 نفر برتر آزمون‌های انتخابی تیم ریاضی دانشگاه گيلان (اسامی به ترتيب نام خانوادگی آن‌ها نوشته شده است): دانیال احمدی - ترم 7 علوم کامپیوتر بهراد بادلی - ترم 5 علوم کامپیوتر سپهر جمالدار - ترم 7 ریاضی آوین صدیق‌پور - ترم 5 علوم کامپیوتر زینب ميرزاپور - ترم 5 ریاضی اسامی نفرات 6 و 7 این آزمون‌ها هم به شرح زیر است: عرفان امیدی‌نیا - ترم 3 ریاضی پویا بیات - ترم 7 مهندسی مکانیک ضمن تبریک و خسته نباشید به همه‌ی دانشجویانی که در آزمون‌ها شرکت کردند، 5 نفر نخست در قالب تیم دانشگاه گيلان عازم 48اُمین دوره‌ی مسابقات ریاضی دانشجویی خواهند شد.

‏ هوش مصنوعی و حل معمای ریاضی ۳۵۰ ساله ‏مدل Claude به تازگی موفق شد یکی از بزرگ‌ترین چالش‌های تاریخ ریاضیات، یعنی «قضیه آخر فرما»، را به صورت کامل فرمالیزه کند. این قضیه که در سال ۱۶۳۷ مطرح شد، تا سال ۱۹۹۵ توسط هیچ انسانی اثبات نشده بود و اثبات نهایی آن ۱۲۹ صفحه پیچیده داشت. برای ارزیابی دقیق‌تر مشخصات، تحلیل معماری و قابلیت‌ها جزئیات فنی بیشتری ارائه می‌کند. ‏آنچه این دستاورد را متمایز می‌کند، سرعت و دقت هوش مصنوعی است. در حالی که تصور می‌شد فرمالیزه کردن این قضیه به زبان برنامه‌نویسی Lean پروژه‌ای چندساله برای یک جامعه از متخصصان باشد، Claude به تنهایی در ۱۱ روز موفق به این کار شد. ‏مهم‌ترین نکات این موفقیت: ‏- نوشتن ۱۳ میلیون خط کد در زبان Lean. ‏- اثبات ۲۹,۵۰۰ لم میانی در طول فرآیند. ‏- حجم پردازش معادل ۶ میلیارد توکن خروجی. ‏کوین بازارد، از ریاضی‌دانان برجسته حوزه فرمالیزه کردن، این دستاورد را «خارق‌العاده» خواند و تأیید کرد که تمام مراحل بر اساس اصول پایه ریاضیات و بدون هیچ فرض غلطی انجام شده است. شما می‌توانید جزئیات فنی این پژوهش را در گزارش رسمی Anthropic مطالعه کنید.

خب دیشب یکم وقت گذاشتم و یکپارچه اشون کردم...😁 https://mohammadfallah1373.github.io/Introduction-to-Git-and-GitHub/

🔰ریاضی تو بازار کار بدرد میخوره؟ ✅️پاسخ یه "بله" بلند و محکم. 🔰وقتی کلی دیتای مالی و فروش و بازرسی و نمره مقابلته. بکار بردن ترکیب های ابتکاری از ریاضیات پایه برای ساختن kpI های جدید شبیه یه چوب جادویی عمل میکنه. 🔰با استفاده از مهارتتون توی ریاضی میتونید تمایز قابل توجهی نسبت به بقیه در فهم شاخص ها و ساختن شاخص های کلیدی بدست بیارید. 🔰کدوم درسا ⁉️ 1️⃣آمار 2️⃣ماتریس 3️⃣ریاضیات عمومی و پایه

You're helping a friend with a bug in a script called fix_permissions.py, which fixes the permissions of a bunch of files. To work on the file, you make a copy and call it fix_permissions_modified.py. What command do you need to run after solving the bug to send the patch to your friend?

✅سلام به همگی. ما داریم یه تستی روی محتوی و شیوه آموزشیمون انجام میدیم. ممنون میشم توی ازمایش زیر شرکت کنید. اگه با گیت و گیتهاب آشنایی ندارید. فایل های زیر رو دانلود کنید و توی یه پوشه از کامپیوتر قرار بدهید. (توی گوشی هم میشه فقط زیباییش کمتره). بعد از مطالعه توی تست های زیر شرکت کنید تا ما میزان اثر بخشیش رو متوجه بشیم. (لطفا از هوش مصنوعی استفاده نکنید). کل فرایند احتمالا حدود 30 دقیقه ازتون زمان ببره. ممنون.

آزمون انتخابی تیم مسابقات ریاضی دانشجویی دانشگاه گيلان به زودی در دانشکده علوم ریاضی دانشگاه گيلان برگزار می‌شود. تاریخ آزمون به زودی اعلام خواهدشد. لطفاً درصورتی که قصد شرکت در این آزمون را دارید برای اطلاع از تعداد افرادی که در آزمون شرکت می‌کنند و چاپ برگه‌ی سؤالات به تعداد مورد نیاز فرم زیر را تکمیل کنید. https://forms.gle/5nrKXym7vrGwy2Vu9 پنج نفر اول که بیشترین امتیاز را کسب کنند به عنوان اعضای تیم امسال معرفی خواهندشد. چهل و هشتمین دوره از مسابقات ریاضی دانشجویی از ٢٧ مهرماه تا اول آبان ١۴٠۵ به میزبانی دانشگاه فردوسی مشهد برگزار می‌شود. جهت اطلاع از اخبار، اطلاعیه‌ها و سایر مطالب مرتبط می‌توانید به گروه زیر مراجعه کنید. https://t.me/+BybRGim4H1gzN2Q0 @uogmc

🔰از دانشجوها پیام دادن : کمتر درمورد ریاضی پست میذاری، بنظرت ریاضی رو ول کنیم بریم سمت موضوعات دیگه⁉️ 1️⃣ما اصلا برا کسی نسخه نمیپیچیم. چون هرکسی باید خودش هرچیزی رو میخواد تجربه کنه، لذت ببره، بیاموزه و تصمیم بگیره. 2️⃣تجربه ای لذت بخش تر از حل مسائل ریاضی پیدا نکردم هنوز(خوندن درسای دانشگاه رو با حل مسئله یکی نگیرید)، اگه برگردم به اون سن، حتما سخت تر و شدیدتر دنبالش میکنم، منتها در هر دوره از زندگی متناسب با زمان و شرایط باید اقداماتی انجام بشه که اجتناب ناپذیره. 3️⃣بقیه اشم تو ویدئو بالا گفته شده.

سلام قابل توجه شرکت‌کنندگان و سرپرستان محترم تیم‌ها روز دوشنبه ۲۷ مهرماه روز ورود تیم‌ها و روز جمعه اول آبان‌ماه اختتامیه مسابقه است. آزمون در صبح روزهای سه‌شنبه و چهارشنبه ۲۸ و ۲۹ مهرماه برگزار می‌شود. لطفا هر چه سریعتر جهت ثبت نام در مسابقه اقدام بفرمایید. اطلاعات و فرم‌های لازم در وبسایت انجمن ریاضی ایران در دسترس است. https://fa.ims.ir/48thcompetition/

♾ اطلاعیه ♾ چهل و هشتمین مسابقه ریاضی دانشجویی انجمن ریاضی ایران از ۲۷ مهرماه تا اول آبان‌ماه سال ۱۴۰۵ به میزبانی دانشگاه فردوسی مشهد برگزار می‌شود. #48th @SCoIMS