[vintermann]

I have often wondered how long you could string along a mathematician if you started off like many (bad) textbooks from 50 years ago: rattling out a few definitions, proving a few trivial things about them, then making up a couple of new ones and do it again, maybe very tangentially tying it to something previously mentioned, and carefully obfuscate that the definitions and lemmas aren't really going anywhere.

I have long wanted to read firmly motivation-transparent mathematics. They can be abstract nonsense, but it has to be motivated abstract nonsense, you have to tell me what abstract nonsense result you seek and how you plan to go about getting it!

I'm almost offended at the author justifying the need for this database by AI. Yeah, you bet de-obfuscating motivations will help AI, but it will help me too!