O professor Fábio Tal, do IME-USP, em colaboração com o pesquisador Alejandro Passeggi, Universidad de la República (UdelaR), Uruguai, atingiu um marco respeitável com a publicação do seu artigo Conditions implying annular chaos na Inventiones Mathematicae. A revista figura entre as 3 melhores revistas matemáticas mundiais e é uma das publicações acadêmicas mais seletivas e reconhecidas na área.
Um ponto de destaque do artigo é a relação com métodos de programação e inteligência artificial, pois sugere novas maneiras de encontrar caos por meio de provas assistidas por computadores. Simulações computacionais são hoje uma ferramenta essencial para investigar sistemas complexos. Em muitas situações, elas revelam comportamentos aparentemente caóticos: pequenas mudanças nas condições iniciais levam a trajetórias completamente diferentes, e a evolução do sistema parece resistir a qualquer previsão simples. Mas, em matemática, observar caos em uma tela não é o mesmo que provar que ele existe. Muitos sistemas estudados por matemáticos, físicos e engenheiros parecem caóticos em experimentos numéricos, mas permanecem sem demonstração formal de caoticidade.
O artigo propõe novos métodos topológicos para provar a existência de caos em sistemas dinâmicos. A abordagem permite tratar exemplos que há décadas aparentavam caoticidade em simulações numéricas, mas para os quais ainda não havia uma prova matemática definitiva. Um dos aspectos centrais do trabalho é que esses métodos podem ser combinados com computação rigorosa, permitindo transformar evidências obtidas por simulação numérica em demonstrações matemáticas certificadas.
fonte: https://link.springer.com/article/10.1007/s00222-026-01438-0/figures/1https://link.springer.com/article/10.1007/s00222-026-01438-0/figures/1
O trabalho do professor Fábio Tal e de Alejandro Passeggi fornece ferramentas para preencher essa lacuna em uma classe importante de sistemas, especialmente aqueles associados à dinâmica em superfícies e fenômenos anulares. A contribuição não está apenas em provar caos em exemplos específicos, mas em criar um método geral: uma ponte entre evidência computacional e certeza matemática, usando técnicas da topologia e da teoria dos sistemas dinâmicos. A abordagem reforça uma tendência moderna da matemática: combinar teoria abstrata com ferramentas computacionais rigorosas, abrindo caminho para validar matematicamente fenômenos complexos observados em modelos naturais e matemáticos.