O repositório openai/math retirou três manuscritos depois que um erro de sinal foi encontrado no artigo "Algebraicity of Weil classes on split abelian eightfolds". O erro invalida um argumento de cancelamento de traço de estabilização e uma construção usada por dois artigos dependentes. Os manuscritos retirados são "Algebraicity of Weil classes on split abelian eightfolds", "Algebraicity of Kuga–Satake Correspondences for K3 Surfaces" e "The rational Hodge conjecture for products of K3 surfaces". Cada um agora traz um aviso explicando a lacuna e um link para o manuscrito arquivado.
Catorze outros manuscritos receberam revisões, incluindo reparos de provas, enunciados corrigidos, hipóteses e dependências mais claras, e uma correção de uma citação obsoleta. Quatro artigos sobre alturas de Lipschitz e correntes de Ashkin–Teller tiveram seus argumentos de cruzamento, fixação na fronteira, condicionamento e convergência reparados. Seis artigos sobre programas de modelos mínimos kählerianos e abundância expandiram seus argumentos de positividade e contração. Dois artigos sobre taming e deformação hipersimplética corrigiram uma afirmação de igualdade de cones e acrescentaram um exemplo de inclusão estrita.
Além disso, treze manuscritos adicionais foram atualizados para citar as edições revisadas de artigos complementares, alterando referências e datas de versão. As edições publicadas anteriormente continuam acessíveis pelas notas de versão de cada README.
O repositório também acrescentou seis formalizações e cinco outras adições de apoio. A proporção de resultados principais formalizados agora é de 300 de 719, cerca de 42%.
Fonte: Hacker News · Resumido por HeadlinesBriefing