Ask HN: AI and Math

Since AI is getting smarter by the day,would it not be more profitable for both man and machine for it to come up with more,harder Millenium problems?