Qual é o status do resultado do isomorfismo do gráfico de Babai?

Já faz mais de um ano desde a sua retração e correção em janeiro de 2017. Há novidades?
Se não, isso é normal para a validação demorar tanto? Eu esperaria que isso chamasse muita atenção. Alguém de destaque falou para apoiar / duvidar do resultado quase polinomial?

cc.complexity-theory graph-isomorphism proofs

— Meir Maor
fonte

A correção (e, portanto, o resultado quase polinomial) foi imediatamente apoiada por Harald Andrés Helfgott. Seu artigo expositivo ( arxiv.org/abs/1701.04372 ) e sua tradução ( arxiv.org/abs/1710.04574 ) são todo o suporte necessário para os resultados quase polinomiais (desde que não sejam encontrados mais buracos ou erros). Não há notícias para esperar.

— Thomas Klimpel

Elas foram em algum lugar publicada (não arXiv)?

— Meir Maor

Diz "Aparecer em Astérisque. Fascículo nº 1125 do seminário Bourbaki (69º ano, 2016-2017)" no arXiv. Ainda não apareceu, ( smf4.emath.fr/Publications/Asterisque/2017 ) lista "Séminaire Bourbaki, volume 2015/2016" e ( smf4.emath.fr/Publications/Asterisque ) ainda não lista nada a partir de 2018.

— Thomas Klimpel 11/0318

É absolutamente normal que um trabalho de matemática leve mais de um ano, até mais de dois anos para ser publicado.

— Sasho Nikolov

Por outro lado, a publicação de um artigo não significa que os resultados estejam corretos. Existem muitos casos de resultados retirados após serem publicados em periódicos. Por exemplo, sciencedirect.com/science/article/pii/…

— Mohammad Al-Turkistany 13/03

Agregar comentários de Thomas Klimpel, Sasho Nikolov e Mohammad Al-Turkistany em uma resposta da comunidade:

A correção (e, portanto, o resultado quase polinomial) foi imediatamente apoiada por Harald Andrés Helfgott. Seu artigo expositivo ( https://arxiv.org/abs/1701.04372 ) e sua tradução ( https://arxiv.org/abs/1710.04574 ) são todo o suporte necessário para os resultados quase polinomiais. A exposição de Helfgott apareceu como Exposé 1125 em Astérisque 407 (2019), Séminaire Bourbaki 2016/2017, pp. 135–182.

Atualmente, não há problemas conhecidos com a prova de Babai e ela passou por uma extensa revisão por pares. Dito isto, mesmo os artigos revisados por pares foram posteriormente retirados como incorretos.

O apoio de Harald Andrés Helfgott, juntamente com a falta de outras questões, deve ser suficiente para aceitarmos que o isomorfismo gráfico é realmente solucionável em tempo quase polinomial.

— Meir Maor
fonte

Caso não esteja claro, o que "deve aparecer" no seminário de Bourbaki é a exposição de Helfgott, não o artigo de Babai.

— Sasho Nikolov

Nota: Eu deliberadamente fiz desta resposta um wiki da comunidade, não apenas para não receber crédito, mas qualquer pessoa, incluindo você, pode facilmente editar para fazer melhorias / esclarecimentos.

— Meir Maor