مجموعة بيانات إثبات نظرية DeepTheorem

DeepTheorem عبارة عن مجموعة بيانات استدلال رياضي تهدف إلى تعزيز قدرات الاستدلال الرياضي لنماذج اللغة الكبيرة (LLMs) من خلال إثبات النظرية غير الرسمية استنادًا إلى اللغة الطبيعية.

تحتوي هذه المجموعة من البيانات على 121,000 نظرية وبرهان غير رسميين على مستوى المنظمة البحرية الدولية (IMO)، تغطي مجالات رياضية متعددة. كل زوج من البراهين النظرية مُعلّق عليه بدقة، كما يلي:

• إثباتات o3-mini: الأدلة التي تم إنشاؤها أو التحقق منها بواسطة نموذج o3-mini تضمن الدقة الرياضية.
• قيمة الحقيقة: قيمة الحقيقة للنظرية المستخرجة من دليل o3-mini، والتي تشير إلى ما إذا كانت النظرية صحيحة أم خاطئة.
• الصعوبة: تم تصنيفها حسب التعقيد لتناسب قدرات LLM المختلفة.
• الفئات: تغطي الجبر، والهندسة، ونظرية الأعداد، وما إلى ذلك.
• المتغير: متغير إيجابي أو سلبي للنظرية التي لها نفس قيمة الحقيقة أو قيمة معاكسة للنظرية الأصلية.