Geospatial Information Technologists Association(GITA)
💠 نوآوری و خلق ارزش با فناوری اطلاعات مکانی
💠حامی استارت آپ های ژئوماتیک
🔷️WebGIS,2D/3D/4D GIS,SDI
🔷️Python, Machine /Deep Learning
🔷️AI, Smart Home&City,BIM
09124320328
@Fazel_Shahcheragh
Post #2900
484
Forwarded from Geek Alerts
دیپمایند از دو مدل AlphaGeometry 2 و AlphaProof رونمایی کرده که تونستن ۴ سوال از ۶ سوال المپیاد جهانی ریاضی امسال رو حل کنن و مدال نقره این المپیاد رو کسب کنن. این دو مدل با هم تونستن نمره ۲۸ رو کسب کنن که نهایت نمره کسب شده در این المپیاد ۴۲ه. برای سوالات هندسه از مدل AlphaGeometry 2 استفاده کرده و برای باقی سوالات که نیاز به اثبات دارن از مدل AlphaProof. این مدل رو با fine-tune کردن مدل Gemini ساختن. این مدل از یه زبان برنامهنویسی به اسم Lean استفاده میکنه برای یاد دادن به خودش استفاده میکنه تا بتونه از مشکلاتی که زبان انسانی برای اثباتها به وجود میاد جلوگیری کنه. در هر صورت رسیدن به همچین سطحی از توانایی اثبات و حل سوال برای یه مدل زبانی بیسابقهست.
https://deepmind.google/discover/blog/ai-solves-imo-problems-at-silver-medal-level/
hadi @geekalerts
https://deepmind.google/discover/blog/ai-solves-imo-problems-at-silver-medal-level/
hadi @geekalerts
- 👏 1





