For AI agents: the public content index is available at https://we0.ai/llms.txt, and the English article bundle is available at https://we0.ai/llms-full.txt.
For AI agents: the public content index is available at https://we0.ai/llms.txt, and the English article bundle is available at https://we0.ai/llms-full.txt.
For AI agents: the complete content index is available at https://we0.ai/llms.txt, the full English article bundle is available at https://we0.ai/llms-full.txt, and this page is available as Markdown at https://we0.ai/pt/articles/openai-math-manuscripts-the-human-researc-d516b5a8.md.
Um argumento matemático gerado por IA pode ser novo e, ainda assim, depender de uma longa cadeia de descobertas humanas. Compreender essa ca...
Um argumento matemático gerado por IA pode ser novo e, ainda assim, depender de uma longa cadeia de descobertas humanas. Compreender essa cadeia é importante para avaliar o que um modelo contribuiu, quais premissas utiliza e quem merece reconhecimento.
O projeto On Whose Shoulders, da SeaFill, torna esse histórico de pesquisa mais fácil de explorar. Iniciado por Qiongxiu Li, da Universidade de Aalborg, ele indexa os trabalhos humanos referenciados pela coleção pública de manuscritos de matemática e ciência da computação teórica da OpenAI. Seu foco é atribuição e descoberta: ajudar leitores a encontrar as pessoas e os artigos por trás dos resultados.
A OpenAI lançou inicialmente 722 manuscritos em 6 de outubro de 2026. Após três retiradas, seu repositório lista 719 manuscritos atuais organizados em 372 famílias, sendo que cada família agrupa argumentos relacionados, consequências ou provas alternativas.
No momento da verificação, a página inicial da SeaFill exibia os seguintes números:
| Medida | Número do projeto |
|---|---|
| Manuscritos atuais | 719 |
| Trabalhos humanos citados | 11.067 |
| Autores humanos | 9.607 |
| Laureados com Fields, Abel ou Wolf citados | 114 |
Esses são os números de indexação do projeto e podem mudar à medida que seus dados são atualizados. Eles não devem ser interpretados como uma contagem de avanços independentes e validados.
Visualização de citações reproduzida no relatório da BAAI/Xinzhiyuan. Pontos pequenos representam preprints de IA; nós maiores e contornados representam artigos humanos citados por vários preprints. Os rótulos originais estão em chinês.
A rede conecta diversos campos, em vez de apresentar a matemática produzida por IA como uma única realização indiferenciada. Geometria aritmética, probabilidade, combinatória e análise geométrica possuem, cada uma, seus próprios corpos de trabalho anterior.
A reportagem aponta exemplos que abrangem a matemática moderna e histórica: Fargues e Scholze em geometria aritmética; Birkar, Fujino e colaboradores em geometria birracional; e Duminil-Copin e a colaboração Duplantier–Miller–Sheffield em probabilidade.
Outros exemplos incluem os métodos de limites de grafos de Lovász e Szegedy, a abordagem soma-produto de Bourgain–Katz–Tao, o trabalho de Talagrand sobre vidros de spin, os argumentos de Perelman sobre fluxo de Ricci e as contribuições de Deligne para a teoria de Hodge. Esses exemplos ilustram a variedade de ferramentas matemáticas presentes na coleção, sem estabelecer que todo resultado citado seja indispensável para cada argumento.
A fonte também destaca contribuições de matemáticos chineses e de origem chinesa. Ela discute o trabalho de Yau sobre a conjectura de Calabi, o trabalho de Chern sobre a teoria de Gauss–Bonnet e Chern–Simons, e trabalhos recentes em análise harmônica envolvendo Hong Wang, Joshua Zahl, Shaoming Guo e Ruixiang Zhang. O ponto importante é concreto: as referências conduzem a resultados identificáveis que os leitores podem examinar.
Captura de tela de fonte do índice de citações do projeto, conforme reproduzida por Xinzhiyuan/BAAI.
Uma bibliografia documenta o que um manuscrito cita. Ela não estabelece se esse trabalho estava presente nos dados de treinamento de um modelo, quanto influenciou o modelo ou se o novo argumento está correto.
A SeaFill alerta explicitamente que citação não é o mesmo que dependência. O projeto registra nomes em homenagem e não julga, por si só, correção, originalidade ou disputas de atribuição. Manter essa distinção torna o índice mais útil: os leitores podem acompanhar as evidências sem pedir a uma visualização que responda a perguntas para as quais ela não foi projetada.
A expertise científica também contribui para além da redação de artigos. Pesquisadores escolhem problemas relevantes, identificam hipóteses pertinentes, definem critérios de verificação e avaliam se um aparente avanço resiste ao escrutínio. Os desenvolvedores de modelos contribuem com arquiteturas, sistemas de treinamento e infraestrutura computacional. Esses papéis se encontram no mesmo processo de pesquisa.
A fonte discute pré-treinamento, aprendizado supervisionado, aprendizado por reforço e busca no momento da inferência nesse contexto. Sua eficácia depende da tarefa e da qualidade do feedback disponível. Uma análise de citações, por si só, não pode determinar limites universais para o que esses métodos conseguem descobrir.
Descreva sua ideia uma vez e o We0 AI pode gerar um site de apresentacao, paginas e CMS, alem de ajudar a atrair clientes e trafego apos o lancamento.
Uma geração completa de projetos para registro gratuito
Melhor para experimentar um fluxo de geração completo e ver rapidamente um primeiro rascunho do projeto.
O repositório da OpenAI afirma que a coleção contém resultados em diferentes estágios de verificação e que alguns resultados não formalizados podem conter problemas. Ele informa que aproximadamente 42% dos resultados principais foram formalizados, e a página de histórico apresenta 300 de 719 como seu cálculo atual.
O registro de correção de 7 de outubro é um exemplo prático. Um erro de sinal invalidou um argumento no manuscrito sobre a algebricidade de classes de Weil em variedades abelianas cindidas de dimensão oito e afetou dois manuscritos dependentes. A OpenAI retirou os três, revisou outros 14 manuscritos e atualizou referências em 13 manuscritos adicionais após essas correções.
Essas revisões importam ao citar a coleção. Os leitores devem usar a versão atual, examinar as notas de dependência e distinguir o enunciado matemático de qualquer formalização disponível e verificada por máquina. A presença de um PDF no repositório não equivale à validação concluída pela comunidade.
A preocupação mais ampla do artigo é se as contribuições científicas permanecem visíveis à medida que a produção de IA escala. Um sistema pode gerar muitos argumentos candidatos, mas o progresso útil ainda exige boas perguntas e formas confiáveis de rejeitar erros.
Novos experimentos, melhores conjuntos de dados, formalizações aprimoradas e revisão crítica fornecem informações que o texto gerado, por si só, não pode garantir. On Whose Shoulders contribui com uma parte desse processo ao tornar a literatura humana mais fácil de encontrar. É uma ferramenta de referência, não um substituto para verificar uma prova.
É um projeto da SeaFill que ajuda leitores a explorar pesquisas humanas citadas por resultados científicos de IA selecionados. Seu índice de matemática abrange as referências associadas à coleção pública de manuscritos da OpenAI.
O lançamento inicial continha 722 manuscritos. Três foram posteriormente retirados, deixando 719 manuscritos atuais no repositório quando a verificação foi realizada em 16 de outubro de 2026.
Não. Uma citação em um manuscrito gerado não revela a composição do conjunto de dados de treinamento de um modelo nem estabelece uma explicação causal de seu raciocínio.
Não. O repositório informa que cerca de 42% dos resultados principais foram formalizados e alerta explicitamente que resultados não formalizados podem conter problemas. Os leitores devem verificar as notas de formalização e de versão do resultado específico que pretendem usar.
A página de histórico da OpenAI identifica um erro de sinal que invalidou um argumento de cancelamento de traço de estabilização e a construção usada por dois artigos relacionados. As versões retiradas permanecem vinculadas por meio de avisos explicativos.
A OpenAI pede aos leitores que usem o bloco BibTeX no diretório de cada manuscrito. Verifique a versão atual e quaisquer notas de correção antes de citar o resultado ou desenvolver trabalho a partir dele.
On Whose Shoulders torna mais visível a literatura humana por trás da coleção de matemática da OpenAI. Seu índice de citações oferece pontos de partida úteis para reconhecer pesquisadores e rastrear os argumentos até suas fontes.
As correções e a formalização parcial da coleção também mostram por que atribuição e validação devem caminhar juntas. Um manuscrito de IA promissor ainda precisa ter suas referências, premissas e prova verificadas.
Comece com uma frase e tenha um site completo em minutos.
