>>155740
Not to mention all the other shit that AI solved like proving that stupid Jacobian conjecture false was all nothingburger. No one had even heard any of this crap. These weren't any important problems in mathematics. Most importantly, it didn't actually take any brains to solve, it just found a counterexample via brute force kek.