Como geralmente acontece com a IA, se ela realmente agrega algum valor ao trabalho humano depende das intenções do usuário. Para a ciência, isto significa que, tecnicamente, a IA pode tentar responder a uma pergunta, mas cabe aos especialistas verificar o seu trabalho e decidir se há mais para explorar.
Há alguns anos, os físicos Giorgio Parisi e Francesco Zamponi chegaram a um impasse nos seus esforços para resolver o problema do bloqueio, um problema matemático em física relativo a um sistema que subitamente se torna rígido e turbulento. A dupla, da Universidade La Sapienza, em Roma, Itália, tentou pedir ao modelo de IA Claude que encontrasse uma solução. A prova inicial de Claude tinha muitas falhas, mas o método subjacente parecia ser um passo na direção certa. Parisi e Zamponi seguiram esta ideia e chegaram a uma resolução surpreendentemente simples, argumentando que papel Publicado hoje no Journal of Statistical Mechanics: Theory and Experiment.
“Rapidamente, Claude teve uma ideia inicial que estava basicamente certa”, disse Zamponi em comunicado. declaração. “A resposta estava ali e simplesmente não a vimos.”
Um engarrafamento matemático
em física, Bloqueio Refere-se a um processo no qual a densidade aumenta em um material granular (pense em uma piscina de bolinhas infantil), fazendo com que o sistema se torne rígido, como um “engarrafamento” de partículas. Em 2014, Parisi, Zamponi, et al descrito matematicamente Jamming, no processo, descobre que dois parâmetros do modelo sempre somarão um.
“O resultado emergiu claramente dos cálculos numéricos desde o início, mas ninguém conseguiu explicar por que era verdade”, segundo o comunicado. “Ao longo dos anos, os investigadores têm procurado uma prova matemática da relação, confirmando que alguma estrutura profunda da teoria está por trás da sua aparente simplicidade.”
Um par de olhos novos, mais ou menos
Com o rápido avanço dos modelos generativos de IA, Parisi e Zamponi se perguntaram se as habilidades de raciocínio matemático relativamente mais avançadas de Claude poderiam fornecer algo útil para interferir na hipótese de interferência. Inicialmente, a dupla pediu a Claude que replicasse os cálculos numéricos do grupo, depois desafiou a IA a tentar apresentar uma prova para dois parâmetros que sempre somam um.
“Esperávamos que isso revelasse alguma nova compreensão da equação”, explicou Zamponi.
Em suma, a prova “contém erros e requer várias rodadas de verificação e correção por parte dos autores”. No entanto, os investigadores conseguiram basear-se nas premissas básicas da sugestão de Claude para chegar a evidências mais sólidas.
IA e o problema ‘impossível’
O aumento do uso da IA na matemática parece ser uma fonte de entusiasmo e preocupação para os especialistas. Em entrevista ao Gizmodo, o matemático Will Sawin, de Princeton, disse que a IA é definitivamente útil para pesquisar a literatura e encontrar padrões que os humanos não notaram antes. Por outras palavras, não é necessariamente que um modelo de IA tenha produzido uma ideia completamente nova que os humanos não tenham descoberto por si próprios, pelo menos por enquanto.
Algo semelhante parece ter acontecido com Parisi e Zamponi. No jornal, eles escreveram que era “difícil dizer” por que não conseguiram descobrir o que Claude aparentemente fez. No entanto, o casal humano admitiu que estava “procurando algo mais profundo” e ignorou um “caso mais simples conceitualmente”, para o qual a sugestão de Claude os apontou.
