Pietro Ortoleva and Fedor Sandomirskiy joined Markus' Academy for a mini-series on AI for economic theorists and mathematicians. This is episode 1. Both are economic theorists at Princeton University.In this first video, Pietro sets out where AI fits into theory research. Unlike mathematics, a theory paper does not set out to prove a stated conjecture; it searches for a fixed point between defensible assumptions, interesting statements, and proofs that certify them. AI changes the cost of each loop of that search. Pietro lists seven use cases for AI in theory, and argues that sketching is the most underused of them. On proofs, frontier models can now generate reliable proofs of the kind of model economists typically write. The higher-value uses are attack (a hostile referee hunting for weak steps), repair (which assumption rescues a false statement) and inspiration: even a wrong proof can point to the right route.Timestamps:[0:00] Introduction, and economic theory as a fixed point[5:12] Seven use cases, and why sketching is the most underused[8:46] Proofs: attack, repair, and inspiration[15:12] Extensions, microfoundations, simplifications
Podden och tillhörande omslagsbild på den här sidan tillhör
MarkusAcademy. Innehållet i podden är skapat av MarkusAcademy och inte av,
eller tillsammans med, Poddtoppen.
