[D] math reasoning agents

I recently saw Terence Tao talk about how agents are evolving quickly and are now able to solve very complex math tasks. I was curious about how that actually works.

My understanding is that you give an agent a set of tools and tell it to figure things out. But what actually triggers the reasoning, and how does it become that good?

Also, any articles on reasoning agents would be greatly appreciated.