# 人工智能的所有文章

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

前FBI特工因盗窃价值100万美元的加密货币被捕

美国联邦调查局（FBI）前特工帕特里克·史蒂文·亚罗奇（Patrick Steven Yaroch）因涉嫌盗窃价值约100万美元（另有资料称92.5万美元）的加密货币资产而被捕和起诉。据称，被盗资金来源于与针对外国（包括俄罗斯）的调查相关的账户。亚罗奇已被FBI解雇并遭逮捕，其面临跨州运输赃物和接收赃物两项指控。调查显示，他利用担任管理职务时获得的系统权限，访问了FBI内部保管的、与调查相关的加密货币钱包种子短语，并进行了约12笔交易，将资金转入个人钱包。 2026年7月底，亚罗奇主动向美国司法部官员自首，对其行为表示后悔。案卷材料还提及，他在盗取资金后曾使用ChatGPT寻求投资建议并计划移居葡萄牙。此案目前正在审理中。该事件凸显了执法机构内部对加密货币资产信息的访问权限需加强管控。从技术角度看，政府集中管理的加密货币钱包很少采用多重签名或密钥分片保管机制，这种架构使得单个管理员成为整个扣押资产存储系统的潜在单点故障。此前已有类似案例，如2015年两名负责“丝绸之路”案件的联邦特工曾利用职权盗取比特币。

cryptonews.ru08/04 09:50

cryptonews.ru08/04 09:50

数学家24小时驳回OpenAI攻破的猜想！“AI证对了每句话，但已跟原猜想无关”

OpenAI宣称其下一代AI模型解决了包括Connes刚性猜想在内的10个世界级难题。但在其发布声称推翻该猜想的37000行Lean 4代码后仅24小时，堪萨斯大学的数学家J. L. Nielsen便发表论文驳斥了这一结果。 Nielsen通过逐行审查代码指出，AI构造的反例中有一个群并未满足猜想所需的两个关键条件：ICC和Kazhdan性质(T)。问题可能出在形式化定义与原始数学概念不符、证明范围有误，或代码中的群与文档描述不一致。这意味着AI证明的陈述本身可能已偏离原猜想的核心前提。这一事件突显了当前AI辅助证明的局限性：Lean等工具只能验证证明过程的*形式正确性*，而无法确保所证明的陈述与*原始数学意图*相符。形式化证明中“成功证明了错误命题”的风险已被多次记录。因此，人类专家对AI科研成果的实质性审查依然不可或缺。 Connes刚性猜想目前仍然是一个未解决的开放问题。

marsbit08/04 08:46

数学家24小时驳回OpenAI攻破的猜想！“AI证对了每句话，但已跟原猜想无关”

marsbit08/04 08:46

1955年以来首次，标普500盈利高出长期趋势14%

美股企业盈利正为高估值提供有力支撑。一份报告显示，标普500每股收益已高于基于90多年历史数据形成的长期趋势通道约14%，为1955年以来首次达到如此高的偏离水平。同时，盈利超预期的公司占比、销售超预期幅度以及分析师对盈利预期的上修均处于历史高位。这轮盈利改善不仅体现为二季度约23%-25%的高增速，更在于盈利增长的广度与未来预期的同步提升。盈利增长已从“七巨头”等科技龙头部分扩散至更广泛的公司，标普500中多数行业实现正增长。此外，分析师在财报季后罕见地上调了盈利预期。然而，强劲的盈利也带来了更高的市场门槛。当利润水平和增长预期已被显著抬高，企业仅达到预测可能已不足以推动股价上涨。任何在收入、利润率或未来指引方面的不及预期，都可能对高估值构成更大压力。未来美股能否延续涨势，关键在于收入增长、利润率水平、AI资本开支的回报以及盈利预期的上修趋势能否持续。当前的基本面支撑坚实，但市场对企业的要求也相应提高。

marsbit08/04 07:11

marsbit08/04 07:11

曾经大热的 Web3，进入裁员潮

曾经大热的Web3行业正经历猛烈裁员潮，行业寒冬与AI冲击、内部问题叠加，导致大量员工被裁，生存环境恶化。 2026年，美国科技业以“AI驱动转型”为由大规模裁员，Web3作为科技金融交叉领域受冲击尤甚。头部交易平台及项目方裁员消息频传，离职往往突然发生：权限被瞬时切断、收到冰冷通知，甚至被包装成绩效不合格。补偿常不合理，许多员工被迫选择“个人原因”离职而无法获赔。留下者也处境艰难：工作充斥无效考核与监控，氛围压抑；管理层权斗激烈，员工沦为牺牲品；企业文化趋向“国企化”，保守而缺乏创新。行业困境根源深远：传统靠手续费和上币费的商业模式濒临崩溃。高额上币费劝退优质项目，散户因市场波动（如2025年10月大爆仓事件）和频繁破发而流失。同时，链上衍生品平台崛起分流了中心化交易所利润。风险投资大幅收缩，项目方普遍缺乏可持续收入。被裁员工多流向AI行业，但Web3背景在传统金融甚至部分AI公司仍受歧视。行业内部却在存量市场中陷入恶性竞争，互相挖角消耗，而非开拓新方向。此次寒冬不同于以往周期，散户基础严重削弱，竞争格局改变。文章追问，如果衰退并非必然周期，那么Web3行业的衰败，究竟是谁之过？

