Em 28 de agosto, começamos a treinar um novo modelo interno. Além de resolver o problema do Prêmio do Milênio de Navier-Stokes, este modelo agora resolveu mais de 100 problemas abertos de longa data na maioria das áreas da matemática. O ritmo de seu progresso em matemática surpreendeu os matemáticos dentro da Open AI. Isso levou a discussões internas sobre a melhor forma de informar a comunidade sobre o rápido progresso para preparar e adaptar o campo.
A matemática é uma ciência fundamental, e novas descobertas podem resultar em uma ampla gama de aplicações. Isso torna a promessa dessas capacidades substancial, e seu desenvolvimento e implantação responsáveis importantes além da própria matemática. Reconhecemos isso e estamos trabalhando em como uma implantação mais ampla de capacidades de IA relacionadas à matemática pode ser feita de forma responsável.
Em uma carta aberta recente "Um grave desalinhamento da IA na matemática", matemáticos levantam preocupações sobre as externalidades negativas de resolver problemas abertos como referência para novos sistemas de IA. Suas críticas destacam a necessidade de um envolvimento cuidadoso das empresas de IA com a comunidade matemática. Para esse fim, estamos trabalhando com matemáticos que estabeleceram um grupo consultivo independente de matemática. Este grupo servirá como uma ponte para a comunidade matemática e o público em geral, dando aos matemáticos uma voz em como avançamos.
O grupo aconselhará sobre a revisão e comunicação de resultados emergentes: eles ajudarão a Open AI a avaliar sua importância, aconselharão sobre como coordenar sua disseminação e aconselharão sobre padrões acadêmicos e profissionais de pesquisa matemática. Também aconselhará sobre como nossas ferramentas podem apoiar a pesquisa e o aprendizado matemáticos. O grupo operará independentemente da Open AI. Seus membros incluem François Charles, Timothy Gowers, Martin Hairer, Edward Witten e Melanie Matchett Wood.