AI solves a 'holy grail' problem from probability theory | Dark Hacker News