A Mini-Series on AI for Economic Theorists & Mathematicians, Part 4: Promtps and Agent Swarms | Markus' Academy | Ep. 166-4

Follow the link for the full summary:

https://markusacademy.substack.com/p/ai-for-economic-theorists-and-mathematicians

Link to sign up for the webinar series:

https://markusacademy.substack.com/

Pietro Ortoleva and Fedor Sandomirskiy joined Markus' Academy for a mini-series on AI for economic theorists and mathematicians. This is episode 4. Both are economic theorists at Princeton University.The value has shifted from prompt engineering to context engineering: specify the task. Write a lazy two-line prompt, ask the same model that will do the work to expand it. Never let one session grade its own work, but run a separate verifier and, if the two disagree, a third instance as a judge. Fedor dissected the prompt OpenAI published for the cycle double cover proof - 64 agents, running at least eight hours, a supervisor eliminating agents that converge on the same route. And in his work adds tricks of his own.Timestamps:[0:00] Is prompt engineering still a thing?[3:40] Prompt expansion: let the model write the prompt[9:45] Prover versus verifier, LaTeX not PDF, and when to restart[16:43] Agent swarms, and AI proofreading