Formalización
La Asociación Colombiana de Agencias de Viajes y Turismo (Anato) anticipa un 2026 marcado por incertidumbres políticas y un crecimiento económico moderado del 2,8%. Entre los principales retos, destaca la necesidad de aumentar la formalización del sector y garantizar la seguridad para los viajeros. Paula Cortés Calle, presidenta ejecutiva de Anato, enfatiza la importancia de políticas públicas estables y cooperación entre el sector público y privado.
Reportado por IA
Una disputa de una década en matemáticas sobre la prueba de la conjetura ABC de Shinichi Mochizuki podría resolverse mediante formalización computacional. Mochizuki ha sugerido traducir su obra de 500 páginas al lenguaje de programación Lean para verificación automatizada. Este enfoque podría tender puentes entre los bandos en conflicto en la comunidad matemática.