Temas en tendencia
#
Bonk Eco continues to show strength amid $USELESS rally
#
Pump.fun to raise $1B token sale, traders speculating on airdrop
#
Boop.Fun leading the way with a new launchpad on Solana.
Terence Tao dice que el verdadero avance no es solo que la IA resuelva los problemas de Erdő. Es como reescribe el artículo, una y otra vez.
Pero más allá de la solución, Tao destaca algo más profundo: la aparición de ciclos de escritura-reescritura impulsados por IA para la exposición matemática.
A través de una combinación de herramientas como ChatGPT y Aristotle (Lean formalizer), los usuarios de IA produjeron colaborativamente no solo la demostración, sino múltiples borradores de un artículo completo que incluían explicaciones en lenguaje natural, encuadres históricos y conexiones literarias.
Este nuevo modo de narrar historias matemáticas rápidas, rutinariamente imposible con herramientas tradicionales, ahora es real.

Populares
Ranking
Favoritas
