Repetir apagado

1

Repetir uno

all

Repetir todo

Repensando las matemáticas en la era de la inteligencia artificial
Identificación fotográfica] 05 Enero 2026, 08:15
El software Lean que traduce las matemáticas a código.

Durante décadas, la inteligencia artificial (IA) fue una promesa intermitente: deslumbraba en los laboratorios, se apagaba en los inviernos tecnológicos y volvía a encenderse con cada salto de potencia de cálculo. Hoy esa promesa es una realidad, que obliga a repensar múltiples aspectos de nuestra sociedad y así optimizar el delicado equilibrio entre riesgo y oportunidad que siempre acompaña a las revoluciones tecnológicas. Esto resulta especialmente cierto en el caso de la investigación en matemáticas, donde en los últimos tiempos se han empleado modelos de aprendizaje automático (que sustentan la inteligencia artificial moderna) para apoyar la obtención de demostraciones matemáticas originales.

Seguir leyendo


Comentarios (0)
1000