Pinned Tweet
1/5 I built open-source tools for doing economic theory with LLMs โ without letting the model hand-wave a proof. It traveled further than I expected this week, so here's what it is and how to use it. ๐งต
One thing I love about academia is the opportunity to work with the smartest folks on incredibly interesting stuff. It's the adult equivalent of working at a toy store. And the cherry on top are that these folks are also some of the nicest persons I've ever met! This week we soft launched a passion project of ours that was in stealth mode for too long. While still at a nascent stage, We hope #matheconlib will eventually lay the foundation for theoretical research in economics and adjacent disciplines in the new age of AI aided discovery. Thank you @skominers and @KenOno691 for leading this endeavour and to @chen_ruize3962, Ben Eltschig, @JujianZhang,
@bocowgill,
@PiotrDworczak,
@NikhGarg ,
@ZivHellman,
, and Daniel Lyng for the fun collaboration! See you at our next weekly.
4/5
While it didn't fully solve any of the 24 problems, it definitely made a dent! ๐จ
โ
~159 reviewer-checked theorems & results
โ
~12 verified counterexamples & separations
Topics spanned fair division, auctions, mechanism design, prophet inequalities & more. ๐
5/5
Want to help further develop the toolbox, or follow up on any of these results? DM me! ๐ฉ
๐ 24 generated result papers: lnkd.in/d6A9bEjr
๐งฐ THEORIST TOOLBOX: lnkd.in/dHG2juQW๐
Method Paper (arXiv:2606.22337): lnkd.in/d2Keyx_v
#LLM #AI
4/5 These run as Claude Code skills (@AnthropicAI). Repo, install, a worked example, and "good first issues": github.com/morankor/theoristโฆ
Paper, if you use it in research: arxiv.org/abs/2606.22337
5/5 The hard problems I'm chewing on now: cutting token cost, routing cheaper models to easy work, and telling an economically interesting result from a merely true one.
Curious how you'd approach this โ RFC: github.com/morankor/theoristโฆ
Moran Koren retweeted
ืขืื ืคืืืืข ืืจื ืืืกืืช ืืืืฉืื ืืจืืคืกืช, ืืื ืืขื ืืืืกืืื ืช.
ืืชื ืืืืช ืืฉืจ ืืคืงืืจื ืืช ืืืจืื ืืฉืจืื.
ืืืืฉืื ืืชืคืืจืช ืฉืืืืืืื ืืืื ืกืืืื ืขื ืืื ืืืื ืืืืืืช ืืฉืืื ืืื ืืฉื ื ืืืจืืื ืขื ืืงืื. ืืคื ืืืืืืื ืืื - ืชืืจื ืืขืฆืืื ืืื ืืืืืื ืืื ืคื ืื ืืื ืืืืืกืื ืืช ืื ืืืจืืื ืืคื ื ืขืฉืืจโฆ.
As a grandson of holocaust survivors, when I see starving children, I don't ask my self "who's blame is it?" but "who has the power to make it stop?" End the war! #NotInMyName
Yuval Doronโs thesis designs algorithms for temporary placement of evacuees, preserving community ties in crisis.
After a year of work, weโre ready to deploy.
Sadly, the need is rising again.
Please RT & connect us to:
@HomeFrontCmd @MisradHapnim @moch_gov_il @NeamanInst
ืืฉ ืกืืืื ืฉืืขืื ืืช ืืฉื "ืืื ืืื ื" ืืื ืฉืืื ืืคืกื ืืื"ืฅ ืืืื ืืืื ืืืื ืื ืืงืืืงื ืืฉืื ืื"ืืื ืืืช"ื ืชืืื ืกืืื ืืืชืืืืื?
Moran Koren retweeted
Replying to @stwiess








