دیپ‌مایند از دو مدل AlphaGeometry 2 و AlphaProof رونمایی کرده که تونستن ۴ سوال از ۶ سوال المپیاد جهانی ریاضی امسال رو حل کنن و مدال نقره این المپیاد رو کسب کنن. این دو مدل با هم تونستن نمره ۲۸ رو کسب کنن که نهایت نمره کسب شده در این المپیاد ۴۲ه. برای سوالات هندسه از مدل AlphaGeometry 2 استفاده کرده و برای باقی سوالات که نیاز به اثبات دارن از مدل AlphaProof. این مدل رو با fine-tune کردن مدل Gemini ساختن. این مدل از یه زبان برنامه‌نویسی به اسم Lean استفاده می‌کنه برای یاد دادن به خودش استفاده می‌کنه تا بتونه از مشکلاتی که زبان انسانی برای اثبات‌ها به وجود میاد جلوگیری کنه. در هر صورت رسیدن به همچین سطحی از توانایی اثبات و حل سوال برای یه مدل زبانی بی‌سابقه‌ست.

https://deepmind.google/discover/blog/ai-solves-imo-problems-at-silver-medal-level/

🌑 آقای هوش مصنوعی🌑
🎥رسانه هوش مصنوعی دانشگاه تهران

@MrArtificialintelligence

تدریس خصوصی پایتون
از مبتدی تا پیشرفته
اصولی و پروژه محور

👩🏻‍🏫امکان شرکت در کلاس به صورت آنلاین و حضوری،نیمه خصوصی و خصوصی
✔️برگزاری آزمون تعیین سطح
🎁تخفیف ویژه برای ثبت نام گروهی
🎁تخفیف ویژه دانشجویی

🟣برخی سرفصل های دوره:
انواع داده در پایتون
شی گرایی
کتابخانه pygame
کار با فایل
تحلیل داده
طراحی بات برای پیام رسان بله
و...

📲جهت کسب اطلاعات بیشتر از طریق آیدی زیر با ما در ارتباط باشید:

@PyThopia

اطلاعات تکمیلی در مورد المپیک فناوری

با عرض سلام و تبریک به دانش آموختگان عزیز دانشکده ریاضی و علوم کامپیوتر دانشگاه علم و صنعت در مقاطع کارشناسی، کارشناسی ارشد و دکتری در سال تحصیلی 1403-1402، بدینوسیله از ایشان برای شرکت در جشن دانش آموختگی دانشکده در تاریخ شنبه ۱۷ شهریور ساعت ۱۵ دعوت به عمل می‌آید.

جهت ثبت نام لطفاً به @cssa_iust_admin در تلگرام پیام دهید.


با تشکر،

دوشنبه ۵ شهریور، در آستانه سال تحصیلی جدید و روز کارمند، مراسم گرامیداشتی در راستای قدردانی از همکاران دانشکده، برگزار شد. در این جلسه، ضمن تبریک و تبادل نظر صمیمانه، با اهدای کارت هدیه و ضیافت ناهار از زحمات همکاران محترم تقدیر شد.