# 人工智能的所有文章

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

AI 时代的电力军备赛:NextEra 吞下 Dominion 背后的能源秩序重组

过去三年,AI发展焦点从GPU短缺、数据中心建设,逐步转向更底层的电力供应问题。AI数据中心耗电巨大,其扩张速度已超过电网扩容速度,电力正成为制约AI产业的关键瓶颈。在此背景下,NextEra Energy以约668亿美元收购Dominion Energy,不仅刷新行业纪录,更标志着AI正重构能源行业的增长逻辑与竞争秩序。 这笔交易的核心在于Dominion Energy掌握着美国数据中心核心腹地——弗吉尼亚州,尤其是北弗吉尼亚“数据中心走廊”的电力接入权。NextEra藉此获得了服务科技巨头庞大电力需求的入口。AI数据中心的用电需求集中、突发且规模堪比中型城市,彻底改变了美国电力需求平缓增长的历史模式,将公用事业公司从“稳定分红资产”推向“战略增长资产”。 当前真正的稀缺资源并非芯片或服务器,而是稳定、廉价的电力接入能力。数据中心建设周期远快于发电、输电等能源基础设施建设周期,导致电力供需出现巨大缺口。这使得科技公司的竞争力在未来可能取决于其锁定长期电力供应的能力。 AI引发的电力需求激增,正沿着能源产业链向上传导,影响天然气、核电、储能及输电设备等多个环节。同时,这场“电力军备赛”也带来了复杂的监管与社会挑战,涉及电价、资源分配和社区影响等多方利益的平衡。 NextEra收购Dominion的交易揭示,下一阶段AI竞争的本质正在转变:从模型与芯片的比拼,转向围绕发电、输电、电网接入和监管协调能力展开的新基础设施战争。谁掌控稳定的电力与关键的接入节点,谁就将掌握未来算力扩张的节奏。

marsbit05/19 11:37

AI 时代的电力军备赛:NextEra 吞下 Dominion 背后的能源秩序重组

marsbit05/19 11:37

Vitalik最新长文:AI时代,代码如何变得更安全?

随着AI编程能力快速提升,软件安全面临新挑战:AI既能高效生成代码,也能高效发现漏洞。在加密行业,智能合约、ZK证明等一旦出现缺陷,可能导致不可逆的资金损失。Vitalik探讨了应对此问题的路径——形式化验证。这种方法将程序应满足的性质写成数学命题,再用机器可检查的证明验证这些性质是否成立。虽然形式化验证无法保证绝对安全(证明可能遗漏假设、规范可能写错等),但它提供了一种更可靠的安全范式:用多种方式表达开发者意图,再让系统自动检查这些表达是否兼容。 以太坊未来将依赖复杂底层组件(如STARK、ZK-EVM、共识算法等),这些系统的实现复杂,但安全目标往往可以相对清晰地形式化。AI辅助的形式化验证在此可发挥最大价值:AI负责编写高效代码和证明,人类负责检查被证明的命题是否对应真正的安全目标。 Vitalik认为,面对强大的AI攻击者,答案不是放弃开源或依赖中心化机构,而是将关键系统压缩为更小、更可验证的“安全核心”。AI可能导致粗糙代码增加,但也可能让真正重要的代码变得比过去更安全。形式化验证与AI结合,可推动软件分化为“安全核心”和“不安全边缘组件”,前者通过严格验证承载高信任负担,后者在沙箱中运行以限制风险。最终,形式化验证有助于在AI时代构建更可信的网络安全基础。

marsbit05/19 09:56

Vitalik最新长文:AI时代,代码如何变得更安全?

marsbit05/19 09:56

IOSG:开发者数量腰斩之后,Crypto并没有死

2026年,Crypto开源社区的GitHub月活开发者数量从2022年高峰的45K腰斩至约23K。然而,数据背后并非行业萎缩,而是一场深刻的“人才去杠杆”。 流失的主要是牛市期间涌入的新人,其代码贡献占比从未超过25%。相反,入行两年以上的资深开发者数量创下历史新高,贡献了约70%的代码量,并正向Bitcoin、Solana等有真实用户和收入的生态集中。 这批留下的建设者在“代码即法律”的零容错环境中,磨练出一项核心能力:在规则与信任缺失的条件下,从零构建让陌生人愿意参与的可运转系统。这项能力正随着AI时代的到来被重新定价。 AI规模化面临三大结构性瓶颈:算力的聚合与优化、多智能体协作的激励对齐、以及智能体的自主支付基础设施。这些问题在传统领域缺乏答案,却与Crypto建设者处理过的协议治理、经济机制设计、稳定币支付等问题高度同构。已有案例证明,Crypto积累的机制设计直觉、开发者生态经验和构建可信系统的能力,能有效迁移至AI领域解决这些新挑战。 因此,建设者的角色正在从“编写智能合约”转向“为AI自主系统设计可信规则”。资本招聘与投资趋势也印证了这一转变,市场越发看重能连接Crypto与AI、解决系统级信任与协调问题的复合型能力。 表面看开发者数量减半,但行业核心密度在上升。Crypto建设者长期积累的对规则、激励和真实性的敏感度,正转化为AI时代稀缺的系统级能力,两者的交汇是一个正在发生的结构性机会。

marsbit05/19 09:28

IOSG:开发者数量腰斩之后,Crypto并没有死

marsbit05/19 09:28

活动图片