罗盘 / 自动机制设计
暗星档案 · 未点亮的星自动机制设计 · 计算经济学
自动机制设计 · 计算经济学潜能 T5
用算法搜索最优的拍卖、税制与激励结构——把制度设计从手工艺变成工程学科。
暗星编号DS-0113
轴E · 能量与能力前沿
领域economy-markets
状态初步评估
这是什么 · 为什么难
人类的制度(税制、拍卖、投票规则、补贴结构)至今基本是手工艺品:靠少数天才经济学家的直觉加几十年试错,而设计空间其实大到人脑根本搜不完。自动机制设计的思路是把'设计一个激励相容的制度'变成可计算的优化问题,让算法/AI 在巨大的机制空间里搜索——就像芯片设计从手绘版图进化到 EDA 工具。频谱拍卖的成功已经证明'精心设计的机制值几百亿美元',而 AI 经济学模拟(如学习最优税制)展示了下一步。攻破这颗暗星意味着制度创新的速度从'一代人一次'提升到'可迭代可验证',这是对文明底层操作系统的升级能力本身的升级。
卡在哪 · 机制级卡点
卡在模拟到现实的鸿沟:算法在模拟环境里搜出的'最优机制'依赖对人类行为的建模假设,而真人会学习、会博弈、会钻任何模型没料到的空子;同时真实制度改革的试错成本极高(一次错误税改伤及千万人),没有安全的'制度沙盒'做验证;最后是可解释性——民主社会难以接受一个说不清道理的算法产出的税制,正当性问题与技术问题同样坚硬。
谁在攻
Tuomas Sandholm(CMU,自动机制设计奠基)、Salesforce AI Economist 项目(强化学习搜索税制)、算法博弈论学界(ACM EC 会议社区)
怎么参与
读算法博弈论 + 强化学习/多智能体系统,这是标准的博士方向(CMU、斯坦福、牛津等都有强组),也可进大厂的经济学与市场设计团队(广告拍卖是现成的真实练兵场)。切入子问题:多智能体模拟中'策略性人类行为'的建模鲁棒性——即算法搜出的机制在行为假设被打破时还能保住多少性能,这是跨越模拟—现实鸿沟的第一块砖。
谁在攻这颗暗星 · 攻关者名录9 人
这里列出正在探索这一问题的研究者、创业者与支持者。人物资料仍在核对,欢迎补充与纠正。
ACADEMIA学界 · 科研7
图奥马斯·桑德霍尔姆Tuomas Sandholm自动机制设计奠基者 / 计算机科学教授
卡内基梅隆大学(CMU)
attackers 明列的自动机制设计奠基者,把'设计激励相容制度'变成可计算的优化问题,并将成果落地于肾脏交换与组合拍卖
文森特·科尼策Vincent Conitzer计算经济学家 / 教授
卡内基梅隆大学、牛津大学
与桑德霍尔姆共同开创自动机制设计的核心算法工作,是把机制搜索交给计算的关键推动者
诺姆·尼桑Noam Nisan算法机制设计奠基者 / 教授
耶路撒冷希伯来大学
与 Amir Ronen 共同提出'算法机制设计'概念,为把制度设计计算化奠定理论框架,是该学界(ACM EC 社区)源头人物
大卫·帕克斯David Parkes计算机制设计学者 / 教授
哈佛大学
长期研究计算化的市场与机制设计,是 attackers 所指 ACM EC 学界社区的领军人物之一
康斯坦丁诺斯·达斯卡拉基斯Constantinos Daskalakis算法博弈论学者 / 教授
麻省理工学院(MIT)
研究用机器学习搜索最优拍卖与机制,把'从数据中学出机制'这条自动机制设计的下一步做成前沿方向
蒂姆·拉夫加登Tim Roughgarden算法博弈论学者 / 教授
哥伦比亚大学
算法博弈论与机制设计的核心研究者与教材作者,支撑 attackers 所指学界社区对可计算机制的系统化研究
保罗·米尔格罗姆Paul Milgrom拍卖设计理论家 / 经济学教授
斯坦福大学
设计频谱拍卖机制(detail 明示'值几百亿美元'的成功案例),2020 年获诺贝尔经济学奖,证明精心设计的机制的巨大价值
INDUSTRY业界 · 创业与工程2
Stephan ZhengStephan ZhengAI Economist 项目负责人 / 首席研究科学家
Salesforce Research
领衔 attackers 明列的 Salesforce AI Economist 项目,用两层深度强化学习搜索最优税制,是'让 AI 搜索机制空间'的旗舰实践
亚历山大·特罗特Alexander TrottAI Economist 核心研究者
Salesforce Research
AI Economist 系列论文(含 Science Advances 2022)的核心共同作者,共同实现用强化学习学习最优经济政策
去哪家 · 机构与公司名录3 家 · 其中初创/成长期 1
了解正在研究或开发相关技术的团队,寻找工作与合作机会。机构资料仍在核对。
Auctionomics初创
由诺奖得主 Paul Milgrom 创立的高额拍卖设计咨询与软件公司,为政府和企业设计并优化拍卖机制。
↗ 为美国 FCC 频谱激励拍卖求解 270 万条干扰约束、募资超 190 亿美元,是'机制设计值几百亿美元'最硬的实证,把学术机制设计做成可交付商业产品的天花板样板。
Salesforce AI Research(AI Economist 项目)大厂
用多智能体强化学习在模拟经济中搜索最优税制/激励结构,是'算法搜索制度'路线的旗舰研究项目。
↗ 把'AI 搜索税制'从理论推到可跑的仿真,是这颗暗星'制度沙盒'能否成立的公开标杆项目,对想做计算经济学的人是现成研究起点。
Google Research · Market Algorithms 团队大厂
研究大规模在线市场与广告拍卖的机制设计与优化,把机制设计成果落到真实广告拍卖系统。
↗ 广告拍卖是自动机制设计唯一大规模、高频、真金白银的'真实练兵场',该团队是把差异化经济学/深度学习拍卖投入生产环境的核心工业力量。