Formalisation
L'Association colombienne des agences de voyages et de tourisme (Anato) anticipe un 2026 marqué par des incertitudes politiques et une croissance économique modérée de 2,8 %. Les principaux défis incluent le renforcement de la formalisation du secteur et la garantie de la sécurité des voyageurs. Paula Cortés Calle, présidente exécutive d'Anato, insiste sur la nécessité de politiques publiques stables et de coopération public-privé.
Rapporté par l'IA
Un différend de dix ans en mathématiques concernant la preuve de la conjecture ABC par Shinichi Mochizuki pourrait être résolu par une formalisation informatique. Mochizuki a suggéré de traduire son œuvre de 500 pages dans le langage de programmation Lean pour une vérification automatisée. Cette approche pourrait combler les divisions entre les camps rivaux de la communauté mathématique.