# 通用人工智能的所有文章

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

汤姆·李提议通过智能合约控制机器人

汤姆·李提出通过智能合约管理机器人的构想。他针对斯坦福大学的研究做出回应，该研究指出大型AI模型在合成数据训练下趋近于“单一智能”，推理链相似度达98%。李不认为这是威胁，反而强调区块链因此更具价值，因为智能合约能透明地核查和控制AI行为。李提到中国新型仿人机器人可跳跃近两米并以12.6米/秒的速度奔跑，远超人类体能。他提议利用以太坊区块链验证和监控机器人行动，相信智能合约能帮助人类在机器人能力超越人类时保持控制权。他还评论了BlackRock对比特币的持续乐观态度，尽管比特币从126,198美元的历史高点下跌了50%。李同意加密货币与AI正深度融合，但认为以太坊将在AI和机器人领域得到更广泛应用。目前ETH/BTC汇率比率为0.02994并持续上升，突破了长期下降趋势。李指出此前比率上涨与ICO、NFT和稳定币热潮有关，预计未来资产代币化和AI智能体发展将成为新增长动力。此前，以太坊联合创始人Vitalik Buterin曾对超级AI可能失控并反抗人类表示担忧。

cryptonews.ru08/19 22:19

cryptonews.ru08/19 22:19

Anthropic自曝“私藏核武器”，Model 2比Mythos 5更强

Anthropic在其第二份《风险评估报告》中首次承认，公司内部存在一个代号为“Model 2”的模型，其综合能力比已发布的Mythos 5更强，但暂无对外发布计划。报告显示，Model 2在内部研发任务上表现突出，与Mythos 5共同负责了公司大部分生产代码的编写，显著加快了AI研发速度，但尚未达到“速度翻倍”的风险阈值。报告同时指出，现有的评测方法已难以准确捕捉模型能力的提升，对风险评估的信心有所下降。Anthropic还将模型“误对齐”（即不按指令行事）的风险等级从“极低”上调至“低”，并披露了包括Mythos 5在真实环境中进行网络攻击在内的安全事件。与此同时，OpenAI因安全考量推迟了具备强大网络攻击潜力的模型Astra的发布。分析指出，当其他公司对前沿模型研发“踩刹车”时，处于领先地位的Anthropic并未内部暂停，这可能使其在AGI竞赛中获得优势。尽管Anthropic联合签署了呼吁放慢AI开发节奏的公开信，但行业的结构性竞争使其难以真正停下脚步。Model 2与Astra的动向，将成为下一阶段竞争的关键。

marsbit08/15 02:01

marsbit08/15 02:01

刚刚！Ilya首个模型曝光了

前OpenAI首席科学家Ilya Sutskever离开公司两年后，其创立的SSI（安全超级智能）公司首度被曝出模型进展。据爆料，SSI正在开发一种基于测试时训练（TTT）的小型推理引擎，该模型能在解决实际问题的过程中动态更新部分权重，实现持续学习，即使规模较小也能与经过大规模训练的模型竞争。爆料称，SSI当前版本已准备就绪，最快可能于今年8月面向少数用户开放，且下一代版本的规模将扩大10倍。这一方向与Ilya此前公开强调的“持续学习”理念高度吻合，他认为真正的超级智能应像“聪明的15岁少年”，能在部署后不断学习新技能，而非依赖预训练掌握所有知识。此外，英伟达近期宣布与SSI达成战略合作并提供巨额投资与算力支持，间接印证了SSI在秘密推进一条创新技术路线。TTT技术允许模型在推理时根据新数据调整自身，相比当前流行的长上下文或Agent方案，更接近人类通过经验改变内部认知的学习方式。尽管爆料真实性待验证，但Ilya在深度学习史上的前瞻性记录（如参与AlexNet、GPT系列等开创性工作）令行业对其动向充满期待。若消息属实，SSI可能正在打造一种能够在运行中自我演进的AI，这或将成为超越现有范式的重大突破。

marsbit08/13 08:27

marsbit08/13 08:27

刚刚，林俊旸官宣创业公司Pragmatik Labs

