- Hannah Cairo elaborou um contraexemplo que refuta a conjectura de Mizohata-Takeuchi, proposta há 40 anos
- A conjectura era considerada um dos principais problemas em aberto há muito tempo na área de análise harmônica
- Cairo abordou o problema com rigor usando fractais e diversas ferramentas, demonstrando grande criatividade na construção do contraexemplo
- Ela deu continuidade à pesquisa com o apoio sistemático da comunidade matemática e com a orientação de professores
- Cairo pretende seguir com a pesquisa de pós-graduação e também se dedicar à formação de jovens talentos da matemática
Hannah Cairo e a refutação da conjectura de Mizohata-Takeuchi
# Contexto e processo da resolução do problema
- Hannah Cairo se dedicou por semanas a um problema matemático
- Ao tentar provar o resultado, passou a questionar a validade universal da afirmação
- Depois de várias tentativas frustradas, construiu um contraexemplo usando fractais e outras ferramentas
- Foi necessário convencer o professor Ruixiang Zhang, preparando cuidadosamente toda a argumentação
- Por fim, mostrou com a apresentação do contraexemplo que a conjectura de Mizohata-Takeuchi não vale de forma universal
# A conjectura de Mizohata-Takeuchi e sua importância
- A conjectura de Mizohata-Takeuchi foi proposta nos anos 1980 e tem grande relevância dentro da análise harmônica
- Se houvesse um consenso geral sobre essa conjectura, vários resultados importantes seriam provados automaticamente
- A apresentação do contraexemplo gerou grande surpresa e entusiasmo na comunidade matemática
- Cairo ainda estava no ensino médio, demonstrando uma realização extraordinária para a sua idade
# Base de seu crescimento matemático
- Nascida nas Bahamas, Cairo pediu para participar diretamente de aulas na UC Berkeley e passou a interagir com professores
- Ela se interessou pela conjectura por meio de uma tarefa sugerida pelo professor Zhang, onde o tema aparecia como item opcional do trabalho
- Embora um caso simples da conjectura tivesse sido dado como exercício, Cairo se fixou na conjectura original em escala mais ampla
# O que são análise harmônica e análise de Fourier
- A análise harmônica é o campo da matemática que decompõe funções em ondas simples (como senoides e cossenoides)
- Essa área surgiu a partir dos estudos da equação do calor por Joseph Fourier no século XIX
- As séries de Fourier tornaram possível explicar fenômenos complexos e hoje são ferramentas centrais em várias aplicações, como compressão de arquivos digitais e projeto de sistemas de comunicação
- O problema de restrição de Fourier estuda que tipo de estrutura pode ser criada usando apenas ondas restritas
- A conjectura de Mizohata-Takeuchi afirmava que, ao usar apenas certos tipos de onda, só seria possível gerar formas compostas por linhas
# Descoberta do contraexemplo e experiência de pesquisa
- Depois de obter o primeiro contraexemplo, Cairo reformulou todo o problema no espaço de frequências
- A partir dessa nova perspectiva, redescobriu também uma forma mais simples de projetar o contraexemplo
- Em 2024, apresentou seus resultados na conferência internacional de análise harmônica e equações diferenciais parciais realizada em El Escorial
- Ao interagir com diversos pesquisadores, passou a apreciar as discussões matemáticas e demonstrou grande interesse por palestras públicas e orientação de estudantes
- Desde a infância, estudava livros de matemática por conta própria e, começando pela álgebra, ampliou gradualmente seu interesse até a análise harmônica
# Comunidade matemática e planos futuros
- Durante a COVID-19, participou do acampamento online do Berkeley Math Circle, onde teve seu talento matemático excepcional reconhecido
- Depois disso, também atuou como instrutora no programa
- A partir do outono de 2024, deve iniciar o doutorado na University of Maryland e continuar a pesquisa sob orientação do professor Zhang
- No futuro, pretende contribuir para a identificação e formação de jovens talentos da matemática
- O ICMAT e diversos programas internacionais de matemática têm como objetivo apoiar talentos promissores como Cairo
# Conclusão e impacto
- O feito de Hannah Cairo mostra que a criatividade jovem e a disposição para investigar são motores importantes da inovação
- Uma conjectura matemática que permaneceu sem prova por décadas foi superada por meio de uma nova perspectiva e de uma postura desafiadora
1 comentários
Comentários do Hacker News
Há um vídeo em que Hannah Cairo explica a conjectura e seu resultado link do vídeo no YouTube Terence Tao já havia sugerido no passado que poderia haver pesquisa adicional sobre isso, e fiquei curioso se alguém sabe mais a respeito post relacionado do Tao
Sem dúvida ela tem um talento extraordinário, mas não acho tão surpreendente assim que uma adolescente tenha alcançado esse feito descobertas matemáticas importantes muitas vezes surgiram no começo ou no meio dos 20 anos, e com frequência especialmente no início dos 20 ou até na adolescência, porque a matemática pura é, no fundo, uma área extremamente criativa
O sistema acadêmico atual tem muitas ineficiências, como o tempo que o pesquisador principal precisa dedicar ao próximo pedido de financiamento Esse sistema acaba forçando foco em resultados de curto prazo em vez de tentativas de longo prazo, então, fora de ambientes especiais como institutos de pesquisa, os jovens acabam tendo uma estrutura em que pensam com mais clareza
Sempre fico em dúvida com essa ideia de que jovens matemáticos fazem grandes realizações Não sei bem se isso foi historicamente verdade, nem se ainda é hoje Por exemplo, Andrew Wiles provou o Último Teorema de Fermat já na casa dos 40 Na prática, matemáticos mais velhos também foram tremendamente produtivos E essa afirmação costuma focar demais apenas em problemas glamourosos, enquanto conexões entre várias áreas e insights estruturais exigem longa experiência
Casos de gente na faixa dos 20 fazendo grandes feitos aconteceram uma vez com Evariste Galois no contexto da Revolução Francesa Adolescente? Na prática quase não existe exemplo disso
Talvez no começo resolver problemas fosse divertido, mas fazer isso profissionalmente todos os dias pode ficar entediante bem rápido
Também vale lembrar que a Fields Medal só é concedida a pessoas com até 40 anos
Independentemente da idade, tentar fazer algo original e novo em matemática já é algo extremamente difícil Fazer isso aos 17 anos é genialidade pura, parabéns
Fico curioso sobre quantos casos existem de alguém produzir algo muito antes da idade em que aquilo normalmente é aprendido Euler descobriu a famosa fórmula de Euler aos 41 anos (num nível que se aprende na escola), e Newton criou o cálculo aos 21 anos (nível de ensino médio até graduação) Galois morreu aos 20, e pelo que sei sua teoria costuma ser aprendida por volta do segundo ou terceiro ano da universidade
A lição que tirei de “um dia o professor passou um caso mais fácil e especial dessa conjectura como tarefa de casa” é: sempre dê a alguém a chance de brilhar
Também me lembro de quando, no primeiro ano da faculdade, encontrei pela primeira vez problemas “simples” como a conjectura de Collatz Eu esperava que problemas que pareciam tão simples tivessem necessariamente uma solução fácil Depois de alguns anos, ao perceber meus limites intelectuais, passei a buscar senso de realização em problemas práticos Mesmo assim, foi ótimo poder encarar seriamente esse tipo de desafio ainda como calouro, e é importante tentar problemas difíceis antes de ficar preso demais à realidade
Eu também adoto a estratégia de repassar todos os problemas difíceis para os mais novos
Essa frase do artigo — “Se a conjectura fosse verdadeira, vários resultados importantes seriam automaticamente demonstrados, e a comunidade ficou eufórica, mas também surpresa, porque quem provou isso foi uma jovem de 17 anos que nem terminou o ensino médio” — me incomoda bastante Se todos acreditavam que a conjectura era verdadeira e então surgiu um contraexemplo, isso por si só já é notícia, mas o artigo trata isso de forma fraca demais Também deveriam ter explicado um pouco melhor quais eram esses “outros resultados importantes” E não entendi por que aparece a referência à academia espanhola A pesquisadora é das Bahamas/EUA, e parece que uma jornalista espanhola está escrevendo com foco no contexto local
O artigo escreve o sobrenome dela errado já desde o primeiro parágrafo
Não precisa pegar tão pesado El Pais é um veículo espanhol O mais importante é considerar o contexto e o público Isso deve ser lido tanto como notícia sobre um problema de matemática quanto como história de uma jovem matemática e também como algo que aconteceu numa conferência de matemática (realizada na Espanha), entre outros contextos
O artigo está aqui link para o artigo no arXiv Tive a chance de assistir a uma disciplina de análise harmônica na pós-graduação, mas acabei desistindo porque na época era algo distante da minha pesquisa
Tem essa pergunta: ela vai começar o Ph.D. neste outono, mas isso já não é uma conquista de nível para se formar? Fico pensando por que alguém que resolveu um problema de décadas ainda precisa fazer uma “segunda” coisa para provar que consegue expandir o conhecimento
Um Ph.D. é um processo para aprender a fazer pesquisa Resolver um único problema muito difícil não significa que se possa pular esse processo Especialmente criar um contraexemplo pode depender não só de habilidade, mas também de talento e sorte Para continuar na academia depois do doutorado, é preciso fazer pós-doc e, para isso, a pessoa tem de saber publicar de forma consistente e definir direções de pesquisa
Aí surge a dúvida: se alguém recebesse um doutorado aos 17 anos, o que faria depois? Não é simples contratar uma pessoa tão jovem como professora Como ela já fez uma boa pesquisa, talvez não seja ruim passar alguns anos recebendo mentoria e colaborando, acumulando também experiência não matemática
Ph.D. não diz respeito só à inteligência ou às conquistas, mas também à perseverança
Nos EUA, o doutorado inclui vários requisitos de disciplinas além da pesquisa Pode ser que ela queira aprender com esse processo Em especial em algumas universidades europeias, há programas que concedem doutorado apenas com a tese, então ela poderia até submeter o artigo que já publicou link para o PDF original no arXiv como tese de doutorado e se formar; às vezes nem orientador é necessário
Não há nenhuma teoria complexa por trás disso, é só inércia administrativa
link para o arquivo do artigo