Some people feel strongly about defining jargon when using it - an article on here [1] the other day about Capture The Flag (CTF) hacking puzzle competitions was full of comments comparing the article didn’t say what CTFs were.

[1] https://news.ycombinator.com/item?id=48157559

It’s not a useless qualifier. Many readers might not know that Polymarket is the biggest now, and if at some future date it’s not the biggest anymore the statement makes it clear why they studied at this time.

This is a familiar style in abstracts. Weird as it sounds, it’s normal to have some language implying the reader is a hermit living in a cave. If it sounds like something an AI would say, maybe it’s because models have been trained on academic papers?