An Infamous Math Problem Closer to Being Solved by Encouraging AI | Dark Hacker News