💎 Emily Riehl, reconocida profesora de matemáticas en la Universidad Johns Hopkins: "Esto es lo que creo que podría ser el futuro de las matemáticas. Podríamos tener lenguajes formales específicos de dominio: para la geometría algebraica, también para las matemáticas condensadas, también para la geometría diferencial, muchos subcampos diferentes. Y los matemáticos podrán aprender rápidamente a escribir pruebas en nuevos sistemas formales gracias a la ayuda de un asistente de prueba por computadora, Les dirá cuándo están haciendo algo correctamente o algo incorrectamente." Pronto, la conversación completa con Math, Inc.’s @jessemhan y @jdlichtman.