Comment by phillipseamore

Stupid me thinking they only spent time on brute force-able problems with pure compute, not sure there's much intelligence here. What could a mathematician do with $20M worth of compute to try to brute force one single problem?