I've come up with an algorithm (the same as the AI's) for solving that linear system using a CAS. Feels relevant because this breakthrough is heralding an era o

I've come up with an algorithm (the same as the AI's) for solving that linear system using a CAS. Feels relevant because this breakthrough is heralding an era of much more powerful CASes. We're getting close to an era where the drudgery in maths can be automated way.