marsbit08/04 06:56

marsbit08/04 06:56

在Coldcard被盗案件一线才知道，为什么这次影响比数据上要大的多

5年前的一个漏洞引发了今年比特币最大的盗窃案。7月30日，攻击者利用Coldcard硬件钱包在生成助记词时的弱随机数bug，扫描上千地址盗走近2000枚比特币，价值上亿美元。尽管从数据看并非史上最大，但Coldcard在海外比特币核心信仰群体中口碑极佳，此事件严重打击了社区对开源硬件钱包和安全基础的信心。慢雾创始人余弦指出，问题的核心在于助记词生成的熵值不足，导致种子可被暴力碰撞。令人深思的是，如今强大的AI模型本可帮助发现此类漏洞，但却是黑客率先利用。这揭示了在AI时代，攻防双方存在资源与动力的不对等，未来可能出现更严重的安全事件。对于普通用户，余弦建议：为助记词添加passphrase（密码短语），将大部分资产置于加密码的地址中；定期梳理资产，检查助记词安全性；保持冷静，避免因恐慌而遭遇钓鱼；采用隔离思维，将不确定的资产单独存放。对于非技术用户，选择有实力的中心化交易平台亦是可行方案。此次事件警示，安全永远无法做到100%，持续的警惕和恰当的防护措施至关重要。

marsbit08/04 06:56

marsbit08/04 06:56

华尔街早报：AI+云计算再次接管市场，亚马逊叩开3万亿美元大门

8月首个交易日，美股强势开局，三大指数全线上涨，道指创历史新高。市场受美伊谈判预期影响，原油风险溢价回落，油价暴跌，能源板块承压。黄金守住4000美元关口，韩国央行计划增持黄金。美债收益率下行，美元指数先跌后稳。 AI与云计算板块引领市场反弹，科技七巨头指数大涨。亚马逊市值首次突破3万亿美元；英伟达市值重回5万亿美元上方；Meta、微软、谷歌等均大幅上涨。云计算服务商及AI应用软件股集体走强，光通信、量子计算、太空概念板块亦表现活跃。多家公司公布动态：亚马逊因AWS表现强劲市值创新高；Meta持续加码AI基建；谷歌市值超越苹果升至全球第二；微软获多家机构上调目标价；Palantir业绩超预期，AI落地叙事获验证；SpaceX财报前股价拉升；存储、加密概念板块多数上涨。未来需关注：Ai4 2026与FMS闪存峰会开幕，多位AI领袖将同台；SpaceX、AMD等重要公司财报；以及白宫即将召开的AI企业监管会议。

marsbit08/04 05:01

marsbit08/04 05:01

科技股大回调的7月：哪些基金在为追高买单？

7月，科技股遭遇深度回调，创业板指与科创50指数月内跌幅均超25%，科创综指跌超30%。此前在二季度大举调仓至人工智能、半导体等科技赛道的主动权益基金承受重压。数据显示，二季度末主动型公募基金对电子行业的持仓占比达到42.64%的历史高位，包括张坤、刘彦春、朱少醒等知名价值派基金经理也大幅减持消费股，转而增持科技股。这种极致的调仓导致交易结构过度拥挤。随着7月科技板块暴跌，二季度大幅加仓科技股的基金普遍遭受重创。例如，金信优质成长等基金因TMT仓位飙升至70%以上，7月跌幅超过20%，部分基金跌幅甚至超40%。一些高位建仓的新发基金净值更是快速“腰斩”，如国泰海通新能源睿选混合A成立不足两月净值已跌至0.55元。此外，部分基金出现风格漂移现象，如建信高股息主题基金重仓高估值科技股，与其“高股息”定位严重不符，引发投资者质疑。尽管7月31日科技板块出现反弹，但前期追高的基金仍需面对市场长期考验。分析指出，当坚定价值投资者也转向热门赛道时，往往意味着板块情绪已达极致，风险也随之加大。

marsbit08/04 04:45

marsbit08/04 04:45

达利欧的警告：AI 泡沫已至，黄金才是硬通货

