Matemáticos enfrentam o papel da IA na resolução de problemas complexos

Os matemáticos estão cada vez mais preocupados com o papel da IA na resolução de problemas matemáticos complexos, com alguns acusando empresas como a OpenAI de utilizar o trabalho deles sem o devido crédito. Tristan Buckmaster, um matemático da Universidade de Nova Iorque, afirma que a OpenAI utilizou os seus métodos para resolver o problema da existência e da suavidade de Navier-Stokes, que tem um prémio de 1 milhão de dólares. A OpenAI respondeu afirmando que os prompts Codex de Buckmaster não poderiam ter influenciado o sistema. Buckmaster continua a utilizar ferramentas de IA, como o Codex, para refinar a sua pesquisa, apesar das suas frustrações. Outros matemáticos, como Andreas Thom e Alex Townsend, levantaram preocupações semelhantes sobre o impacto da IA na atribuição de crédito e no futuro da investigação matemática. Thom questionou como a OpenAI soube do seu trabalho sobre teoria de grupos geométricos, enquanto Townsend expressou tanto entusiasmo quanto ansiedade sobre o crescente papel da IA no campo. Alguns matemáticos estão a defender uma maior supervisão e diretrizes para garantir que o crédito adequado seja dado aos colaboradores humanos. Apesar destas preocupações, muitos matemáticos estão a adaptar-se à nova realidade, utilizando ferramentas de IA para melhorar o seu trabalho. Buckmaster está agora a rever os seus artigos publicados prematuramente e a defender regras mais claras na matemática impulsionada pela IA. Ele espera promover a colaboração em vez de conflitos com os laboratórios de IA, enfatizando a necessidade de uma abordagem equilibrada para a integração da tecnologia no campo.