本文描述了作者发现并利用Google用户名恢复表单的一个安全漏洞，该表单在禁用JavaScript时仍可运行，从而绕过反滥用保护机制。核心攻击链涉及三个步骤：通过Looker Studio泄露目标用户的显示名，利用忘记密码流程获取部分手机号掩码，并使用自定义工具暴力破解完整号码。

漏洞细节

• 端点分析：用户名恢复表单通过两个POST请求验证手机号与显示名的关联。第一个请求提交手机号，获取ess令牌；第二个请求结合ess、显示名和bgresponse参数，通过重定向判断账户是否存在。
• 绕过限流：作者最初尝试用IPv6地址池轮换IP绕过IP速率限制，但数据中心IP始终触发验证码。后来发现将bgresponse=js_disabled替换为JavaScript版本表单生成的BotGuard令牌后，无需验证码且无请求限制，漏洞得以利用。
• 攻击优化：
  • 手机号掩码：通过forgot password流程获取目标手机的部分数字（如末两位），结合国家代码缩小暴力范围。
  • 显示名泄露：Google在2024年后移除了未认证场景的显示名，但作者发现通过Looker Studio转让文档所有权，无需受害者交互即可泄露其显示名。
  • 工具实现：作者开发了gpb工具，支持IPv6轮换、实时号码验证和BotGuard令牌生成，暴力破解速度可达约4万次/秒。

攻击可行性

• 不同国家手机号的暴力时间差异显著：如美国（+1）需20分钟，新加坡（+65）仅需5秒（基于末两位掩码）。
• 若从其他服务（如PayPal）获取更多数字掩码，可大幅减少破解时间。

漏洞修复与时间线

• 报告流程：2025年4月14日提交报告，厂商于4月15日分类确认，5月15日初始奖励1,337美元。作者根据滥用漏洞规则申诉后，厂商于5月22日将奖励增至5,000美元，并部署临时缓解措施。
• 修复：厂商于6月6日全球弃用No-JS用户名恢复表单，彻底消除漏洞。

该漏洞虽利用概率较低，但无需受害者交互且难以察觉，属于高影响滥用漏洞。作者通过技术细节展示了如何结合信息泄露、参数篡改和大规模计算实现目标手机号爆破。

Better search results with no ads. Welcome to Kagi (pronounced kah-gee), a paid search engine that gives power back to the user.

https://crawshaw.io/blog/programming-with-agents

https://blog.freespeechextremist.com/blog/fse-vs-fbi.html

A lot of people think LLMs are expensive to operate. That was true a couple of years ago, but these people haven't updated their views after an approximately 1000x reduction in prices over two years.

Cancer survival rates soar thanks to new treatments, early screening, and vaccines. How three medical revolutions saved 4 million lives.

https://ziglang.org/devlog/2025/#2025-06-08

A few eagle-eyed readers have noticed that it’s been 4 weeks since my last entry in what I have been thinking of as my “niblet series” — one small piece per week, 1000 words or less, for the next three months. This is true. However, I did leave myself some wiggle room in my original…

https://news.ycombinator.com/item?id=44225352

https://www.tbray.org/ongoing/When/202x/2025/06/06/My-AI-Angst

本文探讨歌手肖恩·蒙德兹是否通过其歌曲《Lost in Japan》隐晦地表达了在日俄千岛群岛（南千岛群岛）领土争端中的立场。作者通过分析歌词中的地理位置、时区、航班时刻表等细节，结合现实地理与政治背景进行推理，最终得出结论：蒙德兹在歌词中将南千岛群岛视为“日本”，从而支持日本的领土主张。

主要推理过程：

