это число окончательное. Так ли оно на самом деле?
Неизвестно. Этот результат на данный момент не прошёл полную независимую проверку и не признан окончательно сообществом. Как я понимаю, статья основана на довольно муторном компьютерном переборе вариантов, и не так-то просто проверить, что там учтены все возможности. К тому же все помнят, что в недавнем прошлом уже было несколько подобного рода "доказательств", которые раз за разом опровергались (кстати, не обнаружением ошибок в доказательствах, а построением очередных контрпримеров). Поэтому сейчас нет особого энтузиазма по поводу очередного предполагаемого доказательства. Вот если бы появилось какие-то новые в идеи, их бы проверяли намного охотнее, я думаю.