# 算法的所有文章

在 HTX 新聞中心流覽與「算法」相關的最新資訊與深度分析。潘蓋市場趨勢、專案動態、技術進展及監管政策，提供權威的加密行業洞察。

清华AI数学家来了，从想法一路推到定理，参与完成84页量子算法论文

清华大学智能产业研究院（AIR）发布了一款面向数学研究的智能体系统AIM，该系统不仅能够解答数学问题，还能参与科研的前期工作，包括发散思路、组织定理、生成证明草稿等。近期，基于AIM，研究团队完成了一项AI深度参与的量子算法研究，提出了“符号嵌入量子算法”（Sign Embedding Quantum Algorithms），并形成了一篇84页的论文。这项研究从一个模糊直觉出发：有理逼近能否成为量子算法设计原则？在研究过程中，AI首先帮助研究者扩展候选路线，人类则负责筛选方向、审计假设和修复推导。AIM在后续阶段参与定理组织、证明草稿生成和复杂度分析。最终，团队提出了一种统一处理矩阵方程和矩阵函数问题的量子算法框架，并在非正规、不可对角化等一般条件下建立了可用的假设与复杂度表述。该研究展示了AI在数学研究中的一种协同模式：AI负责高通量的路线探索和推导生成，人类研究者则进行价值判断、方向选择和结果审计。这种模式不仅提高了研究效率，也使AI的生成能力更好地服务于人类的专业判断。未来，AIM将进一步发展系统能力，支持科研全过程的路线管理、假设记录和审计反馈，为理论研究提供新的助力。

marsbit07/10 02:53

marsbit07/10 02:53

IOSG：Q-Day倒计时，量子计算会终结加密货币吗？

量子计算常被视为悬在区块链头顶的“末日之剑”。其核心威胁在于Shor算法能高效破解当前主流的公钥密码体系（如椭圆曲线密码），这直接动摇了区块链“账本公开、资产不可逆、私钥自管”的根基。一旦具备实用规模的容错量子计算机（CRQC）问世，攻击者可能从链上已暴露的公钥逆推出私钥，窃取资产。 “Q-Day”（量子计算机能实际破解密码的时点）预计可能在2035-2045年间到来。根据Mosca不等式，考虑到数据保密周期和系统迁移所需时间，抗量子迁移必须提前启动。应对之道在于后量子密码学（PQC）。美国国家标准技术研究院（NIST）已发布基于格密码的ML-KEM、ML-DSA等核心标准。然而，迁移面临巨大挑战：PQC签名体积庞大（可达现有签名的数十倍），会显著增加链上负担；更关键的是，这需要整个生态（协议、钱包、交易平台等）协同升级，并涉及复杂的社会共识。对于比特币，风险集中于链上公钥已暴露的遗留UTXO（如早期地址）。迁移路径可能通过软分叉引入新地址格式，但如何处理长期不迁移的“休眠币”将引发“代码即法律”与资产保护之间的价值观冲突。以太坊则正通过提升“密码敏捷性”来规划全栈迁移，包括利用账户抽象缓冲用户端风险，以及在共识层探索能压缩签名数据的方案。结论是，量子计算不会瞬间终结加密货币，但构成了必须偿还的“安全债务”。真正的瓶颈并非技术，而是生态协调与治理博弈。行业需在仅剩的5-8年“工程舒适窗口”内，完成这场与时间赛跑的全链路升级。市场对加密资产安全模型的重新定价，可能会早于Q-Day本身。

marsbit07/07 08:40

marsbit07/07 08:40

抢完诺奖得主又挖伯克利CS掌门，Anthropic两周揽四将

2026年7月1日，加州大学伯克利分校EECS计算机科学系主任、理论计算机科学教授Jelani Nelson宣布加入AI公司Anthropic，并从大学休假。他的研究方向为流式算法、降维和随机算法，核心是解决数据过大时的计算效率问题，其成果为向量检索、数据压缩等领域奠定了理论基础。Nelson的加入被视为Anthropic在模型规模接近天花板时，向底层算法效率发力的关键一步。近两周，AI人才市场流动加剧。继Transformer论文作者Noam Shazeer从谷歌转投OpenAI后，2024年诺贝尔化学奖得主John Jumper以及两位谷歌Gemini核心研究员也相继宣布加入Anthropic。同时，伯克利的AI安全学者Dawn Song加入了Meta。这一波人才迁徙的特点是，顶尖学者多以“学术休假”而非辞职的方式加入产业界，这降低了人才流动的门槛。随着OpenAI和Anthropic等公司临近上市，股权激励成为吸引顶尖研究者的重要因素。AI竞争的焦点正从模型能力转向底层算法理论，顶级学府的研究力量持续向头部AI公司汇集。

