I don’t want to sound like a downer, but I’m skeptical about Armada: never heard of it before, repo created last June, tons of features implemented in that short span and already “ready to go”… Seems like it has been heavily vibe-coded.
One of the absurds things I’ve noticed is teaching how to play instruments to people who do not listen to music regularly — and thus did not develop their musical taste yet — and do not know what to play. In my experience, learning an instrument for the sake of knowing how to play it, rather than to play music that you like is not very productive.
So, we end up with what you described: kids who know how to play the Good Stuff™ because their parents wanted to, but hate it.
It’s okay, it could happen to anyone :)
You put in the same link to Bandcamp twice. Here’s the link to their GOG page
700+ preprints is a lot and takes time to be ingested, especially when the text is generated. For example, Communication in Mathematics had less than a hundred submissions in 2025 and accepted a fourth of them.
So, the small correction rate might be due to the bottleneck at the verification stage, which OpenAI should have done in the first place, rather than throwing everything at mathematicians and expecting them to do the ungratifying work whilst they reap the fame.