An Infamous Math Problem Closer to Being Solved by Encouraging AI