Yes, really. Just yesterday google announced their AI was able to improve on human SotA algorithms in 25% of the cases fed into it. One of them was 4x4 complex matrix multiply. Which had pretty huge pressure to be improved.

I'm skeptical. I wouldn't call brute-force creating, not really. And Google obviously has an interest in promoting AI.

Not to say it's not impressive and good.