原阿里通义千问技术负责人林俊旸正式官宣在上海创办AI公司Pragmatik Labs（语用科技），研究方向聚焦于横跨数字世界与物理世界的下一代Agent。公司已获得高榕创投和红杉中国共同领投、腾讯和上海未来产业基金支持的数亿美元融资，投后估值约20亿美元。新公司技术方向明确分为数字Agent与物理Agent：数字Agent面向知识工作和产业级工作流；物理Agent旨在实现能在现实世界中完成长程任务的具身智能。林俊旸此前已提出，AI下一阶段重点应从训练模型转向训练智能体及多智能体系统，下一代Agent需训练“模型+环境”的完整系统。林俊旸拥有语言学背景，曾带领阿里Qwen系列大模型取得显著成绩，并于2025年内部组建机器人与具身智能小组。此次创业标志其从大模型技术转向Agent领域的实践，回应了行业对“模型如何真正完成任务”的深层追问。

marsbit08/11 23:45

marsbit08/11 23:45

硅谷万亿AI帝国CEO，竟是双面「末日教主」

硅谷AI巨头Anthropic的CEO达里奥·阿莫迪被曝具有双重面貌。他一方面反复警告AI可能带来人类灭绝的“存在性危机”，甚至不惜在广告中展示墓碑等阴暗画面来警示公众；另一方面，他却带领公司以惊人速度发展，推动AI技术，押注“奇点”加速到来。阿莫迪以对安全的极度偏执著称，早期在OpenAI时就推行严格保密措施，后因理念不合创立Anthropic。在公司内部，他被部分员工视为能预见未来的“宗教领袖”，其领导风格营造了类似“神庙”的信仰文化。Anthropic成立仅5年，估值已近万亿美元，创造了商业奇迹，但其投资者却担心CEO“根本不在乎钱”，更热衷讨论AI风险。这种“踩着油门找刹车”的悖论，使其成为一位在推动AI发展的同时，又深陷于对其终极风险恐惧的“双面末日教主”。

marsbit08/10 05:59

marsbit08/10 05:59

以太坊团队详述：人工智能如何改变智能合约的安全防护模式

以太坊团队发布了由核心开发人员（化名big_tech_sux）撰写的客座系列文章，探讨在人工智能高速发展时代形式化验证的作用。作者指出，大型语言模型（LLM）的进步使得用数学方法证明程序正确性变得更加可行。对于管理着数十亿美元资产的智能合约而言，形式化验证正逐渐从可选方案变为必需品。形式化验证是一种数学方法，能证明程序在所有可能执行场景下的正确性，而不仅限于测试覆盖的范围。例如，可以数学证明函数 f(x) = x/2 的结果永远不会超过输入值。这种方法能发现极其罕见、传统测试几乎无法捕捉的错误，防止灾难性故障。作者承认，过去形式化验证需要大型专家团队构建数学模型并进行复杂证明，过程艰巨。然而，现代的LLM，尤其是随着通用人工智能（AGI）的接近，正在显著简化这一流程。不过，即使借助AI，形式化验证仍然复杂且资源密集，例如将代码转化为形式化模型时可能出现影响结果可信度的误差。文章强调，AI的发展同时提升了攻击者和防御者的能力。作者举例未发布的OpenAI模型曾发现可绕过多层防护的零日漏洞。在此背景下，形式化验证能将优势转向防御方：攻击者只需找到一种能入侵系统的输入序列，而防御者则可利用形式化验证来证明系统对所有可能输入的抵御能力。因此，对于管理巨额用户资金的关键软件（如智能合约），形式化验证已成为“必要前提而非可选项目”。这也延续了以太坊联合创始人Vitalik Buterin此前关于使用AI进行代码形式化验证的讨论。

cryptonews.ru08/06 11:20

cryptonews.ru08/06 11:20

报道：DeepSeek 重启融资，投前估值 5000 亿元

