[jMyles]

There have been both inductive and deductive solutions to open math problems by humans in the past decade, including to fairly high-profile problems.