🚨 محادثة كاملة يجلس الحائز على ميدالية فيلدز تيري تاو مع @jessemhan و@jdlichtman من Math Inc لمناقشة مستقبل الرياضيات. "اقتنعت أن هذا هو مستقبل الرياضيات [...] إنه أسلوب مختلف في كتابة الإثباتات، وهو في الواقع أسهل في القراءة من بعض النواحي—أصعب في التحقق من قبل البشر، لكنك ترى بوضوح أكبر مدخلات ومخرجات الإثبات، التي غالبا ما تخفيها الكتابة التقليدية [...] أعتقد أن تعريف الرياضي سيتسع."