💎 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 geometría algebraica, también para matemáticas condensadas, y para geometría diferencial, muchos subcampos diferentes. Y los matemáticos podrán aprender rápidamente a escribir demostraciones en nuevos sistemas formales gracias a la ayuda de un asistente informático de demostraciones, Les dirá cuándo están haciendo algo bien o mal." Conversación completa con @jessemhan y @jdlichtman de Math, Inc. pronto.