Hannah Cairo, de 17 anos, derruba com um contraexemplo uma conjectura matemática de 40 anos
(english.elpais.com)- A conjectura de Mizohata-Takeuchi, considerada verdadeira por décadas na análise harmônica, foi mostrada como não sendo uma afirmação universal após o contraexemplo de Hannah Cairo, de 17 anos
- Como, se fosse verdadeira, a conjectura poderia sustentar automaticamente vários resultados importantes da área, sua refutação abala fortemente as expectativas de pesquisas existentes
- Cairo conheceu originalmente a conjectura como um exercício opcional em uma disciplina da UC Berkeley e, após tentar prová-la por alguns meses, mudou de direção para a construção de um contraexemplo usando a estrutura da própria dificuldade
- O contraexemplo usou várias ferramentas, incluindo fractais, e depois ela voltou a olhar o problema no espaço de frequências, encontrando também um método mais simples de projetar um contraexemplo
- Tendo produzido um resultado de pesquisa antes de terminar o ensino médio, Cairo deve começar neste outono o doutorado na University of Maryland, sob orientação de Zhang
A conjectura de Mizohata-Takeuchi refutada por uma jovem de 17 anos
- Hannah Cairo tentou provar a conjectura por alguns meses, mas, depois de entender por que a prova era difícil, concluiu que poderia usar essa estrutura para criar um contraexemplo
- Após várias tentativas frustradas, construiu um caso que não satisfazia a propriedade em estudo, mostrando que a afirmação não era universalmente verdadeira
- A construção do contraexemplo exigiu várias ferramentas, incluindo fractais, e cada elemento precisou ser posicionado com muito cuidado
- Também levou tempo para convencer Ruixiang Zhang de que sua proposta estava de fato correta
Por que isso é importante na análise harmônica
- O problema resolvido por Cairo é a conjectura de Mizohata-Takeuchi, levantada pela primeira vez nos anos 1980 e estudada por pesquisadores de análise harmônica durante décadas
- Amplamente considerada verdadeira, essa conjectura, se estivesse certa, poderia verificar automaticamente vários resultados importantes da área
- A análise harmônica é o campo que decompõe funções em componentes mais simples, como ondas senoidais
- compressão de arquivos digitais de áudio e vídeo
- projeto de sistemas de comunicação
- compreensão de vários fenômenos físicos e matemáticos
A intuição da teoria de Fourier e da conjectura
- A análise harmônica começou com o estudo da equação do calor por Joseph Fourier, no início do século XIX, ao explicar a difusão do calor no interior de sólidos
- A ideia central de Fourier era decompor funções complexas em somas de senos e cossenos, técnica conhecida como séries de Fourier
- Cairo explica que, na análise harmônica, tudo é feito de ondas e que, com um número suficiente delas, é possível construir qualquer coisa
- A Fourier restriction theory estuda que tipos de objetos podem ser construídos usando apenas um conjunto restrito de ondas
- Segundo a explicação de Cairo, a conjectura de Mizohata-Takeuchi afirmava que, se fossem usadas apenas ondas de um certo tipo, surgiria uma forma composta por linhas
Uma pesquisa que começou em um trabalho de disciplina
- Cairo nasceu em Nassau, nas Bahamas, e, após se mudar para os EUA, entrou no sistema educacional como estudante do ensino médio, mas frequentou disciplinas da UC Berkeley
- Ela informava aos professores os livros que havia lido em suas áreas de interesse e pedia para assistir às aulas; vários docentes, incluindo Zhang, permitiram isso
- Um dia, Zhang propôs como tarefa provar um caso especial muito mais simples da conjectura e incluiu também a conjectura original como exercício opcional
- Cairo mergulhou nesse problema opcional e, ao tentar demonstrá-lo, acabou mudando para a construção de um contraexemplo
- Depois de obter o primeiro contraexemplo, reformulou todo o problema no espaço de frequências e, observando como sua construção aparecia ali, encontrou uma forma mais simples de projetar o contraexemplo
O congresso em El Escorial e a primeira apresentação internacional
- Cairo participou, de 9 a 13 de junho, do 12th International Congress on Harmonic Analysis and Partial Differential Equations, realizado na San José Residence, em El Escorial
- O evento foi organizado pelo Institute of Mathematical Sciences e pela Autonomous University of Madrid, sendo conhecido como El Escorial Meetings
- Ao longo de quase 50 anos de história, tornou-se um dos eventos mais prestigiados da área
- Para Cairo, foi sua primeira viagem científica internacional, e ela também fez uma apresentação incluída na programação do congresso
- Cairo diz que gosta de falar em público e, às vezes, também gosta de ensinar alunos mais velhos do que ela
O caminho pelo qual aprendeu matemática e o próximo passo
- Cairo começou a ler sozinha livros avançados de matemática desde muito nova
- No início, pensava que seguiria teoria dos números e lembra que escreveu um artigo nessa área aos 13 ou 14 anos, mas era sobre um problema pelo qual ninguém se interessava
- Durante a pandemia de COVID-19, o acampamento de verão da Berkeley Math Circle foi realizado online, o que permitiu que Cairo, que estava nas Bahamas, participasse
- O Math Circle é um programa em que estudantes antes da universidade colaboram para resolver problemas matemáticos difíceis
- Cairo o vê não como a matemática escolar baseada em memorização, mas como uma atividade de explorar e compartilhar ideias com amigos
- O diretor do programa reconheceu o talento matemático extraordinário de Cairo e depois a convidou para atuar como instrutora
- Cairo vai iniciar neste outono o doutorado na University of Maryland e pretende continuar pesquisando sob orientação de Zhang
- O Mathematics Intensive Programme do ICMAT, na Espanha, também tem como objetivo descobrir e apoiar jovens matemáticos promissores
1 comentários
Comentários no Hacker News
https://archive.is/Nr1hH
Há um vídeo em que Hannah Cairo explica a conjectura e seu resultado [1]
Além disso, Terence Tao sugeriu recentemente avanços adicionais [2], e fico curioso se alguém sabe mais
[1]: https://www.youtube.com/watch?v=3ZeH_8sTyKA
[2]: https://mathstodon.xyz/@tao/114003793236630744
Eu também uso um estilo de aula parecido com tablet, mas a apresentação dela é muito superior à minha. Realmente linda
O artigo está aqui: https://arxiv.org/abs/2502.06137
Na pós-graduação, tive a chance de fazer uma disciplina de análise harmônica, mas na época ela só tinha relação indireta com minha pesquisa, então deixei passar
https://www.nytimes.com/interactive/2025/06/30/science/math-...
Em matemática, é extremamente difícil fazer algo original e novo em qualquer idade
Se ela fez isso aos 17 anos, então é absurdamente talentosa. Parabéns
“Um dia ele passou como tarefa provar um caso especial bem mais simples da conjectura, e incluiu a conjectura original como desafio opcional”
Há uma lição aqui. Se possível, devemos dar às pessoas a oportunidade de se destacar
Por serem problemas formulados de modo tão simples, achei que a solução também seria igualmente simples, então quis explorar como uma solução poderia ser
Conforme fui envelhecendo e entendendo melhor minhas capacidades intelectuais, acabei escolhendo resolver problemas práticos com muito mais chance de sucesso e zero chance de serem revolucionários
Ainda assim, foi bom sentir que me levavam a sério desde o começo, e acho importante tentar resolver problemas difíceis antes de ficar preso ao mundo real
Com que frequência algo que normalmente é ensinado por pessoas mais velhas é descoberto por alguém mais novo do que isso?
Euler tinha 41 anos quando descobriu a identidade famosa, e é o tipo de coisa que se aprende na escola
Newton também tinha 21 anos quando criou o cálculo, então é algo que alguém no fim da adolescência poderia aprender
Galois fica com que diferença? Morreu aos 20, e isso parece ser ensinado ali pelo meio da faculdade
A lista de “child prodigies” também deve ter mais candidatos
https://en.wikipedia.org/wiki/List_of_child_prodigies
Ao mesmo tempo, o jovem também precisa estar extremamente motivado e ter a aptidão necessária. Ou seja, são necessárias tanto condições contextuais quanto capacidade individual
Pode ser uma pergunta boba, mas se ela vai começar o doutorado neste outono, isso não significa que ela já alcançou o objetivo?
Tenho curiosidade sobre qual seria a base teórica para esperar que alguém que resolveu um problema com décadas de existência faça “uma segunda” coisa para provar que expandiu as fronteiras do conhecimento humano
Resolver um problema muito difícil não significa que esse treinamento deixe de ser necessário. Especialmente porque contraexemplos às vezes podem depender mais de talento puro e sorte do que de técnica, o que torna a questão ainda mais delicada
Se ela obtiver o doutorado e quiser permanecer na academia, o próximo passo é um pós-doc. Resolver um único problema não significa necessariamente que ela já tenha uma agenda de pesquisa clara ou evidências de capacidade consistente de publicação, que são necessárias para uma boa vaga de pós-doc
É difícil imaginar uma contratação como professora em idade tão jovem. Já continuar por mais alguns anos em colaborações produtivas, ao mesmo tempo em que recebe mentoria sobre os aspectos não matemáticos necessários para se tornar matemática, não parece nada mau
Talvez ela tenha interesse nessa parte. Ou então há universidades, especialmente em partes da UE, que oferecem doutorado com base em artigos publicados
Ela poderia até compilar o artigo do seu contraexemplo (https://arxiv.org/pdf/2502.06137) como tese e se formar. Às vezes isso é possível até sem orientador
A Hannah de fato já fez aquilo em que muitos doutores fracassam, ou seja, uma nova contribuição de pesquisa
Falando só do contexto dos EUA, hoje em dia o doutorado está mais focado em: a) preparação para a academia, incluindo dar aula e fazer muitas disciplinas, e b) pesquisa voltada para cargos na indústria. Para muitos colegas meus vindos da China ou da Índia, era um caminho para conseguir trabalho nos EUA
Concordo que o doutorado deveria se concentrar puramente em pesquisa e na expansão do conhecimento humano. Mas, na prática, ele se aproxima mais de um negócio em que estudantes vão a conferências promover a pesquisa do orientador, a universidade consegue instrutores baratos na forma de monitores, e muitos alunos medianos escrevem artigos incrementais do tipo “mude um pouco isso e veja como o resultado se altera” para garantir uma vaga em P&D
Fiquei profundamente impressionado com a pesquisa da Hannah, e acho que ela mostra bem o caráter altruísta da pesquisa, que hoje em dia desapareceu bastante. Vejo gente demais que não quer entrar numa academia onde resolver problemas impossíveis seja valorizado, preferindo seguir a rota de doutorado com menos resistência para acelerar a própria carreira
Pode ser natural que cada um tente maximizar o próprio benefício, mas vale lembrar que descobertas muitas vezes dependem dessa busca altruísta por problemas difíceis e pelo impossível. Esta é uma opinião pessoal baseada no que vi entre meus colegas e em mais de 30 conferências
Ela é extremamente talentosa, mas o fato de esse resultado ter vindo de uma adolescente em si não é surpreendente
Descobertas matemáticas importantes muitas vezes vieram de pessoas na metade dos 20 anos, e quanto maior a descoberta, mais tende a pender para o começo dos 20 ou a adolescência. Acho que isso acontece porque a matemática pura é um campo tão criativo
Além disso, o sistema é otimizado para pensamento de curto prazo em vez de apostas de longo prazo. Há exceções, como institutos de pesquisa, mas por isso acho que os jovens têm a mente mais clara
Por exemplo, Andrew Wiles provou o Último Teorema de Fermat quando estava na casa dos 40, e há muitos matemáticos produtivos em idade mais avançada
Além disso, esse tipo de afirmação parece enviesado para problemas grandes e chamativos. Criar estruturas matemáticas, encontrar percepções estruturais e descobrir conexões entre áreas distantes exige não só foco juvenil, mas também ampla experiência
Se for para citar um caso mais recente de grande contribuição feita aos 20 e poucos anos, seria algo como Évariste Galois, na época da Revolução Francesa
Adolescência? Nem pensar. Na prática, acho que isso nunca aconteceu
https://en.m.wikipedia.org/wiki/Einstellung_effect
Alguém tem o link do primeiro artigo de teoria dos números que ela escreveu?
Tenho dúvidas sobre o contraexemplo dela. Parece que ela usa métodos assintóticos de forma bem frouxa