https://www.quantamagazine.org/amateur-mathematicians-find-f...
Not sure why that github still lists so many undecideds.