💎 إميلي ريهل، أستاذة الرياضيات الشهيرة في جامعة جونز هوبكنز: "هذا ما أعتقد أن مستقبل الرياضيات يمكن أن يكون. قد يكون لدينا لغات رسمية خاصة بالمجال: للهندسة الجبرية، وأيضا للرياضيات المكثفة، وأيضا للهندسة التفاضلية، والعديد من المجالات الفرعية المختلفة. وسيتمكن علماء الرياضيات من تعلم كتابة البراهين بسرعة في أنظمة رسمية جديدة بفضل مساعد إثبات حاسوبي. سيخبرهم عندما يفعلون شيئا بشكل صحيح أو يخطئون." محادثة كاملة مع @jessemhan و@jdlichtman Math, Inc. قريبا.