🚨 CONVERSACIÓN COMPLETA El medallista Fields Terry Tao se sienta con @jessemhan y @jdlichtman de Math Inc para una conversación sobre el futuro de las matemáticas. "Me convencí de que este era el futuro de las matemáticas [...] Es un estilo diferente de escribir pruebas que, de hecho, es más fácil de leer en algunos aspectos—más difícil de verificar por humanos, pero ves más claramente las entradas y salidas de una prueba, que la escritura tradicional a menudo oculta [...] Creo que la definición de un matemático se ampliará."