1. 歌词线索：歌词提到“距离日本几百英里”且希望当晚飞往日本与友人见面，并强调双方处于同一时区。
2. 排除其他地点：韩国与日本时区相同，不符合“不在同一时区”；中国距离日本过远，不符合“几百英里”；台湾虽靠近日本岛屿（如石垣岛），但存在航班时刻不符（无夜间直飞）及蒙德兹对蚊子过敏等现实问题。
3. 聚焦俄罗斯远东：剩余可能地点为俄罗斯远东地区（萨哈林岛及千岛群岛）。作者指出，萨哈林至札幌的航班时间与歌词描述的“当晚抵达”及“几小时”旅程不符。
4. 关键推论：作者认为蒙德兹指的是南千岛群岛（择捉岛或国后岛），这些岛屿虽由俄罗斯管辖，但日本声索主权。周日从萨哈林飞往择捉岛的航班（晚间出发、夜间抵达）与歌词细节（如担心对方入睡、旅程时长）高度吻合。
5. 佐证：作者引用一张疑似蒙德兹在择捉岛机场的照片，并认为其可信度与前述推理一致。

结论：通过歌词分析与地理逻辑推演，作者认为蒙德兹在《Lost in Japan》中隐晦地将南千岛群岛称为“日本”，从而表态支持日本在千岛群岛争端中的立场。作者本人也表示由此转为支持日本。

A detective story with a silly ending

Omnimax：穹幕影院技术的兴衰

起源与背景

Omnimax是一种特殊的穹顶影院格式，其历史可追溯至传统天象馆投影技术。早期的天象馆使用复杂的光学投影仪（如蔡司投影仪）在球形穹顶上模拟星空，这种球形幕布是几何校正投影的必需。然而，传统天象馆的应用范围局限于天文展示，尝试放映电影时，画面通常只能集中在穹顶下方有限区域。

技术突破：倾斜穹顶与Fleet科学中心

1973年，美国圣迭戈舰队科学中心开创性地采用了倾斜穹顶设计，将穹顶向观众方向倾斜25度，并采用计算机控制的“空间传输模拟器”投影仪，允许实时“飞行”演示。更关键的是，该中心与IMAX公司合作，为穹幕开发了专门的电影投影系统。

Omnimax的诞生

该系统基于IMAX的70毫米、15齿孔横向输片胶片格式，但配备了定制的紧凑型液冷灯箱和球形鱼眼镜头。由于投影机体积巨大，它被安装在观众席下方的机房内，演出前通过垂直导轨升入影院中央。这套专为穹顶设计的放映系统被命名为Omnimax。

影片制作与特点

• 拍摄困难：需要专用的70毫米鱼眼镜头摄像机，设备极其笨重（后期用于太空和水下的型号重达1000磅），胶片消耗量大（每英里胶片仅能播放约8.5分钟）。
• 内容主题：绝大多数影片为科学纪录片，由科学博物馆联盟资助制作。早期影片常通过将常规IMAX画面光学畸变转换到Omnimax格式来制作，画质有妥协。
• 关键制片公司：Graphic Films（早期与格式紧密相关，以其“虫洞”片头标识闻名）和MacGillivray Freeman Films（制作了《To Fly!》等标志性IMAX科学纪录片）是行业支柱。

商业化尝试与局限

Omnimax始终主要作为教育工具存在于科学博物馆。1979年凯撒宫酒店曾开设商业Omnimax影院，但这类尝试寥寥。格式的高成本、影片片源的稀缺性（长期依赖旧片循环放映）以及将普通电影转换到穹幕的体验不佳，限制了其商业发展。

技术规格与体验

• 影院结构：穹顶为穿孔铝幕，后方架设有扬声器系统。放映室位于座位下方，通常为正压洁净室。
• 音频系统：采用六声道独立系统，后期升级为数字音频。
• 观众体验：提供约180度水平视角的沉浸式画面，常伴有超响的音效（部分是为了掩盖中央放映机的噪音）。博物馆常安排观众在排队时观看放映员准备影片的过程，作为展示的一部分。

衰落与转型

• 数字冲击：21世纪初，IMAX转向数字放映，但适配穹顶的数字系统极其昂贵。Omnimax专用胶片拍摄和放映成本高昂，逐渐被行业放弃。
• 现状：多数科学博物馆的Omnimax影院已关闭或被改装为普通数字巨幕影院。少数幸存者（如舰队科学中心）保留了原始胶片放映机用于特别活动，但主要采用激光数字穹顶投影（IMAX Dome或索尼等竞争系统）维持运营。全新的大型沉浸式场馆（如拉斯维加斯的Sphere）则完全抛弃了投影，采用LED显示面板。

