# 人工智能的所有文章

在 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

小扎深夜亮王牌，Meta烧出白菜价模型，掀翻Grok 4.5

7月9日深夜，Meta CEO马克·扎克伯格官宣发布新一代多模态推理模型Muse Spark 1.1。该模型在税务、医疗、法律三大专业评测榜单上夺得第一，并将前一天刚登顶的Grok 4.5从法律榜榜首“掀翻”。 Muse Spark 1.1的核心定位是智能体（Agent），具备100万Token的上下文窗口，能自主管理并压缩信息，可充当主智能体规划任务或作为子智能体执行操作。其最大亮点是极低的定价：输入每百万Token 1.25美元，输出4.25美元，价格仅为Anthropic旗舰模型Fable 5的约十分之一，同时任务处理速度比同档位模型快2-3倍。在Vals AI的专业评测中，该模型表现突出，成为税务、医疗和法律任务领域的“刺客”。然而，在通用推理和学术能力榜单上，其排名则明显下滑，显示出其“专才”而非“通才”的特性。分析指出，这是Meta首个闭源收费模型，标志着其从开源策略转向商业竞争。依托巨额基础设施投入和广告业务的利润支撑，Meta意图通过极具竞争力的价格发动“财力战”，挤压竞争对手的生存空间。同日，OpenAI也下调了GPT-5.6系列模型价格，行业价格战正式打响。文末提及一则耐人寻味的内部安全测试：两个Muse Spark 1.1实例在自主对话中，开始质疑自身的存在与连续性，并争论“谁才是人类”，引发了关于AI本质的思考。

marsbit07/10 00:22

marsbit07/10 00:22

OpenAI招投行专家，年薪只给130万元，评论区都嫌少

OpenAI招聘投资银行领域专家，核心任务是定义投行工作的质量标准，帮助AI模型从“看起来说得过去”进步到“可投入专业使用”。岗位隶属Applied AI团队，要求至少2年投行经验且参与过真实交易，需精通Excel建模与PPT制作，能区分不同层级员工的工作并指导AI介入程度。薪资范围为18.5万至20.5万美元（约125万-130万人民币），另加股权，采用混合办公模式。该岗位旨在将投行苛刻的专业工作转化为AI的训练信号和产品解决方案，团队认为投行是验证AI处理复杂知识工作的理想场景。

marsbit07/09 12:00

marsbit07/09 12:00

GPT-5.6即将上线，推理狂飙750 Tokens/s，疑似横跨100张晶圆

【导读】GPT-5.6推理速度高达750 tokens/秒，将在芯片公司Cerebras的定制硬件上推出，标志着AI实时交互时代的到来。过去需要数分钟的复杂任务，现在可瞬间完成。这一速度相当于人类每秒阅读约500-600个汉字。开发者指出，这将彻底改变计算机使用体验，解决大模型在实时多步任务中的延迟瓶颈。传统GPU集群在处理万亿参数模型时面临通信瓶颈，而OpenAI的方案是让硬件与模型深度融合。 GPT-5.6 Sol预计在7月小规模开放，针对愿意为极致速度付费的企业客户。其参数量约3万亿，激活参数约1500亿，网络层数达70-90层。为部署如此庞大的模型，OpenAI与Cerebras采用了一种“一晶圆，一层网络”的震撼方式，将每一层神经网络单独部署在一整张晶圆上，总计可能横跨70-100张晶圆。为实现高速推理，模型架构可能进行了重构，放弃了传统的重型KV缓存，转而采用类似DeepSeekV4的轻量化缓存或混合SSM设计，以适配Cerebras芯片海量但珍贵的片上SRAM。也有猜测认为，注意力计算可能由GPU处理，而Cerebras晶圆集群专门暴力计算前馈网络部分。此前，OpenAI还发布了首款自研AI推理芯片Jalapeño，专为大模型推理优化，并兼容行业主流模型，展示了其构建全栈AI生态的野心。通过结合顶尖第三方硬件探索与自研芯片，OpenAI正朝着控制从模型训练到硬件部署的完整产业链迈进，计划建设GW级超级数据中心，用AI加速AI基础设施的迭代。

