Utility

Interestingness is Subjective

• Our understanding is imprecise
• Final arbitration by humans

Humans are Fickle

• Careful pruning and ranking of theorems
• Prediction of interestingness even harder