>
I understand that some degree of formalism is required to enable the sharing of knowledge amongst people across a variety of languages, but sometimes I'll read a white paper and think "wow, this could be written a LOT more simply".
OK, challenge accepted: find a way to write one of the following papers much more simply:
Fabian Hebestreit, Peter Scholze; A note on higher almost ring theory
What I want to tell you with these examples (these are, of course, papers which are far above my mathematical level) is: often what you read in math papers is insanely complicated; simplifying even one of such papers is often a huge academic achievement.
These papers are actually great examples of what is problematic with mathematics, just as what is problematic with papers in any other specialised field: how do you judge if this could be ever useful to you?
If you want to understand what is going on there, what is the most effective way to build a bridge from what you know, to what is written there?
If you are in a situation where the knowledge of these papers could actually greatly help, how do you become aware of it?
I think if AI could help solve these two issues, that would be really something.
OK, challenge accepted: find a way to write one of the following papers much more simply:
Fabian Hebestreit, Peter Scholze; A note on higher almost ring theory
https://arxiv.org/abs/2409.01940
Peter Scholze; Berkovich Motives
https://arxiv.org/abs/2412.03382
---
What I want to tell you with these examples (these are, of course, papers which are far above my mathematical level) is: often what you read in math papers is insanely complicated; simplifying even one of such papers is often a huge academic achievement.