On: Did Turing prove the undecidability of the halting...

[ted_dunning]

Apparently, there is news on this:

https://www.quantamagazine.org/amateur-mathematicians-find-f...

Not sure why that github still lists so many undecideds.