ראשי לקרוא ולצפות הוכחה מתמטית
לפעמים מתמטיקאים מעגלים פינות, ולא מפרטים את כל שלבי ההוכחה. האם קיצורי דרך כאלה לגיטימיים?
לכאורה הוכחה היא פסגת הטיעון המתמטי, אבל במקרים רבים הוכחות אינן מסבירות דבר ואינן משכנעות בדבר. אז למה צריכים אותן?
כבר ב-1998 הצליח מחשב להוכיח את השערת קפלר, אך לא הייתה דרך לבדוק את החישובים שלו
מחשב-על סייע לפתור בעיה מתמטית בת 30 שנה, אך ההישג מעורר מחלוקת בשאלת אופיו של המחקר המתמטי בעתיד