Resumo:
A gigante da inteligência artificial OpenAI anunciou que cooperará com vários matemáticos de ponta para estabelecer um "Grupo Consultivo em Matemática e Inteligência Artificial" independente (Grupo Consultivo em Matemática e Inteligência Artificial), que estará localizado no Instituto de Estudos Avançados (IAS) em Princeton.
Anteriormente, a OpenAI afirmou que um modelo interno não divulgado que começou a treinar em 28 de agosto deste ano não apenas resolveu um dos problemas do Prêmio Millennium, o problema de existência e suavidade de Navier-Stokes (problema de Navier-Stokes), mas também resolveu mais de 100 problemas abertos de longa data que cobrem a maioria dos campos da matemática.

Esse progresso revolucionário e seu ritmo de desenvolvimento extremamente rápido superaram até mesmo as expectativas da equipe interna de matemáticos da OpenAI. No entanto, a abordagem das empresas comerciais de IA de tratar conjecturas matemáticas históricas como uma competição por medalhas e apressar-se a publicar resultados também desencadeou uma forte reacção no meio académico. Vinte e cinco matemáticos conhecidos, incluindo Terence Tao, Yau Shing-tung e vários vencedores da Medalha Fields, publicaram anteriormente uma carta aberta intitulada "A grave incompatibilidade da inteligência artificial no campo da matemática", acusando os gigantes da tecnologia de avançar cegamente sem revisão por pares, falta de processos de raciocínio detalhados e falha em marcar adequadamente as contribuições dos antecessores. Isto não só prejudica as normas académicas, mas também pode ter um impacto devastador no desenvolvimento saudável da disciplina matemática.
Para aliviar as tensões com o meio acadêmico, a OpenAI facilitou o estabelecimento deste grupo consultivo independente. A lista é a seguinte:
François Charles
Camillo De Lellis
Timothy Gowers
Martin Hairer
Nikhil Srivastava
Ulrike Tillmann
Ravi Vakil
Edward Witten
Melanie Matchett Wood
De acordo com o comunicado oficial, o grupo servirá como uma ponte entre as instituições comerciais de IA e a comunidade matemática e o público, auxiliando na avaliação do valor acadêmico de provas geradas por máquinas, orientando o processo de divulgação de resultados e fornecendo recomendações sobre a aplicação de especificações de pesquisa e ferramentas de ensino. A fim de garantir a objetividade e independência da avaliação, os membros do grupo consultivo não aceitarão qualquer salário da OpenAI e terão o poder de decidir sobre mudanças de membros, expressar publicamente a dissidência e fazer comentários independentes.
No entanto, este mecanismo de supervisão ainda tem limites de poder claros. Tanto a OpenAI quanto o Instituto de Estudos Avançados confirmaram claramente que o grupo consultivo tem apenas funções de consultoria e revisão e não tem autoridade para interferir, atrasar ou alterar o ritmo do desenvolvimento de modelos internos e projetos matemáticos da OpenAI. Embora a comunidade matemática ainda seja cautelosa quanto ao rigor e originalidade destas provas mecânicas, este movimento marca a penetração da tecnologia de IA na ciência básica pura, forçando a indústria e a academia tradicional a estabelecer uma nova estrutura de confiança e colaboração.
Comentários