BagratM on Nostr: They produce an explicit compact complex threefold and then using explicit ...

They produce an explicit compact complex threefold and then using explicit computations show its a simply connected homology 6 sphere and therefore the 6 sphere. But as you can imagine there is plenty of room for mistakes, I would be amazed if it turned out to be correct.