♾ مدل AlphaProof: جهش بزرگ دیپ‌مایند در حل مسائل المپیاد جهانی ریاضی
گوگل DeepMind با معرفی AlphaProof نشان داد که هوش مصنوعی دیگر فقط حل‌کننده‌ی «مسائل معمولی» نیست؛ بلکه می‌تواند اثبات‌های رسمی ریاضی را در محیط Lean تولید کند — آن هم در سطح IMO!
🚀 مهم‌ترین دستاوردها
✅ حل ۳ مسئله از ۵ مسئلهٔ غیرهندسی IMO 2024
(از جمله سخت‌ترین سؤال P6 که فقط ۵ نفر از شرکت‌کنندگان توانستند حل کنند!)
🥈 عملکرد ترکیبی AlphaProof + AlphaGeometry 2 معادل مدال نقره المپیاد
📊 رکورد جدید در بنچمارک‌های:
🔸miniF2F
🔸formal-IMO
🔸Putnam
🔧 مدل AlphaProof چگونه کار می‌کند؟
🤖 آموزش روی ۸۰ میلیون مسئلهٔ خودکار-فرمالیزه‌شده
🧠 مدل ۳ میلیارد پارامتری + جستجو در درخت اثبات
🎯 استفاده از Test-Time Reinforcement Learning (TT-RL)
یعنی مدل هنگام حل هر مسئله، خودش را به‌صورت زنده با آن مسئله تطبیق می‌دهد.
⏳ نکته مهم
تولید اثبات برای برخی مسائل چند روز محاسبه نیاز دارد،
اما این روش یک جهش اساسی در «استدلال ریاضی رسمی» محسوب می‌شود.
🔗 منبع علمی (Nature)
https://www.nature.com/articles/s41586-025-09833-y
#AI #AlphaProof #DeepMind #Math #IMO #Research
@asrgooyeshpardaz
گوگل DeepMind با معرفی AlphaProof نشان داد که هوش مصنوعی دیگر فقط حل‌کننده‌ی «مسائل معمولی» نیست؛ بلکه می‌تواند اثبات‌های رسمی ریاضی را در محیط Lean تولید کند — آن هم در سطح IMO!
🚀 مهم‌ترین دستاوردها
✅ حل ۳ مسئله از ۵ مسئلهٔ غیرهندسی IMO 2024
(از جمله سخت‌ترین سؤال P6 که فقط ۵ نفر از شرکت‌کنندگان توانستند حل کنند!)
🥈 عملکرد ترکیبی AlphaProof + AlphaGeometry 2 معادل مدال نقره المپیاد
📊 رکورد جدید در بنچمارک‌های:
🔸miniF2F
🔸formal-IMO
🔸Putnam
🔧 مدل AlphaProof چگونه کار می‌کند؟
🤖 آموزش روی ۸۰ میلیون مسئلهٔ خودکار-فرمالیزه‌شده
🧠 مدل ۳ میلیارد پارامتری + جستجو در درخت اثبات
🎯 استفاده از Test-Time Reinforcement Learning (TT-RL)
یعنی مدل هنگام حل هر مسئله، خودش را به‌صورت زنده با آن مسئله تطبیق می‌دهد.
⏳ نکته مهم
تولید اثبات برای برخی مسائل چند روز محاسبه نیاز دارد،
اما این روش یک جهش اساسی در «استدلال ریاضی رسمی» محسوب می‌شود.
🔗 منبع علمی (Nature)
https://www.nature.com/articles/s41586-025-09833-y
#AI #AlphaProof #DeepMind #Math #IMO #Research
@asrgooyeshpardaz
Nature
Olympiad-level formal mathematical reasoning with reinforcement learning
Nature - Olympiad-level formal mathematical reasoning is achieved with reinforcement learning, with performance reaching a score equivalent to that of a silver medallist at the 2024 International...
🔥3❤1👏1🆒1