``it is not from the benevolence of the butcher, the brewer, or the baker, that we expect our dinner, but from their regard for their own interest.'' each participant in a competitive economy is ``led by an invisible hand to promote an end which was no part of his intention'' -- adam smith, 1776.\\ with his treatise, the wealth of nations, 1776, adam smith initiated the field of economics, and his famous quote provided this field with its central guiding principle. the pioneering work of walras (1874) gave a mathematical formulation for this statement, using his notion of market equilibrium, and opened up the possibility of a formal ratification. \\ mathematical ratification came with the celebrated arrow-debreu theorem (1954), which established existence of equilibrium in a very general model of the economy; however, an efficient mechanism for finding an equilibrium has remained elusive. the question of algorithmic ratification was taken up in the earnest within theoretical computer science a decade ago, and attention soon gravitated on markets under piecewise-linear, concave utility functions. as it turned out, the recent resolution of this open problem did not yield the hoped-for mechanism; however, it did mark the end of the road for the current approach. it is now time to step back and plan a fresh attack, using the powerful tools of modern complexity theory and algorithms. after providing a summary of key developments through the ages and a gist of the recent results, we will discuss some ways of moving forward.\\ (based in part on recent work with mihalis yannakakis.)