Not this one, but later theorem provers have proved plenty of new results, although probably not many of them are very interesting. Here is a two decade old lis

Not this one, but later theorem provers have proved plenty of new results, although probably not many of them are very interesting. Here is a two decade old list [1]. One of the more interesting results is Robbins Conjecture, which was proved by a prover called EQP. [1] http://www.mcs.anl.gov/research/projects/AR/new_results/ http://www.mcs.anl.gov/research/projects/AR/new_results/