历史意义与反思

Omnimax代表了电影投影技术的巅峰之一，它曾催生一个独特的、以科学教育为核心的影院行业，吸引了顶尖的电影制作人和技术人才进行突破极限的拍摄（如太空、深海）。然而，其高昂的成本、狭窄的内容生态和数字化浪潮最终使其走向边缘。作为一种“必须亲临现场”的体验，其历史记录相对匮乏，原始影片和场馆资料散失严重。

森林恢复对冷却地球的影响比之前认为更大

新研究表明，重新种植森林可以比之前认为的更有效地冷却地球，尤其是在热带地区。研究发表在《Communications Earth & Environment》上，由加州大学河滨分校的研究人员进行。

主要发现

• 恢复到工业化前的森林覆盖水平（增加约1200万平方公里的树木面积）可将全球平均温度降低0.34摄氏度，这约占地球已经历变暖的四分之一。
• 研究基于树木恢复潜力，相当于美国面积的135%，并类似于估计的1万亿棵树的全球恢复潜力；自工业社会开始以来，地球已损失近一半树木（约3万亿棵）。
• 重新造林不是银弹，必须与严重的减排措施相结合；砍伐排放仍至关重要。

研究创新点

• 与之前主要关注树木吸收碳的研究不同，本研究考虑了树木对大气化学组成的额外影响。
• 树木释放生物源挥发性有机化合物（BVOCs），这些化合物与其他气体相互作用，形成反射阳光并促进云形成的颗粒，从而增强冷却效果。
• 大多数气候模型未考虑这些化学相互作用；包括这些效应后，净冷却影响更显著。

区域差异

• 热带森林冷却效果更强，负面影响更少：热带树木更有效吸收碳，产生更多BVOCs，并且表面变暗效应较小（高纬度地区树木可能导致变暖）。
• 重新造林影响区域空气质量：在恢复情景下，北半球大气粉尘减少2.5%；在热带地区，BVOC排放增加对空气质量有混合影响——基于增强气溶胶形成的颗粒物导致空气质量变差，但基于臭氧测量空气质量改善。

实际考虑与可行性

• 研究人员承认建模情景不太可能实现，因为它假设树木可恢复到所有曾经生长的区域，这会涉及住房、农业用地和牧场的回收，引发食物安全和土地使用优先权问题。
• 卢旺达被举为成功案例：旅游收入与森林保护挂钩，再投资于当地社区，激励土地保护，展示保护与经济发展可协调。
• 研究源于加州大学河滨分校的研究生气候建模课程，后发展为协作研究论文，结合地球系统建模和土地使用数据。

结论

• 森林恢复是气候解决方案的有意义部分，但不能替代减少化石燃料使用；任何恢复步骤，无论规模如何，都有助于应对气候变化。

The promise of AI-powered calorie counting is efficiency—snap and go, no manual entry required. But my experience revealed a different reality. I spent considerable time correcting ingredient identifications, adjusting portion sizes, and second-guessing the app's estimates.

https://ndlsearch.ndl.go.jp/en/imagebank/theme/hokusaimoyo

德国伍珀塔尔：世界上最古老的悬挂列车之旅

德国伍珀塔尔的悬挂列车是世界上最古老的悬挂式铁路，其浪漫与工程魅力令人难以忘怀。今年10月是德皇威廉二世试乘该列车125周年，它于1901年3月正式开通，是一项非凡的工程成就。尽管现代车厢已取代旧式设计，其类似儒勒·凡尔纳想象中的未来感依然存在，首列1901年的车厢“皇帝车厢”仍被保留，可供私人租用。

乘坐该列车是一次独特的体验，车厢在街道或河面上方8至9米处平稳滑行，每日服务约8万名乘客。全长约13公里的线路大部分沿伍珀河蜿蜒，将通勤之旅转变为类似游乐设施的体验。

悬挂列车的诞生源于实际需求。19世纪，随着伍珀河谷成为纺织业中心，城市快速发展，但当地岩石土壤和狭窄陡峭的山谷使地铁建设不可能，因此工程师欧根·朗根选择了向上建造空中铁路。

