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.
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.
They are Swiss (EPFL)
It's not a LaTeX successor, but rather an alternative compiler. It's more pleasant to use than other LaTeX compilers, but I've noticed discrepancies between its output, and the output of whatever standard compiler I used, so I had to drop it.
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
Kyndryl said in a statement it was "extremely disappointed" about the decision. "The politicization of this process has overshadowed the clear and important benefits this transaction would have brought to Solvinity's customers and Dutch citizens."
(Emphasis mine)
These sorts of statements makes me want to hurl...
Unknown Worlds Entertainment is still owned by Krafton, so, in a way, to both.
Yes, if you block ads, then you do not generate revenue for them.
More recently, the early access of Slay the Spire 2 hit them pretty hard too.