Grupo Consultivo sobre Matemática e Inteligência Artificial
A 28 de agosto, começámos a treinar um novo modelo interno. Além de resolver o Problema do Prémio do Milénio de Navier–Stokes, este modelo já resolveu mais de 100 problemas em aberto de longa data na maioria das áreas da matemática. O ritmo dos seus progressos em matemática surpreendeu os matemáticos da OpenAI. Isto deu origem a debates internos sobre a melhor forma de informar a comunidade acerca destes rápidos progressos, para que esta área se possa preparar e adaptar.
A matemática é uma ciência fundamental e as novas descobertas podem dar origem a um vasto leque de aplicações. Por isso, estas capacidades encerram um enorme potencial, e o seu desenvolvimento e disponibilização responsáveis são importantes muito além da própria matemática. Reconhecemos esta realidade e estamos a estudar formas de disponibilizar mais amplamente e de modo responsável as capacidades de IA relacionadas com a matemática.
Numa recente carta aberta, «Um grave desalinhamento da IA na matemática(abre numa nova janela)», vários matemáticos manifestam preocupação com as externalidades negativas de utilizar a resolução de problemas em aberto como referência para novos sistemas de IA.
Estas críticas sublinham a necessidade de as empresas de IA dialogarem de forma ponderada com a comunidade matemática. Para esse efeito, estamos a colaborar com matemáticos que criaram um grupo consultivo independente sobre matemática. Este grupo servirá de ponte para a comunidade matemática e o público em geral, dando aos matemáticos uma voz na definição do caminho a seguir.
O grupo prestará aconselhamento sobre a análise e a comunicação de novos resultados: ajudará a OpenAI a avaliar a sua relevância, aconselhará sobre a coordenação da respetiva divulgação e sobre as normas académicas e profissionais da investigação matemática. Prestará também aconselhamento sobre a forma como as nossas ferramentas podem apoiar a investigação e a aprendizagem da matemática. Queremos colocar ferramentas poderosas nas mãos dos matemáticos, para que possam investigar as questões que melhor conhecem e desenvolver novas ideias.
O grupo funcionará de forma independente da OpenAI. O grupo terá liberdade para prestar aconselhamento que não tenhamos solicitado, comentar o impacto da OpenAI na matemática e tornar públicas as suas recomendações. O seu valor depende da capacidade dos membros para exercerem o seu próprio discernimento e questionarem o nosso. Os seus membros não serão remunerados pela OpenAI, e o grupo poderá alterar a sua composição como entender. É importante salientar que o grupo não será responsável por nos aconselhar sobre o ritmo dos nossos progressos internos em matemática.
Trabalhar com este grupo é um primeiro passo. Há questões difíceis pela frente sobre a forma como a IA pode apoiar a compreensão da matemática e como os benefícios destas capacidades podem chegar à comunidade em geral. Queremos que os matemáticos tenham um papel central na definição das respostas.
Membros iniciais do Grupo Consultivo sobre Matemática e Inteligência Artificial(abre numa nova janela), sediado no Instituto de Estudos Avançados(abre numa nova janela):
François Charles (ENS-PSL)
Camillo De Lellis (IAS, GSSI)
Timothy Gowers (Collège de France, Cambridge)
Martin Hairer (EPFL, Imperial College London)
Nikhil Srivastava (Berkeley, Simons Institue)
Ulrike Tillmann (Oxford, INI)
Ravi Vakil (Stanford)
Edward Witten (IAS)
Melanie Matchett Wood (Harvard)


