تثبيت أرسطو. احصل على مفتاح API. شغلها من جهازك الطرفي. اختر أي مسألة مفتوحة في الرياضيات وإدخال في أرسطو (بلغتها الطبيعية!). بعد عدة ساعات إما أن تنتج الاختبار إثباتا رسميا كاملا أو قد تفشل. 👏