Formalização
A Associação Colombiana de Agências de Viagens e Turismo (Anato) antecipa um 2026 marcado por incertezas políticas e crescimento econômico moderado de 2,8 %. Os desafios principais incluem impulsionar a formalização do setor e garantir a segurança dos viajantes. Paula Cortés Calle, presidente executiva da Anato, enfatiza a necessidade de políticas públicas estáveis e cooperação público-privada.
Reportado por IA
Uma disputa de uma década em matemática sobre a prova da conjectura ABC de Shinichi Mochizuki pode ser resolvida usando formalização computacional. Mochizuki sugeriu traduzir seu trabalho de 500 páginas para a linguagem de programação Lean para verificação automatizada. Essa abordagem poderia unir divisões entre campos conflitantes na comunidade matemática.