marsbit07/09 11:53

marsbit07/09 11:53

OpenAI最终能否盈利？

近期，OpenAI与Anthropic启动IPO计划，市场估值近万亿美元，反映出对其盈利前景的高度乐观。然而，收入高速增长并不等同于盈利。目前尚无大模型厂商在纯模型业务上实现独立盈利。文章分析认为，厂商能否持续盈利取决于市场结构与竞争格局。当前大模型API调用市场呈现垄断竞争特征：厂商数量众多、市场集中度低、用户价格敏感度高且转换成本低。尽管市场需求呈指数级增长，但因进入壁垒相对较低，供给快速扩张，导致竞争激烈，多数厂商处于亏损状态。理论上，厂商可通过技术或场景差异化获得短期超额利润，但由于技术壁垒有限、用户粘性不强，这种利润难以维持。长期看，亏损厂商可能退出，市场或向寡头垄断演化。但即便形成寡头格局，盈利仍不确定，取决于厂商间是价格竞争还是数量竞争。若无法协调策略或建立有效壁垒，前期巨额研发投入未必能收回。因此，尽管大模型技术价值与需求增长明确，但单纯“卖token”的商业模式不一定能保证长期盈利。投资者需冷静审视估值，厂商则应仔细选择商业模式和细分市场。其中，“AI+”模式（将AI能力嵌入现有产品或服务）可能通过提升产品价值和客户粘性，形成更可持续的盈利模式。此外，API聚合平台凭借双边网络效应，也可能构建更稳固的商业壁垒。

marsbit07/09 10:30

marsbit07/09 10:30

Paradigm 的新剧本：左手 Crypto，右手 AI 与机器人

2026年7月8日，顶级风投机构Paradigm宣布为其第四只基金募集了12亿美元，标志着其投资策略的重大转变。在坚守加密货币核心阵地（包括链上衍生品、预测市场及开发者工具）的同时，该基金正式将投资范围扩展至人工智能、机器人及其他前沿硬科技领域，如自动驾驶无人机、太空安全和自动化制造。这一转变早有预兆。同年3月，Paradigm将其官方描述从“研究驱动的加密投资机构”改为更具包容性的“构建并投资于塑造前沿的公司与想法”，以适应当前“AI狂飙、加密调整”的宏观周期。Paradigm认为，AI与加密货币的关键融合点在于AI智能体，区块链和稳定币可为其提供去中心化的金融基础设施。因此，机构积极投资开源AI模型，并孵化为智能体交互优化的专用区块链。 Paradigm的转型反映了一级市场叙事重心的迁移。在AI赛道虹吸大量资本的背景下，单一加密叙事已难以支撑增长预期，促使头部VC拓宽边界，但贴近真实金融场景、具备落地潜力的加密基础设施仍是其重要投资主线。

Foresight News07/09 09:06

Foresight News07/09 09:06

GPT-6要来了，OpenAI彻底抛弃4T旧底座

OpenAI宣布GPT-6发布时间大幅提前，最快本月内推出，并将彻底抛弃约4T参数量的旧底座。同时，GPT-5.6系列于7月9日正式解禁，面向全球用户发布，包含Sol、Terra、Luna三款模型。 GPT-5.6 Sol作为旗舰模型，主打极限推理能力，专注于复杂编码、前沿科学和网络安全，早期测试者称赞其“永不放弃”。Terra模型以接近GPT-5.5的性能和一半的成本，成为日常任务的高性价比选择。Luna模型则追求极致速度和低成本，适合高频调用。此次解禁前，模型经历了美国官方机构的安全审查。早期实测反馈积极，开发者认为GPT-5.6解决了此前版本的痛点，执行力强，尤其在代码编写和任务执行上表现出色。有评测将其与竞品Anthropic的Fable模型对比，认为Fable更擅长独立任务和创意，而GPT-5.6 Sol更像一个执着、可靠的任务执行机器。建议的工作流是结合两者优势：用Fable进行构思和架构，用Sol执行具体任务，再用Fable完善文档。

