Emilio PV

Economía/UNAM

[Emilio PV @PalaciosAV]

.

[Anthropic @AnthropicAI]

Anthropic’s Economics team is sharing a new model of how AI might affect economic growth, jobs, wages, and more by 2030.

Explore the scenarios, tell us what you think will happen, and see how your answers compare to more than 10,000 Americans. https://t.co/AvQlEZNxR0

[Financial Times @FT]

When is an economist not an economist? https://t.co/hd2t8T0TGC

[NBER @nberpubs]

Local projections that interact macro shocks with measures of the systematic policy regime identify policy causal effects, just like standard regressions on policy shocks, from Ed Manuel and @ChristianKWolf https://t.co/ZDFS0PtEQD

[Noah Smith 🐇🇺🇸🇺🇦🇹🇼 @Noahpinion]

No economist has changed my worldview in the past few years as much as Jesús Fernández-Villaverde. He's a beast.

[Emilio PV @PalaciosAV]

@ximenapareedes Siguiente nivel: Sobrevivir a los 30 jajaja

[Emilio PV @PalaciosAV]

@ximenapareedes Cuál es?

[Footy Humour @FootyHumour]

You’re Mbappé and you turn around:

[Cantor’s Paradise @Cantor_Paradise]

Einstein, Bohr and the Great Debate About the Nature of Reality

https://t.co/J4QwtQ3DZa

[CNI México @CNI_Mexico]

Totalmente desplazada la comunidad de Alcozacán, bastión del movimiento indígena en Guerrero

Texto y video tomados de INFO GRO

#AltoALosAtaquesContraLosPueblosDeGuerrero

https://t.co/vsmTXfglqS

[Marcos Ross Fernandes @marcos_ross_f]

Suppose three economists report inflation expectations to a central bank, say: 1, 5, 3. (%)

If the central bank averages these forecasts directly, the aggregate expectation is 3.

Now suppose economists first average their expectations with their friends before reporting them...

[Emilio PV @PalaciosAV]

@ximenapareedes Maytag. Yo tengo una lavadora de esa marca y es excelentísima, muy recomendada.

[Emilio PV @PalaciosAV]

@ximenapareedes Que ya se acabe el año por amor a de Dios.

[Emilio PV @PalaciosAV]

@ximenapareedes Todavía existe la hora feliz?

[El Malaguero @ElMalaguero]

Y una vez mas

[Emilio PV @PalaciosAV]

Que ya aprueben la reforma laboral de media hora semanal.

[Carlos Santana @DotCSV]

🔴 ¡HITO de VERIFICACIÓN EN MATEMÁTICAS!

El equipo de Math Inc. cuyo objetivo es "solucionar las matemáticas" con IA, han anunciado que han completado la autoformalización de dos teoremas asociados al trabajo por la que la matemática Maryna Viazovska recibió la medalla Fields: empacado óptimo de esferas en 8 y 24 dimensiones.

Aquí formalizar los teoremas no significa que la IA los haya resuelto per se, sino que se ha encargado de generar automáticamente una prueba formal.

Originalmente este era un proyecto de formalización que se inició en 2024 y que conlleva un trabajo arduo, lento y artesanal para ir demostrando paso a paso que los teoremas se cumplen usando Lean como lenguaje.

Desde Noviembre 2025 el equipo de Math. Inc se involucró en el proyecto y en sólo 5 días Gauss terminó de verificar el teorema para 8 dimensiones (algo que hubiera llevado 6 meses de trabajo), y posteriormente en 2 semanas se encargó de autoformalizar el teorema para 24 dimensiones, usando sólo el paper como input.

Es decir, usando Gauss en 3 semanas se ha realizado un trabajo que normalmente hubiera llevado años!!

En el proceso de formalización la IA también ha depurado y completado pasos intermedios, sellando grietas de la prueba original. Automáticamente!

El impacto de este hito es que se está demostrando que la IA sí puede usarse para autoformalización a escalas no vistas previamente. Esto trae un cambio de paradigma en las matemáticas donde las máquinas van a ayudar a comprobar, verificar, indexar e incluso reutilizar todo este conocimiento.

Hasta hace nada formalizar era carísimo en tiempo humano, pero si el coste baja radicalmente esto podría hacer posible la existencia de un "internet de teoremas" donde el conocimiento ya no sea una colección de papers con pruebas escritas sino un grafo de conocimiento compilado donde incluso se pueda componer nuevos resultados automáticamente (algo ideal incluso para que futuras IAs trabajen en buscar nuevo conocimiento).

La IA continúa avanzando con pie firme a la automatización de la búsqueda de conocimiento 🫡

[emilio lindosa lucas @411emilio]

Posible demostración de la conjetura de Langlands geométrica https://t.co/4N2TCtV5Ob a través de @emulenews

[Emilio PV @PalaciosAV]

@ximenapareedes Jovenazo el muchacho. El mío de 8 anda al cien, solo un poquito malhumorado jaja pero nada. Está en su prime ese chaparrito.

[Emilio PV @PalaciosAV]

@ximenapareedes Cuantos años tiene?