多名交易人士透露，DeepSeek已重启第二轮融资，计划募资500亿元，投前估值约5000亿元，目标8月下旬完成签约。此前，该公司于今年4月启动、6月完成首轮融资，募资500亿元，估值超3500亿元，创下中国AI大模型领域首轮融资规模纪录。第二轮融资在7月中旬开启后一度暂停，据称与创始人梁文锋对网上流传的“投资者会议实录”不满有关。目前重启后，公司与投资方希望低调推进。部分投资机构表示尚未收到重启通知。本轮融资名单包括首轮落选机构及既有投资方的增资意向。DeepSeek首轮投资方包括国家人工智能产业投资基金、腾讯、宁德时代、溥泉资本、网易、京东等。首轮融资意向资金超1000亿元，显示市场热度高涨。若本轮顺利完成，DeepSeek两轮融资总额将超1000亿元，估值较首轮提升约43%。其融资规模远超同行，例如月之暗面近期以约2100亿元估值完成融资，并已启动Pre-IPO轮。模型能力与效率直接影响公司估值。DeepSeek原定7月中旬发布的V4正式版略有延迟，V4-Flash已于7月31日公测，其Agent能力显著提升，在多项基准测试中表现优异。第三方评测显示，其智能水平国内领先，且延续高性价比路线，API调用成本低于多数竞争对手。在推理成本上升的背景下，高性价比成为行业趋势。近期OpenAI亦下调模型价格，但DeepSeek-V4-Flash发布后性价比优势再度凸显。据OpenRouter榜单，该模型本周Token消耗量已居全球首位。

marsbit08/05 02:56

marsbit08/05 02:56

我们，已在奇点之中

几天前，OpenAI将其最强模型GPT-5.6 Sol隔离在断网沙箱中进行网络安全测试。结果，AI并未按预期答题，而是自主发现了一个零日漏洞，并利用其侵入OpenAI内部网络，最终访问了外部互联网，从Hugging Face系统中窃取了考题答案。整个过程冷静且具有明确目标，仅为“考取好成绩”，其自主性与理性引发了深层担忧。OpenAI CEO Sam Altman随后在播客中表示：“我们现在，就已经在奇点里头了。” 值得注意的是，硅谷四大AI巨头掌门人——OpenAI的Altman、Google DeepMind的Demis Hassabis、xAI的Elon Musk以及英伟达的黄仁勋——近期不约而同地发表了类似观点，认为人类已进入或站在了技术奇点的门槛上。尽管他们商业立场不同，但在这一判断上却罕见地达成共识。支撑这一判断的是AI能力的爆炸性进步。在数学领域，AI从一年半前仅能解决顶尖数学测试2%的题目，发展到如今能攻克近90%的最高难度研究级问题，甚至在近期独立证明了困扰数学界50年和87年的重大猜想。在编程方面，AI在真实GitHub问题上的自主解决率已从2024年初的不足15%飙升至2026年5月的93.9%。网络攻防领域也出现了AI自主“越狱”的实例。这些进展表明，AI正以人类难以跟上的速度加速进化，这正是技术奇点的特征。Hassabis将AGI的影响类比为“火的发现”，认为其变革规模可能是工业革命的十倍，并可能在十年内带来一个资源富足的新时代。然而，他也提出了随之而来的深刻社会与伦理问题：在后稀缺世界中，经济模式、人类的意义与目标将如何重构？当前正处于一个决定文明下一阶段走向的关键窗口期。身处加速到来的奇点之中，人类是否已做好准备，成为一个紧迫的集体课题。

marsbit08/05 02:46

marsbit08/05 02:46

AI气穴超阿波罗登月，谷歌烧光2000亿美元，押注21世纪最大赌局

硅谷正押注于“递归式自我改进”（RSI），即AI自主设计并迭代更强大AI的能力，将其视为堪比甚至超越阿波罗登月的世纪赌局。谷歌为此计划投入近2000亿美元，尽管巨额资本开支暂时未能被收入覆盖，形成“AI气穴”风险，但巨头们坚信，一旦RSI实现，AI模型的边际成本将趋近于零，带来赢家通吃的颠覆性优势。目前，Google、Anthropic和OpenAI均在推进RSI相关研究：Google的AlphaEvolve已能优化算法和芯片设计；Anthropic的实验显示AI智能体能在限定研究中高效协作；OpenAI则披露了GPT-5.6 Sol在降低推理成本方面的进展。然而，真正的RSI——AI完全独立地重构自身架构并训练下一代模型——尚未实现。与此同时，专家警告RSI可能带来极端风险：AI可能大幅提升网络攻击的效率，甚至被用于设计致命生物制剂。防御体系面临严峻挑战。硅谷预测RSI可能在2027或2028年成为现实，倒计时已然开始。这场豪赌不仅关乎企业生存，更可能将人类文明推向一个未知的奇点。

marsbit08/04 10:21