Update - AI makes progress on frontier maths https://arxiv.org/abs/2511.02864

Though I don't know if evolutionary type algorithms count as thinking / intelligence? I guess it's down to definitions.