Який статус результату ізоморфізму графіка Бабая?

Минуло більше року з часу його вилучення та виправлення у січні 2017 року. Чи є новини?
Якщо ні, це нормально, щоб перевірка тривала так довго? Я би сподівався, що це приверне багато уваги. Хтось із зауважень говорив, щоб підтримати / сумніватися в квазіполіномічному результаті?

Агрегуючи коментарі Томаса Клімпеля, Сашо Ніколова та Мохаммада Аль-Туркстані у відповідь громади:

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

Немає відомих поточних проблем із підтвердженням Бабая, і він пройшов широкий експертний огляд. Однак, навіть опубліковані рецензовані документи згодом були вилучені як неправильні.

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