丰富的历史与文化 2023年底开放的Schwebodrom铁路博物馆（位于线路东端Werther Brücke站附近）通过三个展厅详细展示了其历史。其中一个有趣的故事是1950年小象Tuffi因受惊从车厢窗户跳出落入河中，幸无大碍，其着陆点如今有大象雕像标记。Tuffi已成为伍珀塔尔的标志，出现在各种纪念品上。

博物馆亮点包括一个1920年代车厢复制品，通过VR头显让游客穿越时空。二战期间，伍珀塔尔遭轰炸严重受损，铁路及其新艺术风格车站得以重建，但保留了原始的蒸汽朋克风格铁梁设计。

伍珀塔尔：超越列车的城市 伍珀塔尔不仅是铁路之城。当地导游带领探索了劳伦蒂乌斯广场周围的绿树成荫街道，该广场以19世纪的圣劳伦斯大教堂为中心，附近街区因大学和多元文化背景而充满活力，遍布咖啡馆、熟食店和各国风味餐厅。

城市被誉为“阶梯之城”，拥有500个楼梯和超过12000级台阶，其中最著名的是“Tippen-Tappen-Tönchen”阶梯，其名源于19世纪工人穿着木屐前往河边工厂时发出的声响。19世纪工业家塑造了城市的文化机构，如收藏19至20世纪初艺术作品的Von der Heydt博物馆（由银行家族捐建），以及拥有世界级音响效果的历史市政音乐厅。城市还遍布公共花园，如广阔的植物园。

历史回响与实用信息 伍珀塔尔是弗里德里希·恩格斯的故乡，他出身于富裕的纺织制造商家庭，后目睹曼彻斯特糟糕的工况，与马克思合著《共产党宣言》。恩格斯在悬挂列车开通前六年去世，而伍珀塔尔的工业家们早在19世纪中叶就已实施了当时超前的社会改革。

如今，游客只需3.60欧元起即可体验这段“高空生活”。德国旅游局和Le Shuttle提供了此次旅行支持。

The Model Context Protocol (MCP) is an open standard and open-source project from Anthropic that makes it quick and easy for developers to add real-world functionality — like sending emails or...

https://www.owlposting.com/p/the-time-of-day-that-immunotherapy

EU OS 概述
EU OS 是一项社区主导的概念验证项目，旨在为欧盟公共部门提供一个共同的自由操作系统。该项目并非欧盟官方倡议，但建议未来应纳入欧盟项目。它基于 Fedora Linux 和 KDE Plasma 桌面环境，结合 可启动容器技术，为典型公共部门组织提供部署参考。其他有类似需求的组织也可借鉴此方案。

核心特点

• 共享性：基于共同起点和工具构建的操作系统。
• 安全性：基于开源代码，不追踪用户活动。
• 主权性：针对欧盟公共部门需求定制。
• 高效性：兼顾新旧硬件性能，注重环保。

项目价值
EU OS 并非全新操作系统，而是提供：

• 统一体系：基于共同 Linux 基础，支持叠加国家级、区域级或行业特定定制层。
• 标准桌面环境：统一的 KDE Plasma 桌面。
• 集中管理方案：统一管理用户数据、软件和设备的方法。

合作伙伴

• ATIX 与 orcharhino：提供可扩展 Linux 系统配置和 fleet 管理支持。
• B1 Systems：协助 Linux 系统及 fleet 管理，并提供测试虚拟机。
• GONICUS：通过 Foreman 实现自动化部署并提供配置文档。
• 活动合作：参与 2025 年巴黎 HackDays 黑客松及 End of 10 活动，推动 Linux 普及。

项目定位
EU OS 针对欧盟公共部门的企业计算机集中管理需求，旨在通过标准化开源系统提升数字主权、安全性和效率，同时为类似需求组织提供实践参考。

聚焦超声刺激（FUS）技术正作为一种新兴的生物电子医学方法，通过调节神经系统来治疗多种疾病。传统上用于医学成像的超声波，如今被发现可以非侵入性地靶向刺激周围神经，从而干预身体的炎症、代谢等关键生理过程。

