Posting tamu Grant Sanderson berargumen bahwa memecahkan masalah dan menghasilkan bukti selama ini telah menjadi proxy dari tujuan sebenaranya para matematikawan: memajukan pemahaman manusia. Ketika bukti dapat dihasilkan tanpa pemahaman tersebut, hal ini akan menghambarkan nilainya sebagai proxy. Sanderson menyarankan bahwa komunitas matematika harus mendefinisikan konsep 'penjelasan yang terinspirasi' dengan lebih tegas dan memberikan pengakuan akademik pada jenis kerja tersebut serupa dengan yang pernah diberikan pada pembuatan bukti baru untuk masalah terbuka secara historis.

Ia berpendapat bahwa meningkatkan penjelasan yang terinspirasi adalah langkah penting untuk membantu orang di luar matematika memahami secara lebih baik kontribusi para matematikawan. Jika orang luar percaya bahwa mesin pembuat bukti membuat para matematikawan sudah usang, sementara orang dalam melihatnya sebagai salah paham, maka tanggung jawab komunitas ini adalah secara lebih baik memproyeksikan nilai-nilai sebenaranya melalui jenis kerja yang mereka anugerahkan. Orang luar dapat dimaafkan atas pemahaman yang salah ini jika pekerjaan yang paling dihormati cenderung menghasilkan bukti, sementara klarifikasi dan eksposisi diperlakukan sebagai kelas kedua.

Sanderson mengakui bias pribadi yang jelas, dengan mencatat karier matematika yang tidak tradisionalnya yang fokus pada pembuatan video. Ia menjelaskan bahwa meningkatkan penjelasan yang terinspirasi tidak berarti popularisasi, melainkan setiap pekerjaan yang bertujuan utama untuk menjawab pertanyaan 'bagaimana Anda akan berpikir tentang ini?', bahkan jika materi topiknya memerlukan keahlian mendalam untuk dihargainya. Ia mendefinisikan penjelasan yang terinspirasi sebagai pekerjaan di mana definisi berada di tengah narasi, konstruksi baru hanya masuk jika masalah telah ditetapkan dengan jelas, dan tidak ada salahnya untuk memulai dengan ide yang belum sepenuhnya benar tetapi dapat dirasikan.

Entitas Kunci: Orang: Grant Sanderson, Michael Nielsen, T.