Saturday Links: AI Economics, Theorem Proving, and AI Remaking the Software Stack