NoticiasTecnología

Repensando las matemáticas en la era de la inteligencia artificial

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

Deja una respuesta

Tu dirección de correo electrónico no será publicada. Los campos obligatorios están marcados con *