🚨 ÚLTIMA HORA: El medallista Fields Terry Tao sobre el futuro de las matemáticas (3/3): "Me convencí de que este era el futuro de las matemáticas y comencé a dar entrevistas sobre esto. 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 se ven 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á.” Pronto la conversación completa con Math, Inc. @jessemhan y @jdlichtman.