Um matemático anunciou ter usado o modelo Fable 5 da Anthropic para refutar a conjectura de Jacobian, um problema aberto em geometria algébrica há quase noventa anos. O anúncio, feito por Levent Alpöge, gerou discussão sobre o impacto da inteligência artificial na ciência pura.
A conjectura de Jacobian, listada nos problemas de Stephen Smale em 1998, permaneceu sem solução por décadas. O modelo Fable 5, desenvolvido pela Anthropic, foi utilizado para encontrar um contraexemplo ao problema. O matemático Levent Alpöge, afiliado à Harvard, fez o anúncio por meio de uma rede social.
O professor Andrew Blumberg, matemático da Universidade de Columbia, comentou que o resultado é esperado, pois a IA pode identificar contraexemplos complexos que seriam difíceis de serem encontrados por métodos manuais. Contudo, Blumberg explicou que fornecer um contraexemplo difere de uma prova completa, afirmando que o achado “não nos diz essencialmente nada”.
Blumberg comparou a situação a uma mensagem simples, questionando se o receptor se importaria apenas com a resposta, ou se busca aprender algo sobre a estrutura do conhecimento. Ele citou o caso da OpenAI, que refutou a conjectura de distância unitária de Erdős, mas ressaltou que o resultado daquela empresa foi mais produtivo, pois forneceu a refutação completa do problema.
