Resumo:
Depois de enfrentar fortes protestos de quase 800 matemáticos da comunidade acadêmica que assinaram uma carta aberta, a gigante da inteligência artificial OpenAI anunciou que retirou oficialmente seu patrocínio e suporte computacional para o AI Mathematics Hackathon (Mathathon) do Instituto de Tecnologia da Califórnia (Caltech). Esta competição universitária, originalmente agendada para 30 de outubro, foi acusada de transformar pesquisas rigorosas em matemática pura em um evento promocional para empresas comerciais de IA e de gerar muito ruído acadêmico não testado. Isso desencadeou uma rara tempestade de reações nos principais círculos acadêmicos e também colocou o co-patrocinador Anthropic em um debate acalorado sobre permanecer ou permanecer.
O evento hackathon chamado "Caltech Mathathon" foi originalmente planejado para ser apoiado por dois laboratórios de ponta em IA, OpenAI e Anthropic, com um total de aproximadamente US$ 2 milhões em pontos de poder computacional. O organizador pretende organizar estudantes de graduação e jovens pesquisadores participantes para tentar resolver problemas matemáticos de fronteira aberta não resolvidos, inserindo palavras imediatas nos modelos de linguagem de fronteira mais avançados das duas empresas. Contudo, após o anúncio do plano de atividades, o mesmo foi imediatamente condenado pela comunidade académica. Acadêmicos e antigos estudiosos de matemática da Caltech assumiram a liderança no lançamento de uma carta pública de protesto, que rapidamente obteve assinaturas de até 771 matemáticos de todo o mundo.
A carta aberta criticava abertamente o facto de as empresas comerciais de IA estarem a utilizar investigação extremamente séria em matemática pura como "oportunidades de publicidade e marketing" baratas, e alertava que tais actividades de hackathon caracterizadas pelo empilhamento violento de poder computacional "são muito susceptíveis de causar danos devastadores à comunidade matemática". Os estudiosos apontaram na carta que as chamadas provas longas geradas por grandes modelos são muitas vezes cheias de "lixo matemático de IA (resíduos de IA)" que parece ser compatível, mas na verdade é difícil de verificar. Isso não apenas força a comunidade acadêmica a gastar muita energia valiosa na revisão por pares para verificar manualmente se há resultados falsos, mas também cria um risco moral para os patrocinadores usarem o poder da computação para roubar a verdadeira sabedoria de estudantes de graduação excepcionais.
Enfrentando forte resistência da comunidade acadêmica, Dan Roberts, chefe de pesquisa da OpenAI, confirmou publicamente a retirada do patrocínio e afirmou nas redes sociais que a empresa percebeu profundamente que o rápido progresso da IA no campo da matemática teve um impacto severo. No futuro, espera ter um diálogo e comunicação mais aprofundados com a comunidade matemática tradicional em termos de integração desta tecnologia e transmissão do seu impacto social. Como co-patrocinadora, a Anthropic ainda não respondeu positivamente se dará seguimento à sua retirada. O seu silêncio desencadeou novas comparações e observações das posições de expansão académica dos dois laboratórios.
Vale a pena notar que esta retirada de patrocínio ocorre durante um período delicado, quando a credibilidade dos gigantes comerciais da IA na comunidade matemática está passando por um teste severo. Antes disso, a OpenAI esteve envolvida em ampla controvérsia por alegar ter resolvido os problemas de existência e suavidade da equação de Navier-Stokes através de dezenas de milhares de agentes de IA trabalhando juntos durante 88 horas. Ao mesmo tempo, foi revelado que a agência era suspeita de pressionar um matemático da Universidade de Nova York para remover coautores com formação antrópica de outro importante artigo matemático, desencadeando uma batalha feroz entre a ética acadêmica e a atribuição de resultados predatórios.
Os observadores académicos salientam que a matemática sempre foi a pedra de toque final para medir o raciocínio lógico e o rigor formal, e é também o principal campo de batalha para os laboratórios de IA competirem pelo direito de falar sobre as capacidades dos modelos da próxima geração. No entanto, a resistência do grupo encontrada pelo Caltech Hackathon mostra claramente que a produção do modelo impulsionada pelo puro poder computacional da engenharia e pelas relações públicas, se separada das normas de verificação rigorosas e da confiança mútua dos pares da comunidade académica tradicional, acabará por ser difícil de ultrapassar a profunda lacuna da legitimidade académica. A retirada forçada da OpenAI não é apenas um revés para a reputação pública, mas também um alerta para as regras colaborativas entre toda a indústria de inteligência artificial e a investigação científica de base.
Comentários