If we can get a computer to have that brilliant idea by simply having 1000s and 1000s of ideas and rejecting all of them until it stumbles on the right 1, maybe we can do the IMO Grand Challenge

• Uncategorized