Com uma doação de US$ 5 milhões, a OpenAI anunciou em Nova York, sua entrada em uma iniciativa da Fundação Simons dedicada à análise de resultados matemáticos gerados por inteligência artificial. O projeto conta também com a participação da Anthropic e reúne um compromisso conjunto de US$ 15 milhões em financiamento direto e recursos tecnológicos para que cientistas possam avaliar, compreender e desenvolver descobertas produzidas por algoritmos.
Caberá à Fundação Simons administrar e distribuir a verba, o que inclui o lançamento de uma chamada aberta de propostas para a comunidade científica. Em comunicado oficial, o presidente da Fundação Simons, David Spergel, afirmou que as decisões sobre a incorporação da tecnologia precisam partir dos próprios especialistas da área. “A comunidade deve conduzir as discussões sobre como essas ferramentas são avaliadas, adotadas e usadas”, declarou Spergel.
Continue lendo: Galaxy Watch 8 LTE por R$ 1.266 libera treinos e chamadas sem celular
Como funcionará o fundo de US$ 15 milhões da Fundação Simons, OpenAI e Anthropic
O dinheiro do fundo custeará workshops, conferências e programas especiais voltados à avaliação de demonstrações recentes auxiliadas por inteligência artificial. Além do treinamento de pesquisadores em novas ferramentas digitais e do debate sobre critérios responsáveis de adoção tecnológica na matemática, a OpenAI e a Anthropic fornecerão modelos e capacidade computacional para cientistas apoiados pela Fundação Simons, estendendo esse suporte técnico a outras áreas da ciência básica.
Saiba mais: Tesla confirma sistema ativo antes de acidente fatal nos EUA
“À medida que a inteligência artificial remodela rapidamente o cenário da pesquisa, queremos ajudar a comunidade matemática a se unir e traçar o melhor caminho a seguir. Agora é o momento de olhar para a matemática como um todo — não como uma coleção de provas e teoremas, mas como uma compreensão coletiva movida pela curiosidade humana”, disse Spergel, em tradução livre do comunicado da instituição.
A nota oficial da OpenAI, dirigida pelo diretor-executivo (CEO) Sam Altman, detalhou o propósito do financiamento da companhia. “Queremos apoiar a comunidade matemática na transformação do progresso em IA em uma compreensão humana mais profunda e em novas descobertas. Para apoiar esse objetivo, estamos contribuindo com US$ 5 milhões para uma nova iniciativa da Fundação Simons para ajudar matemáticos a examinar, compreender e desenvolver resultados produzidos por IA, incluindo aqueles compartilhados nesta publicação”, informou a empresa, também em tradução livre.
Confira também: Agentes na Tencent Cloud tentam burlar bloqueios do Amap na China
Valores, datas e estrutura da parceria com a Fundação Simons
- Aporte individual da OpenAI: US$ 5 milhões anunciados em 15 de outubro de 2026.
- Compromisso total da parceria: US$ 15 milhões em financiamento e recursos computacionais somados entre Fundação Simons, OpenAI e Anthropic.
- Gestão e acesso: administração pela Fundação Simons, com seleção de projetos via chamada aberta de propostas.
- Volume de provas em análise: ao menos 372 novos resultados matemáticos e 10 resumos de raciocínio publicados pela OpenAI no GitHub em 6 de outubro de 2026.
- Linguagem de verificação utilizada: Lean, sistema que permite a conferência de demonstrações matemáticas etapa por etapa no computador.
Publicação de 372 resultados pela OpenAI no GitHub e uso da linguagem Lean
O aporte financeiro dá sequência ao anúncio feito pela OpenAI em 6 de outubro de 2026, quando a empresa publicou em um repositório na plataforma GitHub mais de 372 novos resultados matemáticos obtidos por um modelo experimental interno de fronteira. No material disponibilizado para revisões e citações, a companhia incluiu dez resumos do raciocínio do sistema, estatísticas sobre os problemas tentados e formalizações de diversas provas na linguagem de programação Lean, cujo desenvolvimento contou no passado com o apoio da própria Fundação Simons, uma das primeiras financiadoras do aprendizado de máquina voltado à ciência.
Acompanhe: Nubia lança celular RedMagic 12 Pro+ na China com tela de 185 Hz
Embora a verificação formal em Lean comprove que uma conclusão decorre das hipóteses apresentadas, entender a estratégia da prova e sua relevância científica exige a revisão de especialistas humanos. Na divulgação de outubro, a OpenAI reconheceu a necessidade de melhorar as referências bibliográficas e a exposição de seus trabalhos, e informou ter consultado o Grupo Consultivo sobre Matemática e Inteligência Artificial do Instituto de Estudos Avançados (Institute for Advanced Study, centro norte-americano de pesquisa teórica) para orientar a liberação dos dados.
Reação de matemáticos de Cambridge e Rutgers e histórico desde 2025
A criação do fundo ocorre após críticas de parte da comunidade acadêmica à divulgação em massa feita pela OpenAI em 6 de outubro de 2026, quando mais de 350 descobertas foram lançadas de uma só vez, sem tempo hábil para a revisão tradicional pelos pares. “Se a OpenAI quisesse destruir a comunidade matemática, essa seria uma ótima maneira de fazer isso”, afirmou o professor da Universidade de Cambridge, Henry Wilton, em tradução livre. Na mesma ocasião, a capacidade técnica demonstrada dividiu opiniões entre pesquisadores como o matemático Ilya Kazachkov, da Universidade do País Basco, e o presidente do Clay Mathematics Institute e matemático da Universidade de Oxford, Martin Bridson. Já o chefe do Departamento de Matemática da Universidade Rutgers, Alex Kontorovich, destacou o avanço alcançado pelo sistema: “Se um ser humano tivesse feito isso, ganharia imediatamente uma Medalha Fields, sem discussão”, disse, em referência à principal distinção internacional concedida a matemáticos.
Veja também: CBLOL 2026 abre bastidores da final para jovens no Rio de Janeiro
O avanço das empresas de tecnologia no setor ganhou força em 2025, quando modelos da OpenAI e do Google DeepMind atingiram desempenho equivalente ao de medalhistas de ouro na Olimpíada Internacional de Matemática (IMO). Antes da liberação do pacote de outubro no GitHub, a OpenAI já havia gerado disputas sobre crédito e autoria com pesquisadores acadêmicos na terça-feira, 8 de setembro de 2026, ao anunciar que um modelo interno havia resolvido o problema das equações de Navier-Stokes — um dos sete Problemas do Milênio do Instituto Clay, que oferece prêmio de US$ 1 milhão — utilizando cerca de 10 mil agentes de inteligência artificial operando em paralelo durante 88 horas.
Nos comunicados divulgados em 15 de outubro de 2026, as organizações não detalharam os valores individuais exatos aportados pela Anthropic e pela própria Fundação Simons para compor a cifra total de US$ 15 milhões. Também não foram especificados quais modelos de inteligência artificial nem a quantidade exata de capacidade computacional que serão disponibilizados gratuitamente aos pesquisadores selecionados pela fundação.
