Babai图同构结果的状态如何？

自他2017年1月撤职和更正以来已经一年多了。有新闻吗？
如果不是这样，那么进行验证需要很长时间吗？我希望它将引起足够的关注。有没有人注意支持/怀疑准多项式结果？

cc.complexity-theory graph-isomorphism proofs

— 梅尔·莫尔
source

HaraldAndrésHelfgott立即支持了更正（并因此获得了多项式结果）。他的说明文件（arxiv.org/abs/1701.04372）及其翻译（arxiv.org/abs/1710.04574）都是拟多项式结果所需要的支持（只要没有发现其他漏洞或错误）。没有新闻等待。

— Thomas Klimpel'3

这些内容是否已发布在某处？（不是arxiv）

— Meir Maor

它在arXiv上显示为“将出现在Astérisque。Bourbaki研讨会的Fascicule no 1125（第69年，2016-2017年）”中。它尚未出现，（smf4.emath.fr/Publications/Asterisque/2017）列出了“SéminaireBourbaki，第2015/2016卷”，而（smf4.emath.fr/Publications/Asterisque）尚未列出2018年以来的任何内容。

— Thomas Klimpel '18

数学论文发表超过一年甚至超过两年是绝对正常的。

— Sasho Nikolov

另一方面，发表论文并不意味着结果正确。在期刊上发表后，有许多结果被撤回的案例。例如，sciencedirect.com/science/article/pii/…

— Mohammad Al-Turkistany

将Thomas Klimpel，Sasho Nikolov和Mohammad Al-Turkistany的评论汇总到社区中：

HaraldAndrésHelfgott立即支持了更正（并因此获得了多项式结果）。他的说明性论文（https://arxiv.org/abs/1701.04372）及其翻译（https://arxiv.org/abs/1710.04574）都是拟多项式结果所需要的支持。赫尔弗戈特的展览作为1125年博览会（Exposé1125）出现在Astérisque407（2019），SéminaireBourbaki 2016/2017，第135–182页。

目前，Babai的证明尚无已知问题，并且已通过广泛的同行审查。也就是说，即使是发表的经过同行评审的论文后来也被撤回为不正确的论文。

HaraldAndrésHelfgott的支持以及其他问题的缺乏应足以使我们接受图同构确实可以在拟多项式时间内解决。

— Meir Maor
source

如果不清楚的话，在Bourbaki研讨会上“出现”的东西是Helfgott的论述，而不是Babai的论文。

— Sasho Nikolov

请注意，我故意将此答案作为社区Wiki，这不仅是为了获得荣誉，而且包括您在内的任何人都可以轻松进行编辑以进行任何改进/说明。

— Meir Maor