技术原理与优势 FUS与现有神经调节技术（如深部脑刺激）不同，它利用低强度声波机械振动神经元膜，打开离子通道改变细胞电压，从而触发神经放电。该技术无需手术植入，安全性高，且现有超声硬件已获FDA批准，为临床转化提供了基础。

核心应用领域

1. 抗炎治疗：研究团队基于对“炎症反射”（迷走神经-脾神经轴）的发现，开发了超声刺激脾脏的非侵入性方法。动物和初步人体试验表明，FUS能有效降低促炎因子（如TNF）水平，效果与侵入性迷走神经刺激相当，为关节炎、败血症等炎症相关疾病提供了新思路。
2. 对抗肥胖与糖尿病：
   • 在肥胖模型小鼠中，FUS治疗不仅减少了炎症，还意外地降低了食欲和体重。
   • 在糖尿病大鼠、小鼠和猪模型中，靶向肝脏门静脉处神经的FUS治疗能在数日内将血糖降至正常范围。机制研究表明，该技术通过调节肝脏与下丘脑之间的葡萄糖感知信号通路起作用。
3. 心血管疾病：针对肺动脉高压大鼠的实验显示，FUS刺激脾脏可降低肺动脉压力、改善心功能并减缓疾病进展，首次证明了超声疗法对心肺疾病的有效性。

未来展望与挑战 研究团队正致力于优化FUS参数（如频率、脉冲时长），并探索其在心力衰竭等更多疾病中的应用。最大的愿景是开发可穿戴家用设备（如腰带或背心），通过集成超声成像和人工智能算法，实现患者自主、精准的日常治疗。尽管该技术距离广泛临床应用仍需更多试验验证，但其非侵入性、可靶向神经系统的特点，代表了一种减少药物依赖的医疗新范式。

OpenAI 宣布“OpenAI for Countries”倡议，旨在与各国合作建设大规模AI计算基础设施，并声称此举是为了支持“民主AI”，以对抗“专制版本的AI”。然而，其首个主要合作伙伴是阿联酋，这引发了其倡议与合作伙伴性质之间的严重矛盾。

阿联酋的人权与民主状况受到广泛质疑。自由之家2024年报告给予阿联酋18/100的低分。其政治制度由世袭君主垄断权力，禁止政党，选举咨询机构无实权。批评政府的行为被禁止，政治活动人士常遭监禁。媒体审查普遍，约90%的外籍劳工人口缺乏政治权利，并常遭受劳动剥削。

OpenAI高管为与阿联酋的合作进行了辩护，主要论点包括：1）美国AI代表民主价值观，其普及可传播民主；2）这有助于美国在AI竞赛中战胜中国，从而利好民主。文章指出，这些论点存在问题。

对于第一个论点，没有任何迹象表明该协议旨在让阿联酋居民获得更民主的AI工具。相反，OpenAI高管表示，在阿联酋的ChatGPT是否遵循审查“红线”，需要与当地“合作伙伴”共同研究，这表明其可能适应而非挑战威权限制。

对于第二个论点，虽然增加美国AI算力有地缘政治合理性，但此协议实质上将赋予阿联酋威权政府巨大的AI能力。阿联酋投入巨资，显然是为了获得对关键AI芯片和计算资源的控制权。文章指出，OpenAI自身也承认，大规模AI算力是未来国家实力的关键驱动力。因此，通过协议向阿联酋提供可能成为其成为全球AI强国所需的关键硬件，实际上是在增强一个专制国家的力量。

核心批评： OpenAI将其与阿联酋的合作包装为“民主项目”是虚伪的。该协议的真实驱动力是资金、能源和许可的获取。将强大的AI技术发展与一个对权力有严格控制的威权政体绑定，并将其宣传为促进民主，暴露了OpenAI在如何确保AI技术惠及全人类、而非加剧权力不平等和巩固专制体制这一重大问题上，处理得非常草率。

Pai's return as CTIA lobbyist fuels industry-wide battle over spectrum rights.

量子计算讲座笔记（2022）摘要

课程概述
这是麻省理工学院课程8.370/18.435《量子计算》2022年秋季的讲座笔记。笔记涵盖量子计算的基础理论、算法和应用，共31讲，但第26讲（哈密顿模拟）笔记未完成，作者表示未来可能补充。

