دیپ‌مایند از دو مدل 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