Ahora que he vuelto a Princeton tras el evento de lanzamiento expMath de @DARPA, estoy comenzando a recopilar mis pensamientos sobre el futuro de la autoformalización, la IA para las matemáticas y la IA para la ciencia en un sentido más amplio. Aquí es donde he llegado. "Sobre las fricciones productivas y no productivas"