They mainly seem to recapitulate the same tired tropes that have been resonating through academia for literally decades.

I'm fairly new here and would appreciate a brief informal survey of these tropes. Our brilliance aside, to predict which ideas will be new to you from context clues seems silly when you might be able to provide guidance.

Interesting to me, a friend who attempted to write a program capable of verifying mathematical proofs (all of them -- a tad ambitious) said he ran into the exact same problem with

not knowing a good way to model relative computational capacity.