marsbit07/02 09:02

marsbit07/02 09:02

普朗克被撤稿了？量子之父竟被算法绊了一跤

一篇新发表的论文指出，量子力学奠基人、诺贝尔奖得主马克斯·普朗克发表于1940年和1942年的两篇文章，在斯普林格出版社的数字平台上被标记为“已撤稿”。调查显示，这并非因为学术不端，而是现代出版平台的算法“误伤”。这两篇文章原是普朗克关于科学哲学的演讲与讨论，发表在当时德国重要的综合期刊《自然科学》上。在20世纪上半叶，这种将演讲内容发表于期刊或文集的做法是科学思想传播的常见方式。然而，现代数字出版平台的系统可能将其识别为“重复发表”或“版权违规”，从而自动添加了撤稿标记。更甚的是，原文在平台上已被替换为空白页，读者需通过互联网档案馆等非营利渠道才能查阅。此事暴露了历史文献数字化过程中的一个深层问题：当代基于文献计量和版权管理的自动化规则，与前数字时代的科学出版实践发生了错位。诸如“自我剽窃”等现代概念被反向施加于历史文献，导致其可访问性受损，科学记录的完整性面临挑战。在人工智能日益依赖结构化数据库的时代，此类错误标签或内容缺失可能被进一步放大，影响我们对科学历史的准确认知。这提醒我们，数字知识库并非中性镜像，而是受到商业逻辑和平台规则塑造的过滤器。

marsbit06/30 12:44

marsbit06/30 12:44

Vitalik算法稳定币设想：从期权视角解读机制与挑战

Vitalik Buterin 近期提出了一种新颖的算法稳定币设想，该方案从期权视角出发，试图规避传统抵押债务头寸（CDP）稳定币的清算风险。其核心设计是将1单位ETH拆分为两类权益：稳定侧（P）和上涨侧（N）。稳定侧类似一个深度实值的合成备兑看涨期权，旨在获得低于某一执行价的“稳定”价值；上涨侧则获得执行价以上的全部上涨收益。两部分权益之和始终等于1 ETH，因此系统无需债务、保证金或清算机制。然而，该设计面临显著挑战。为实现稳定，稳定侧资产需持续滚动（展期）深度实值期权，这会带来交易滑点、固定交易路径被抢跑以及流动性不足等问题。更根本的难点在于，每一份稳定资产的创造，都需要有参与者持续持有对应的上涨侧资产——这本质上是一种无资金费率、无清算风险的杠杆ETH多头。该需求能否长期、规模化存在，是系统成功扩张的关键。作者结合其DeFi期权协议Rysk的经验指出，期权过去难以在DeFi中成为主流交易产品，因其过于复杂。但若转变思路，将期权作为底层金融基础模块，用于构建稳定币、结构化收益产品等更复杂的资产，则可能展现出巨大潜力。期权的未来机会或许不在于成为下一个永续合约，而在于成为下一代链上金融产品的定价与风险分配引擎。

marsbit06/21 07:23

marsbit06/21 07:23

期权在DeFi里行不通？Vitalik可能不这么看

Vitalik Buterin近期提出的算法稳定币方案，为DeFi期权提供了一个新的视角：期权不再仅仅是交易产品，而可以成为稳定币、收益产品等复杂金融工具的底层基础设施。在该设计中，将1个ETH拆分为稳定端（P）和上涨端（N）两部分，稳定端类似于一个深度实值的备兑看涨期权，获得低于行权价的“稳定价值”；上涨端则获得超出部分的收益。两者之和恒等于1 ETH，因此无需债务、保证金或清算机制，规避了传统抵押稳定币的清算风险。然而，该设计面临核心挑战：为了保持稳定，稳定端需要持续滚动展期深度价内期权，这可能产生滑点、抢跑和流动性问题。更重要的是，每一份稳定资产都需要有人长期持有对应的上涨端资产，即一种无资金费率、无清算风险的杠杆ETH多头。这种需求能否持续存在，是系统能否扩张的关键。作者结合Rysk的经验指出，DeFi期权过去难以规模化的原因在于作为直接交易产品过于复杂。但若将其作为底层模块，用于构建稳定币、结构化收益等产品，期权则可能成为下一代链上金融的定价和风险分配引擎。这正是DeFi值得探索的方向。

