This article appears to be AI-written slop.

I thought this turned out to be a bug in the solver?

The AI-generated writing makes this nearly impenetrable. The AI used does not have the same intuition as a human about what math concepts will be easy vs hard for its audience to grasp, and as a result this is simultaneously rambling and opaque.

I'm sure that if I had a back-and-forth with AI about the topic, it would answer all my questions and explain it well. This article isn't that.

At least the site had the grace not to list an author's name.

The article isn't great. But it's nice to know about TxGraffiti! I always wondered what happened with Graffiti.