Hacker News Front Page · Terence Tao ·
The Future of Mathematics
La inteligencia artificial ya puede producir resultados matemáticos que antes bastaban para publicar, pero eso no elimina la necesidad de las matemáticas: la disciplina también consiste en razonar con rigor, elegir qué preguntas importan y decidir qué cuenta como comprensión. El autor propone abordar problemas más difíciles, perseguir ideas de mayor alcance y explorar nuevas formas de hacer matemáticas con tecnologías como los asistentes de pruebas y las redes neuronales. Sostiene que la comunidad debe preservar la capacidad humana de deliberar y apoyar a la próxima generación mientras redefine sus prácticas y valores.
[This is a guest post by Jeremy Avigad. This blog post was initially written in a different file format and converted using AI. — T.] “Mathematics underwent, in the nineteenth century, …