HeadlinesBriefing favicon HeadlinesBriefing.com

Caltech Mathathon: أول هاكاثون رياضي مدعوم بالذكاء الاصطناعي

Hacker News •
×

سيكون Caltech Mathathon الذي سيُعقد في 30-31 أكتوبر 2026 أول هاكاثون مخصص لرياضيات مستوى البحث. سيستخدم مئة فريق نماذج ذكاء اصطناعي متقدمة لحل الحدسيات المفتوحة وبناء نظريات رياضية جديدة، ثم الدفاع عن نتائجهم أمام كبار الرياضيين. حقق الذكاء الاصطناعي مؤخراً تقدماً رائداً في الرياضيات البحتة، بما في ذلك دحض حدسية Erdos للمسافة الوحدوية المستوية (مفتوحة منذ 80 عاماً)، وبناء أول مجموعة غير sofic صريحة (مفتوحة منذ 27 عاماً)، وإثبات أن السداسياتي يقبل بنية معقدة (مفتوحة منذ 78 عاماً). تثير هذه التقدمات أسئلة حول كيفية تسريع الذكاء الاصطناعي للاكتشافات الرياضية وما هو الدور المتبقي للرياضيين البشر. سيحصل المشاركون على أكثر من مليوني دولار من أرصدة الذكاء الاصطناعي لمعالجة المشكلات المفتوحة على مدى 40 ساعة. ستُمنح جوائز لأكثر النتائج الواعدة، مع جولة ثانية بعد التحقق المجتمعي. يتناول الحدث أسئلة جوهرية حول تأثير الذكاء الاصطناعي على البحث والتعاون الرياضيين.