marsbit06/19 07:08

marsbit06/19 07:08

1290万考生，命运交给AI的第一个夏天

2026年高考期间，各大AI厂商竞相推出免费高考志愿填报服务，如千问、夸克、腾讯元宝、百度文心等，使原本依赖信息差、收费高昂的传统志愿填报咨询业面临冲击。过去，家长和学生为获取院校、专业、就业等关键信息，需支付数千甚至上万元费用。如今，AI通过处理标准化录取数据，能在短时间内生成个性化志愿方案，大幅降低了信息获取门槛。 AI的普及在一定程度上促进了信息平权，让不同地域、家庭背景的考生有机会获得相对均衡的决策参考，缓解了因信息不对称可能导致的人生路径差异。高考志愿填报因其数据标准、决策链清晰、需求刚性，成为AI技术落地的典型场景。然而，文章也提出了更深层的思考：AI基于历史数据和理性计算生成的建议，往往偏向稳妥、功利的选择，可能抑制了个人的独特兴趣与冒险精神。在算法协助规避风险的同时，人们也需要警惕人生多样性的消减。最终，技术工具虽能提供参考，但重大人生选择的决定权与责任，仍属于每个个体。 2026年或许标志着AI首次大规模介入中国普通家庭的重要人生决策。从志愿填报开始，AI正从工具逐渐转变为顾问，其影响可能未来将延伸至职业、理财等更多生活领域。

marsbit06/11 00:49

marsbit06/11 00:49

量子威胁临近——Stellar公布其防御战略

恒星发展基金会近期发布了其量子防御战略，计划在2027年底前将整个网络迁移至量子安全密码学。该计划的核心挑战在于如何处理大量不活跃的“休眠账户”，并就此寻求社区意见。紧迫性源于肖尔算法，未来先进的量子计算机可能利用它破解当前区块链广泛依赖的椭圆曲线密码学。法国国家信息与自动化研究所的研究已减少了所需的逻辑量子比特数量，美国国家标准与技术研究院将风险窗口提前至2029年或更早。恒星网络面临两大核心风险：验证者签名被破可能破坏网络共识；更棘手的是账户接管，即量子计算机可能直接从公钥推导出私钥。与多数区块链不同，恒星网络的账户地址与签名密钥是分离的。用户可通过现有的`set_options`操作添加或更换签名者，无需更改地址、余额或交易历史。这一结构设计被认为提供了比同行更平滑的升级路径。迁移将分三阶段进行：2026年，首先在Soroban智能合约中增加基于NIST标准算法的后量子签名验证；2027年，通过核心升级提案为经典账户原生引入量子安全签名类型；完全弃用当前Ed25519标准的第三阶段尚无固定时间表。报告指出，网络中使用的零知识证明系统所依赖的配对曲线同样存在量子风险，该领域仍需进一步研究，基金会计划与相关ZK协议团队合作解决。

bitcoinist06/10 18:01

bitcoinist06/10 18:01

从理论到倒计时：Google用零知识证明敲响区块链抗量子警钟

Google近期研究通过优化肖尔算法在量子电路上的执行，将破解256位椭圆曲线加密所需的逻辑量子比特从约6000个大幅缩减至1200个，使得量子算力成本降低近20倍。该进展为区块链及传统加密系统敲响警钟，Google预测到2029年，现有加密体系（包括HTTPS、SSL、区块链ECDSA签名等）需完成抗量子升级，否则面临严重安全威胁。具体到区块链领域：比特币约25%-35%地址的公钥已暴露，量子计算机可在交易确认前截胡；以太坊因EOA账户公钥首次交易即上链，面临更直接风险。且链上历史交易数据永久存储，未来量子算力成熟后可回溯攻击。应对方面，以太坊通过账户抽象和后量子密码学（PQC）推进升级；比特币计划通过BIP-360引入抗量子算法，但共识达成是挑战。Google此次以零知识证明技术披露威胁，旨在推动行业平稳过渡，而以太坊基金会与Google的合作可能使抗量子成为区块链新叙事方向。

marsbit04/16 06:38