Каков статус результата изоморфизма графа Бабая?

Прошло более года с момента его отвода и исправления в январе 2017 года. Есть ли новости?
Если нет, то нормально ли это для проверки? Я ожидаю, что это привлечет много внимания. Кто-нибудь отметил, чтобы поддержать / сомневаться в квазиполиномиальном результате?

cc.complexity-theory graph-isomorphism proofs

— Меир Маор
источник

Поправка (и, следовательно, квазиполиномиальный результат) была немедленно поддержана Харальдом Андре Хельфготтом. Его пояснительная статья ( arxiv.org/abs/1701.04372 ) и ее перевод ( arxiv.org/abs/1710.04574 ) - все это поддержка, необходимая для квазиполиномиальных результатов (до тех пор, пока не будут найдены дополнительные дыры или ошибки). Нет новостей ждать.

— Томас Климпел

были ли они где-нибудь опубликованы? (не arxiv)

— Меир Маор

На arXiv написано: «Появиться в Astérisque. Сборник № 1125 семинара Бурбаки (69-й год, 2016-2017)». Он еще не появился, ( smf4.emath.fr/Publications/Asterisque/2017 ) перечисляет «Семинар Бурбаки, том 2015/2016», и ( smf4.emath.fr/Publications/Asterisque ) еще ничего не перечисляет с 2018 года.

— Томас Климпел

Для математической статьи абсолютно нормально занимать более года, даже более двух лет.

— Сашо Николов

С другой стороны, публикация статьи не означает, что результаты верны. Есть много случаев, когда результаты публикуются в журналах. Например, sciencedirect.com/science/article/pii/...

— Мохаммад аль-Turkistany

Объединение комментариев Томаса Климпеля, Сашо Николова и Мухаммеда Аль-Туркистани в ответ сообщества:

Поправка (и, следовательно, квазиполиномиальный результат) была немедленно поддержана Харальдом Андре Хельфготтом. Его пояснительная статья ( https://arxiv.org/abs/1701.04372 ) и ее перевод ( https://arxiv.org/abs/1710.04574 ) - это вся поддержка, необходимая для квазиполиномиальных результатов. Экспозиция Хельфготта появилась как Экспозиция 1125 в Astérisque 407 (2019), Séminaire Bourbaki 2016/2017, стр. 135–182.

В настоящее время нет известных проблем с доказательством Бабая, и оно прошло обширную экспертную оценку. Тем не менее, даже опубликованные рецензируемые статьи впоследствии были отозваны как неправильные.

Поддержка со стороны Харальда Андреса Хельфготта наряду с отсутствием других вопросов должна быть достаточной, чтобы мы могли признать, что изоморфизм графов действительно разрешим в квазиполиномиальное время.

— Меир Маор
источник

Если неясно, то, что «появляется» на семинаре Бурбаки, - это экспозиция Хельфготта, а не статья Бабая.

— Сашо Николов

Заметьте, что я намеренно сделал этот ответ вики-сообществом, чтобы не только не брать кредит, но и любой, включая вас, мог легко отредактировать, чтобы внести какие-либо улучшения / разъяснения.

— Меир Маор