主要主题分类

1. 量子力学基础：

   • 叠加原理、酉演化与布洛赫球、量子测量。
   • 联合量子系统与张量积，包括测量和扩展讨论。

2. 量子计算电路与门：

   • 经典布尔电路与可逆布尔电路的介绍。
   • 量子门的基础和进阶内容。

3. 关键算法与协议：

   • 量子隐形传态。
   • 密度矩阵理论及其应用。
   • GHZ实验的理论和量子光学实现。
   • Deutsch-Jozsa算法和Simon算法，展示量子并行性。
   • 量子傅里叶变换、相位估计，以及用于量子因式分解和离散对数的算法。
   • Grover搜索算法及其最优性证明。

4. 数学与理论基础：

   • 经典计算复杂性理论概述。
   • 量子因式分解算法所需的数论知识。

5. 量子纠错与信息：

   • 量子纠错码介绍，包括9量子比特码、7量子比特汉明码和CSS码。
   • BB84量子密钥分发协议及其安全性证明。

结构与资源

• 笔记以PDF形式提供，每讲对应一个链接。
• 作者提供了联系信息和个人主页链接。
• 内容从历史和基础逐步深入到高级算法和纠错技术，覆盖量子计算的核心领域。

关键亮点

• 强调量子算法的优势，如因式分解和搜索的加速。
• 结合理论推导和实验实例（如GHZ实验）。
• 包括量子信息应用，如密钥分发和隐形传态。

摘要基于原始内容，未添加额外信息。整体笔记结构系统化，适合从入门到进阶的学习。

https://www.atlasobscura.com/articles/eruv-manhattan-invisible-wire-jewish-symbolic-religious-home

https://www.smithsonianmag.com/history/meet-the-defiant-loyalists-who-paid-dearly-for-choosing-the-wrong-side-in-the-american-revolution-180986716/

Despite what tech CEOs might say, large language models are not <em>smart</em> in any recognizably human sense of the word.

Let's Bend - 开源口琴压音训练应用

应用目的
帮助初学者掌握口琴压音（bending）技巧。压音是通过特殊吹吸技法在口琴上奏出常规音阶无法达到的半音，对新手而言是难点，需大量练习。

核心功能

• 通过可视化音符实时显示演奏情况，让用户清晰判断压音是否准确。
• 支持所有调性的口琴及常见特殊调音方式。
• 界面简洁高效，练习时可同时运行其他应用，且适配不同设备窗口尺寸。

版本与平台

1. 桌面版：适用于 macOS、Debian 和 Windows 系统。
2. 安卓版：针对移动设备优化。
   • 在 Google Play、Amazon 和 F-Droid 上免费发布，无广告。
   • 桌面版因开发成本未上架应用商店，提供官网下载。

其他资源

• 提供网页预览版供体验。
• 详细使用方法见用户指南。
• 源代码开源，托管于 GitHub。

总结
该应用通过跨平台支持、可视化反馈和免费无广告策略，降低口琴压音的学习门槛，适合初学者自主练习。

真菌可能通过电信号进行交流，其信号模式与人类语言结构存在相似性。英国西英格兰大学的研究人员对金针菇、裂褶菌、蛹虫草和灵芝等四种真菌的电信号进行了数学分析，发现其电脉冲常形成规律簇，类似由多达50个“单词”组成的词汇，且“词长”分布与人类语言接近。其中裂褶菌产生的“句子”最为复杂。

真菌通过菌丝网络传递电信号，先前研究表明其脉冲频率在接触木质时会增加，可能用于分享食物或损伤信息。研究者推测这些信号可能用于维持菌群整体性或报告环境信息，但也指出尚不能确定其与人类语言的直接关联。

然而，部分科学家持谨慎态度。埃克塞特大学的研究者指出，电信号中的节律模式与此前发现的营养脉冲频率相似，认为将此类信号解释为语言“过于热情”，需要更多研究验证。目前仍无法确认这些电信号是否构成真正的交流系统。

# 2025年哥德尔奖摘要

