> Coding is solved, perhaps, with unlimited token spend on a frontier model.

Coding is also a solved problem with unlimited salary budget on the very best developers.