Terry Tao using coding agents to build apps means we're one step away from a Fields Medalist asking an LLM why his Docker container won't start, just like the rest of us.
I'm waiting for the reverse, coding agents asking Terry Tao if the proof they plan working on is worthy of a Fields Medal
Before LLM there has already been Fields medalist[0] who creates professional software[1].
[0]: https://en.wikipedia.org/wiki/Martin_Hairer
[1]: https://www.hairersoft.com/