## 获奖信息
- **奖项**：2025年哥德尔奖
- **获奖者**：Eshan Chattopadhyay 和 David Zuckerman
- **获奖论文**：《Explicit two-source extractors and resilient functions》
- **发表于**：STOC 2016 及《数学年刊》2019年

## 核心贡献
该论文的主要成就是在伪随机性领域取得了突破性进展：
- 实现了从**两个低最小熵的独立随机源中提取近乎完美的随机比特**（即显式二源提取器）。

## 两种视角的关注点
文章通过两位评论者（Bill和Lance）的对话，突出了该成果的不同价值：

1. **构造性拉姆齐理论的应用（Bill的视角）**：
   - 该结果改进了拉姆齐数 \( R(k) \) 的**构造性下界**。
   - 将下界从之前的指数形式提升到 \( \exp(2^{(\log k)^\epsilon}) \) 量级。

2. **伪随机性的核心意义（Lance的视角）**：
   - 认为论文的真正精华在于其对伪随机性的贡献。
   - 拉姆齐图的应用只是一个次要的推论。

## 结论
这篇论文因其在伪随机性领域的根本性贡献（二源提取器的显式构造）而获得哥德尔奖，同时它也为组合数学中的构造性拉姆齐理论带来了改进。

https://news.ycombinator.com/item?id=44223879

二次方融资并非最优机制的分析

核心论点

二次方融资（QF）作为公共物品融资机制，其理论最优性建立在多个不切实际的假设之上。在现实世界中，这些假设通常无法满足，导致QF无法实现理论上的社会福利最大化。

八大关键假设及其现实挑战

1. 财富平等假设

QF理论假设资源已实现公平初始分配，贡献金额能反映边际效用。现实中财富分配不均，导致：

• 富裕群体的大额贡献可能获得不成比例的高额补贴
• 例如：10位富人各捐100万艺术博物馆，获9000万补贴；10位低收入者各捐100修水管，仅获9000补贴
• 边际效用递减原理意味着这种分配可能降低社会总福利

2. 补贴免费假设

理论假设弥补赤字的补贴对贡献者“免费”，实际上补贴通常通过税收或机会成本间接承担。这可能造成从穷人到富人的财富再分配。

3. 自私贡献者假设

QF最优性基于贡献者完全自利。当贡献者出于利他动机时，可能导致项目过度融资，反而降低社会福利。文中通过艺术赞助与癌症研究案例对比说明：相同贡献金额在不同动机下可能产生相反的社会效益。

4. 均衡发现假设

QF需要纳什均衡：每个贡献者根据他人贡献做出最优决策。现实中：

• 贡献者缺乏他人贡献的完整信息
• 不存在类似市场的自然均衡发现过程
• 结果完全取决于猜测，无法保证最优

5. 充足预算假设

若补贴预算不足以覆盖所有项目赤字，QF将产生多重均衡，无法保证社会福利最大化。组织者需预先知道可能赤字或拥有无限资金。

6. 收益递减假设

QF要求效用函数单调递增且凹（边际效用递减）。对于固定价格项目，这一假设不成立，导致可能的多重均衡和次优结果。

7. 完美知识假设

最优贡献需要贡献者：

• 了解所有项目
• 知晓自己对每个项目的效用函数
• 掌握项目通过其他机制获得的资金情况 现实中，高知名度项目往往获得更多关注而非基于实际效用。

8. 独立个体假设

QF假定无串谋或欺诈。当群体协调行动（如女巫攻击）时，理论显示“除了预算限制外，无盗窃上限”。这是QF最广为人知的问题。

现状与局限性

• 当前改进主要针对串谋问题，如连接导向聚类匹配机制
• 这些改进牺牲了纯QF的理论最优性
• 针对其他假设（财富不平等、成本补贴、均衡发现、知识不完善）的改进研究有限
• 在多项假设不成立的情况下，可能存在比纯QF更优的公共物品融资机制

参考案例

• Gitcoin通过QF分配超过5900万美元（截至2024年1月）
• 理论背景基于Buterin、Hitzig和Weyl的原始论文

总结：二次方融资作为理论模型具有优雅性，但其实践应用受限于多重现实约束。在当前技术条件下，其实际效益可能有限，需要发展更适应现实世界约束的融资机制。