ألفابروف: الذكاء الاصطناعي يحصل على الميدالية الفضية في أولمبياد الرياضيات (2024)

حدث تاريخي

الأولمبياد الدولي للرياضيات (IMO) هي المسابقة الأكثر شهرة للمواهب الشابة في الرياضيات. 6 مسائل، 9 ساعات من التفكير، أكثر من 600 مرشح من جميع أنحاء العالم. في يوليوز 2024 (IMO Bath، المملكة المتحدة)، شارك "مرشح" جديد خارج المنافسة: AlphaProof، ذكاء اصطناعي طورته Google DeepMind.

النتيجة مذهلة: 28 نقطة من أصل 42، أي نقاط الحاصل على الميدالية الفضية — بنقطة واحدة فقط عن الميدالية الذهبية. حل AlphaProof 4 مسائل من أصل 6، بالتعاون مع AlphaGeometry 2 لمسائل الهندسة.

التفصيل الذي يغير كل شيء: Lean

ما يميز AlphaProof عن نماذج اللغة العادية (ChatGPT، Gemini في وضع المحادثة): أنه لا "يثرثر". بل يكتب براهينه في Lean، مساعد برهان صوري طُور في Microsoft Research وCarnegie Mellon.

في Lean، كل خطوة منطقية تُتحقق من طرف الآلة. إذا كتبت "إذن $x=2$" دون تبرير صحيح، يرفض النظام السطر. لا "من الواضح"، لا "نلاحظ بسهولة أن". كل استنتاج يجب أن يكون قابلاً للتتبع حتى البديهيات.

النتيجة: عندما كتب AlphaProof برهاناً قَبِله Lean، لدينا اليقين الرياضي المطلق بأن هذا البرهان صحيح. ليس 99%، ليس "محتمل": 100%.

لماذا هذا درس لك (تلميذ باكالوريا العلوم الرياضية)

مصححو الباكالوريا ليسوا مترجمات Lean — لكن متطلباتهم نفسها. إليك ما يؤكده AlphaProof:

1. البرهان الصارم هو سلسلة من الاستنتاجات الصريحة، حيث كل حلقة مبررة بمبرهنة أو تعريف.
2. القفزات المنطقية ("نلاحظ أن"، "من الواضح") تُعاقَب: إذا كانت الآلة قادرة على اكتشافها ورفضها، فالإنسان أكثر.
3. التحرير ليس زينة، بل هو البرهان نفسه. "فكرة" غير مكتوبة بشكل صوري لا قيمة لها.

كيف تعلم AlphaProof؟

المبدأ: التعلم بالتعزيز. ينطلق الذكاء الاصطناعي بمعرفة أساسية للبديهيات والمبرهنات، يولد محاولات براهين، يجعل Lean يتحقق من كل محاولة، ويتعلم من أخطائه (على ملايين المحاولات).

هذا بالضبط ما يجب على تلميذ باكالوريا العلوم الرياضية فعله على نطاق أصغر: الكتابة، التصحيح، إعادة المحاولة. التكرار المنضبط يتفوق على الموهبة المعزولة.

الحد: AlphaProof لا يبتكر شيئاً

لنكن صادقين: AlphaProof لا يخلق رياضيات جديدة. إنه يجمع بذكاء أدوات موجودة لحل مسائل مطروحة. عالم الرياضيات الكبير Terence Tao أشاد بالإنجاز مع تذكيره بأن الإبداع الحدسي — صياغة أسئلة جديدة للاستكشاف — يبقى من اختصاص البشر.

ما يجب تذكره

• تجاوز الذكاء الاصطناعي عتبة "المسائل الصعبة" بشكل صوري. باكالوريا العلوم الرياضية لم تعد حدود الآلة.
• لتبقى ذا صلة في الرياضيات، يجب أن تشتغل على المنهجية والصرامة في التحرير — وليس حفظ الإجراءات (الذكاء الاصطناعي يتفوق فيها).
• كفاءة المستقبل في الرياضيات: طرح أسئلة جيدة، وليس فقط حل مسائل معروفة.

انظر أيضاً: كيفية تحرير برهان، كيفية الاستشهاد بمبرهنة، وصيغتنا اكتشف الخطأ لشحذ نظرتك النقدية.