Ahora que he vuelto a Princeton tras el evento de inicio de @DARPA expMath, empiezo a recopilar mis ideas sobre el futuro de la autoformalización, la IA para las Matemáticas y la IA para la Ciencia en general. Aquí es donde tengo que ir. "Sobre fricciones productivas e improductivas"