Original Reddit post

Erdos problem 90 has been resolved. While at this point more than a dozen Erdos problems have been solved using AI, most are considered trivial. But problem 90 is different. It went unsolved for 80 years, resisting the attempts of generations of mathematicians despite its simple setup. submitted by /u/alphacolony21

Originally posted by u/alphacolony21 on r/ArtificialInteligence