[lcnPylGDnU4H9OF]

In their post is a disclaimer from the author that they made a mistake in their initial proof.

https://ogiekako.vercel.app/blog/find_mkdir_tc

https://news.ycombinator.com/item?id=41115941

They also updated their proof (not saying whether it's valid or not, just updated):

https://news.ycombinator.com/item?id=41127041