桥水基金创始人瑞·达利欧近期在访谈中表达了对AI领域存在泡沫的担忧。他认为，当前对AI的狂热投资与历史上的互联网泡沫类似，人们因追逐革命性技术而忽略资产价格，大量杠杆资金涌入，形成了泡沫。他指出了泡沫可能破裂的三大征兆：1）利率上升导致资金成本增加和资产变现压力；2）股票发行量大幅增加，供给过剩；3）大量缺乏专业知识的散户投资者通过加杠杆方式涌入市场，筹码结构不稳定。面对潜在的市场波动，达利欧建议投资者不应试图“择时”，而应采取分散投资策略以应对不确定性。他特别推荐将投资组合的5%到15%配置于黄金，因为黄金是“硬通货”，在动荡时期通常表现良好，且不受他人负债影响。对于比特币，他持相对谨慎态度，认为其面临技术（如量子计算）和监管风险，不如实体黄金可靠。关于AI的社会影响，达利欧认为，资本家将是最大的受益者，自动化将取代越来越多的人类体力乃至脑力劳动，可能加剧贫富差距。但他也指出，拥有卓越人类智能、情感、直觉以及合作能力的人，在未来依然会表现出色。最后，他提及世界秩序存在大约80年的大周期，并认为目前正处于这一周期变化的关键时间区域附近。

marsbit08/04 04:16

marsbit08/04 04:16

AI批量轰炸苹果bug赏金计划，审核团队已下线

苹果bug赏金计划因AI冲击陷入审核危机，被迫设置提交限制。为应对日益增多的安全漏洞，苹果自2016年起运行漏洞赏金计划，并在2025年将最高奖金提升至500万美元。然而，AI工具的普及大幅降低了漏洞发现门槛，导致大量业余研究者和AI模型生成的海量报告涌入，其中包含许多无效或虚假的“AI幻觉”漏洞，使得苹果安全团队审核工作量不堪重负。为此，苹果于2026年8月2日对漏洞提交设置了数量上限和30天的“冷静期”。这一困境凸显了AI对安全领域的双重影响。一方面，攻击方利用AI高效发现了严重漏洞。例如，2026年5月，有研究团队借助Claude的先进模型，仅用5天就绕过了苹果号称“史上最重大”的内存安全防护技术（MIE）。另一方面，防御方和供应商正被AI生成的大量低质量报告淹没，curl创始人、Google、Nextcloud、GitHub等均已采取行动限制或调整其漏洞报告计划。作为回应，苹果也开始利用AI进行防御。在2026年7月的macOS安全更新中，苹果首次致谢了包括Claude、Codex Security在内的多个AI工具，并加速了安全补丁的发布节奏。然而，这种高频更新本身也可能带来新的风险，打破了苹果传统的严格发布周期，反映出在AI时代，漏洞发现与修复的竞赛正在急剧加速，对整个生态系统的安全流程构成了全新挑战。

marsbit08/04 01:46

marsbit08/04 01:46

分析公司揭示比特币（BTC）的关键门槛：“这可能终结熊市！”以下是详细内容

领先加密货币比特币虽维持在6万美元以上，但10x Research创始人Marcus Thielen指出，比特币可能尚未触底。他认为月度收盘价能否站上6.3万美元是关键阈值，若能突破则可能确认熊市结束；但7月收盘低于该水平，表明市场仍未给出最终确认信号。目前价格位于7日和30日移动均线之下，且上周下跌3.2%，短期趋势仍看跌。 Thielen还提及宏观风险：若美国10年期国债收益率持续上升，美联储或被迫在9月重启加息，持续高利率可能对BTC等风险资产构成压力。此外，比特币矿商及持有BTC的机构可能带来抛压，尤其是一些转向AI领域的矿商持有约10万枚BTC，其清算行为可能加剧卖方压力。总之，比特币要重回上涨趋势，既需守住关键技术位，也依赖有利的宏观经济环境。 *本文不构成投资建议。

cryptonews.ru08/03 17:00

cryptonews.ru08/03 17:00

# 人工智能的所有文章

前FBI特工因盗窃价值100万美元的加密货币被捕

数学家24小时驳回OpenAI攻破的猜想！“AI证对了每句话，但已跟原猜想无关”

1955年以来首次，标普500盈利高出长期趋势14%

曾经大热的 Web3，进入裁员潮

在Coldcard被盗案件一线才知道，为什么这次影响比数据上要大的多

华尔街早报：AI+云计算再次接管市场，亚马逊叩开3万亿美元大门

科技股大回调的7月：哪些基金在为追高买单？

达利欧的警告：AI 泡沫已至，黄金才是硬通货

AI批量轰炸苹果bug赏金计划，审核团队已下线

分析公司揭示比特币（BTC）的关键门槛：“这可能终结熊市！”以下是详细内容

熱門分類

熱門標籤

技术发展

交易策略