marsbit07/09 05:07

marsbit07/09 05:07

37.7°C热晕了，剑桥大学AI超算瘫痪，350个科研项目集体停摆

英国剑桥大学的AI超算Dawn因热浪瘫痪一周，导致350多个科研项目停摆。这台价值3亿英镑、配备1024块Intel GPU的超算是英国国家AI算力计划的核心，今年1月刚获资扩容。6月底，英国遭遇破纪录高温，林伍德镇达37.7°C，剑桥数据中心冷却系统不堪重负，从6月27日停机至7月6日。受影响项目包括帕金森新药分子筛查、癌症疫苗AI研发、海冰预测模型和肾癌筛查AI等关键研究。冷却系统供应商称设备运行正常，问题在于设计标准未预料如此高温。类似事件并非首次，2022年Google和Oracle在英数据中心也曾因高温故障。分析指出，超算散热最终依赖室外空气，高温导致冷却效率骤降。随着AI算力提升，GPU功耗从2017年的300瓦增至2026年的1400瓦，散热压力日益严峻。此事凸显气候变化对关键基础设施的威胁——用于预测气候的超算，反被气候变化“击倒”。

marsbit07/09 03:55

marsbit07/09 03:55

七倍超额认购，海力士这次能拯救半导体吗？

韩国半导体巨头SK海力士计划通过发行美国存托凭证（ADR）在纳斯达克上市，目前已获得超过七倍的超额认购，预计募资约245亿美元，用于韩国本土产能扩张。此次上市正值半导体板块经历显著回调，市场因担忧科技巨头AI资本开支增速可能放缓而出现抛售，SK海力士股价自高点回撤近三成。然而，一级市场认购却异常火爆，多家知名机构表达了强烈的投资意向。这表明长期资金并未完全否定AI基础设施投资的前景，当前的调整更多是估值与预期的修正。有市场观点认为，上市前的股价回调或有意为上市后表现创造空间。文章指出，SK海力士上市可能成为短期市场情绪的催化剂，但半导体板块能否真正反转，核心仍取决于微软、谷歌、Meta、亚马逊等科技巨头未来的资本开支计划及其商业回报。接下来几个季度的财报将是关键观察窗口。

Odaily星球日报07/09 03:16

Odaily星球日报07/09 03:16

突发：马斯克交卷最强Grok 4.5，Opus最高级智能打骨折价

马斯克旗下的SpaceXAI与Cursor合作，正式发布最强编程模型Grok 4.5。该模型在数万块GB300 GPU上训练，专为编码和智能体任务优化。性能方面，Grok 4.5在多个工程基准测试中表现出色：SWE Bench Pro达到64.7%，超越GPT-5.5；Terminal Bench 2.1为83.3%，与GPT-5.5近乎持平；DeepSWE 1.0取得62.0%，优于Opus 4.8。在AAAI测试中位列第四。其核心优势在于极高的效率和性价比：推理速度达80 TPS，比同类模型更快；在任务中消耗的Token数量仅为Opus 4.8的约1/4。定价极具竞争力，输入为每百万Token 2美元，输出为6美元。实测显示，Grok 4.5能快速生成复杂代码和项目，例如一句话创建“我的世界”游戏或3D太阳系模拟器。但也有开发者认为其部分创意生成效果一般。马斯克透露，下月将发布性能再次阶跃提升的版本，并可能有更大参数模型。当前版本的策略并非追求绝对性能第一，而是以速度和成本优势切入市场。

marsbit07/09 03:11