كل المقالات
مؤسسة SAIR تعلن مبادرة لنماذج ذكاء اصطناعي مفتوحة للبحث الرياضي اليومي
أعلن تيرينس تاو في 18 سبتمبر خطة لأدوات ذكاء اصطناعي للرياضيات يقودها المجتمع البحثي، مع بقاء تفاصيل التطوير قيد الإعداد.
خطة مجتمعية للذكاء الاصطناعي في الرياضيات
أعلن تيرينس تاو مبادرة SAIR للنماذج الرياضية المفتوحة في 18 سبتمبر. وتبحث المؤسسة عن شركاء فيما لا تزال جوانب من خطتها قيد التطوير.
تشمل الأهداف الأولية فهم الحجج الرياضية وفحص المراجع وصياغة البراهين صورياً. وتتعهد المؤسسة بإتاحة أوزان النماذج والشيفرة بتراخيص مفتوحة، وتقييمات قابلة لإعادة الإنتاج، وتحكم الباحثين في مساهماتهم بالبيانات.
هذا إعلان مبادرة، وليس إصدار نموذج أو إنجازاً رياضياً مثبتاً. وستتوقف قيمتها العملية على الأدوات التي تقدمها والأدلة على موثوقيتها.