Um enigma matemático que teve sua origem há 87 anos chegou a uma conclusão surpreendente: um pesquisador, auxiliado por uma inteligência artificial, descobriu um contraexemplo que refuta uma das conjecturas mais renomadas na disciplina.
A revelação, conforme reportado pela New Scientist, foi realizada pelo matemático Levent Alpöge e pode ser considerada uma das mais sofisticadas já solucionadas com a intervenção significativa de IA no campo da matemática.
Conjectura de 1939 é desmantelada por um breve enunciado matemático
No dia 19 de julho, Alpöge, associado à Universidade Harvard, compartilhou em sua conta na rede social X um contraexemplo que consiste em apenas 216 caracteres e que contradiz a chamada conjectura de Jacobiano.
A conjectura foi proposta em 1939 pelo matemático Ott-Heinrich Keller, que afirmava que um determinado tipo de função matemática deveria ter um comportamento reverso. Durante décadas, esse problema permaneceu sem solução definitiva e, em 1998, foi incluído em uma lista elaborada por Stephen Smale com os 18 maiores desafios matemáticos do século XXI.
O pesquisador mencionou que recebeu assistência de seu “amigo próximo Fable”, referindo-se ao modelo de IA Claude Fable 5 da Anthropic. Além disso, ele expressou gratidão ao sistema pela colaboração durante a final da Copa do Mundo.
Avanços da inteligência artificial são destacados por especialistas
Abhishek Saha, pesquisador da Queen Mary University of London no campo da matemática, acredita que essa descoberta amplifica o papel da IA nas investigações matemáticas.
“Esta é provavelmente a maior conjectura na qual a IA teve um papel significativo [na validação ou refutação] até o momento na matemática”, declarou. “Isso é extremamente relevante. Nos últimos anos, a IA alcançou avanços impressionantes.”
Saha afirmou que o contraexemplo apresentado é fácil de verificar e já foi validado por vários matemáticos. A principal questão agora é entender como a IA chegou a essa solução.
Dentre os aspectos que merecem destaque estão:
- a conjectura ficou sem resposta por quase nove décadas;
- o contraexemplo possui apenas 216 caracteres;
- a descoberta refuta a hipótese sob certas condições;
- o método utilizado pela IA ainda não foi completamente elucidado.
O pesquisador ressaltou a surpresa gerada pelo resultado, uma vez que muitos cientistas acreditavam que a conjectura era intuitivamente correta.
A crença era de que muitos tentaram provar a conjectura por ela parecer muito verdadeira intuitivamente. Não creio que muitos tenham se empenhado em refutá-la. Agora temos este contraexemplo expresso em uma única frase”, comentou.
Abhishek Saha, pesquisador da área de matemática da Queen Mary University of London.
Importância contínua da criatividade humana
Embora essa descoberta tenha sido marcante, ela não resolve todas as questões relacionadas à conjectura de Jacobiano. O contraexemplo obtido por Alpöge refuta a hipótese somente no caso envolvendo três variáveis; uma versão alternativa com duas variáveis ainda pode continuar válida, mantendo parte do problema sem resolução.
Leia mais:
- Anthropic: Justiça dos EUA confirma acordo para encerramento de processo sobre direitos autorais
- Claude Fable 5 enfrenta limitações após superar expectativas da Anthropic
- Anthropic sugere pausa global no avanço da inteligência artificial
A evolução também reacendeu discussões sobre os limites da inteligência artificial na matemática. Chris Bowman-Scargill, professor na Universidade de York, afirma que a tecnologia já demonstrou sua capacidade para encontrar soluções para problemas complexos; entretanto, isso não implica que a criatividade humana tenha perdido seu espaço.
Ele lembra que algumas das mais significativas realizações no campo demandaram muito mais do que simplesmente chegar a uma resposta final. Um exemplo citado é o Último Teorema de Fermat, resolvido por Andrew Wiles em 1994 e cuja solução exigiu o desenvolvimento de novas teorias ao longo de anos dedicados ao trabalho.
Nessa mesma linha de pensamento, Ivan Fesenko, professor na Westlake University, acredita que modelos avançados de IA devem revolucionar as pesquisas matemáticas nos próximos anos. Para ele, essa tecnologia tem potencial para mudar profundamente a maneira como novos conhecimentos são gerados e pode abrir caminho para uma nova era nas descobertas científicas.
