Ok after going through the proof of the chain rule, here is my sense for what is going on. Please correct me if I am mistaken.
An approximately-shortest program outputting
We get
However I don’t think this necessarily means that there is an approximately-shortest program producing
I think it’s also that the public doesn’t understand maths well enough to judge the importance of these new developments. What’s most visible is the AI companies themselves pushing these results hard, which they would clearly do for marketing purposes regardless of whether it is actually sensational.
Given that the mathematics community as a whole is not freaking out (or at least the reactions are very mixed), caution is probably an appropriate response if you don’t have enough experience to form your own opinion.
I think it would be different if AI solved the Riemann Hypothesis (with a positive proof rather than a counterexample), mathematicians would not shut up about it and that would gather some very wide attention.