O post de convidado de Grant Sanderson argumenta que resolver problemas e gerar provas serviram por muito tempo como proxies do verdadeiro objetivo dos matemáticos: avançar o entendimento humano. Quando as provas podem ser geradas sem esse entendimento, isso enfraquece seu valor como proxy. Sanderson propõe que a comunidade matemática defina mais firmemente uma noção de 'explicação motivada' e conceda a esse tipo de trabalho um reconhecimento acadêmico semelhante ao que gerações de novas provas de problemas abertos historicamente receberam.

Ele acredita que elevar explicações motivadas é um passo importante para ajudar aqueles fora da matemática a compreender melhor o que os matemáticos contribuem. Se os externos acreditarem que as máquinas geradoras de provas tornam os matemáticos obsoletos, enquanto os internos veem isso como um equívoco, é incumbente desta comunidade projetar melhor seus verdadeiros valores por meio do tipo de trabalho que ela recompensa. Os externos podem ser perdoados por este equívoco se o trabalho mais celebrado tende a favorecer a geração de provas, enquanto a esclarecimento e a exposição são tratados como de segunda categoria.

Sanderson reconhece um viés pessoal óbvio, notando sua carreira não tradicional em matemática focada na produção de vídeos. Ele esclarece que elevar explicações motivadas não significa popularização, mas qualquer trabalho que principalmente visa responder à pergunta 'como você pensaria nisso?', mesmo que o assunto exija expertise profunda para ser apreciado. Ele define uma explicação motivada como trabalho onde as definições estão no meio da narrativa, novas construções entram apenas se o problema tiver sido claramente estabelecido, e está bem começar com uma ideia que não está completamente correta, mas é relatable.

Entidades-chave: Pessoas: Grant Sanderson, Michael Nielsen, T.