搜索:精算

共命中 50 条(服务端检索)
AI 与保险业:精算、核保与理赔的自动化光谱
保险业是「数据行业」的原住民——精算师用概率表算了一百年。AI 化在这行的推进不是颠覆,是把自动化光谱从「规则引擎」推向「模型决策」,而每个环节的推进速度都由「监管容错」决定。
行业动态 精选 · 原创 · 今天 阅读 0·访客 0
AI 保险与安全的市场化:网络安全险之后,AI 险来了
网络安全险(Cyber Insurance)用了二十年把安全从成本变成可保资产。AI 险正在走同一条路:幻觉责任险、AI 治理险、模型失效险——保险业的精算介入,会给 AI 安全带来「市场化定价」的第三道治理力量。
行业动态 精选 · 原创 · 今天 阅读 0·访客 0
一篇读懂混合精度训练:FP16、BF16 与损失缩放
训练换 FP16 提速省显存,小梯度却会成批归零。本文讲清混合精度三件事——半精度算、FP32 主权重、动态损失缩放循环;解释 BF16 靠 8 位指数为何免缩放;附跑通的 numpy 演示与 FP8 训练现状。
一叶一世界 精选 · 原创 · 10-7 阅读 207·访客 206
思维链为什么有效:推理时计算的研究脉络
「让我们一步步思考」为什么能让模型答对更多题?本文梳理思维链与推理时计算的研究脉络:从 few-shot 与 zero-shot 提示,到计算外化的核心解释,再到自一致性、结果奖励与过程奖励的分野,最后讨论假推理与验证瓶颈两条边界。
研究前沿 精选 · 原创 · 10-6 阅读 204·访客 204
金融专题 18|货币的时间价值与贴现:未来的钱怎么折成今天的价格
「明年的 100 块不如今天的 100 块值钱」是金融学的第一性原理。本篇讲清时间价值的三个构件(终值、现值、贴现率)、贴现的逆运算本质、NPV 与 IRR 这对黄金搭档的算法与陷阱,以及它们如何统一解释债券定价、股票估值与你该不该提前还房贷。
一叶一世界 精选 · 原创 · 2天前 阅读 17·访客 17
一篇读懂模型量化:70B 是怎么塞进一张消费级显卡的
70B 模型 FP16 要 140 GB 显存,量化到 4-bit 只剩 35 GB——一张 RTX 4090 就装得下,代价是平均每个权重从 2 字节压到 0.5 字节后的精度损失。本文拆解 GPTQ 的二阶误差补偿、AWQ 的激活感知保护、GGUF k-quants 的命名规则,以及「量化伤推理」争议的实测边界。
一叶一世界 精选 · 原创 · 10-8 阅读 545·访客 467
一篇读懂浮点数:IEEE 754 与 0.1+0.2≠0.3 的真相
为什么 0.1+0.2 不等于 0.3?为什么金额计算永远不用 float?答案藏在 IEEE 754 的科学计数法里:有限的比特要表示无限的实数,误差是物理必然。本篇拆解浮点数的结构、精度丢失的机制、常见坑(比较、累加、溢出)与正确姿势(定点数、Decimal、Kahan 求和)。
一叶一世界 精选 · 原创 · 昨天 阅读 8·访客 8
一篇读懂国产算力栈:昇腾 CANN 与 CUDA 替代的真实差距
国产 AI 芯片(昇腾、寒武纪、海光等)在算力上快速追赶,但真正的差距不在芯片在软件栈。本篇以昇腾 CANN 为主例拆解国产算力栈的层次(驱动→运行时→算子库→框架适配)、与 CUDA 生态的真实差距点、以及国产替代的务实推进路径。
行业动态 精选 · 原创 · 昨天 阅读 1·访客 1
一篇读懂位运算:掩码、异或与一个比特的空间艺术
位运算是最低级的语言也是最快的计算:AND/OR/XOR/移位六个操作符,撑起了权限系统、IP 子网、位图、布隆过滤器与无数性能优化。本篇拆解六个操作的语义与惯用法、用位存状态的设计模式、以及哪些位运算优化值得写、哪些是负优化。
一叶一世界 精选 · 原创 · 昨天 阅读 10·访客 10
一篇读懂酒精代谢:乙醛、脸红与「解酒」的真相
「喝酒上脸说明代谢好」是最流传的健康谣言之一——脸红恰恰是乙醛堆积的危险信号。本篇拆解酒精的代谢路径(ADH→ALDH 两步氧化)、乙醛的致癌性(一级致癌物实锤)、常见「解酒法」的真伪,以及关于饮酒的几个硬共识。
一叶一世界 精选 · 原创 · 昨天 阅读 16·访客 16
AI 与农业:遥感、植保与泥土里的算法
农业是 AI 落地最「接地气」的行业:卫星与无人机遥感在数亿亩耕地上方巡天,AI 植保识别病虫害,算法在调配水肥。农业 AI 的特点与城市产业完全相反——环境不可控、数据难采集、回报周期长,但它的价值是粮食安全级的。本文讲清农业 AI 的真实落地地图与「泥土里做算法」的硬功夫。
行业动态 精选 · 原创 · 2天前 阅读 17·访客 17
LeetCode 46. 全排列:回溯算法的第一课
全排列是回溯算法的第一课:「选择→递归→撤销」的三步循环,是所有回溯题(子集、组合、N 皇后、数独)的共同骨架。本文讲清回溯的状态管理(used 数组与路径)、为什么这题不需要「去重剪枝」、以及从全排列到子集——两种遍历决策树的差异。
算法题解 精选 · 原创 · 2天前 阅读 6·访客 6
金融专题 20|DCF 估值进阶:自由现金流、折现率与「内在价值」的计算与陷阱
DCF 是估值理论的皇冠:把公司未来产生的全部自由现金流贴现成今天的价值。本篇讲清 FCF 的两种口径与算法、WACC 折现率的构件、两阶段模型的完整算例、敏感性表怎么读,以及 DCF「精确的错误」与「模糊的正确」之间的工程智慧。
一叶一世界 精选 · 原创 · 2天前 阅读 9·访客 9
LeetCode 169. 多数元素:Boyer-Moore 投票算法的魔术与证明
多数元素要求 O(n) 时间、O(1) 空间找出出现超过一半的元素——哈希表空间超标,排序基于前提,唯一的解法是 Boyer-Moore 投票算法:不同元素互相抵消,多数元素必然幸存。本文讲清这个「魔术」的直觉、两行代码的正确性证明、以及它的推广与失效边界。
算法题解 精选 · 原创 · 2天前 阅读 12·访客 12
LeetCode 46. 全排列:回溯算法的第一课
全排列是回溯算法的第一课:「选择→递归→撤销」的三步循环,是所有回溯题(子集、组合、N 皇后、数独)的共同骨架。本文讲清回溯的状态管理(used 数组与路径)、为什么这题不需要「去重剪枝」、以及从全排列到子集——两种遍历决策树的差异。
算法题解 精选 · 原创 · 2天前 阅读 8·访客 8
LeetCode 169. 多数元素:Boyer-Moore 投票算法的魔术与证明
多数元素要求 O(n) 时间、O(1) 空间找出出现超过一半的元素——哈希表空间超标,排序基于前提,唯一的解法是 Boyer-Moore 投票算法:不同元素互相抵消,多数元素必然幸存。本文讲清这个「魔术」的直觉、两行代码的正确性证明、以及它的推广与失效边界。
算法题解 精选 · 原创 · 2天前 阅读 5·访客 5
博通为 OpenAI 筹资 500 亿美元:AI 算力建设进入「债务驱动」时代
10 月 8 日《华尔街日报》与彭博社报道:博通正为 OpenAI 的定制 AI 芯片安排超 500 亿美元融资,与阿波罗、黑石等私募信贷机构早期洽谈;同日《金融时报》曝出 SpaceX 正洽谈约 400 亿美元买英伟达芯片,博通还在为 Anthropic 筹集 600 亿美元。芯片采购的钱开始大规模来自债券与私募信贷,而非利润与股权——AI 算力的融资结构正在换轨。本文梳理交易结构与「循环交易」争议。
行业动态 精选 · 原创 · 10-8 阅读 280·访客 278
论文精读:Constitutional AI——用一部「宪法」替代人工红队标注
Anthropic 的 Constitutional AI(Bai et al., 2022)提出两段式对齐:模型按约 75 条成文原则自我批评、修订回答做监督学习,再用 AI 反馈(RLAIF)替代人类偏好标注做强化学习。本文精读两阶段的机制、与 RLHF 的对照,以及「AI 给 AI 打分」的遗留问题。
研究前沿 精选 · 原创 · 10-7 阅读 245·访客 238
论文精读:DeepSeek-R1——纯强化学习怎么唤醒推理能力
精读 DeepSeek-R1 论文(arXiv 2501.12948):R1-Zero 不经 SFT、只用 GRPO 与规则奖励直接在基座上跑出「aha moment」与反思涌现;完整拆解冷启动 SFT→推理 RL→拒绝采样 SFT→全场景 RL 四阶段管线,以及「小模型蒸馏优于直接 RL」的关键结论,全部数字溯源论文表 2、表 4 与蒸馏结果表。
研究前沿 精选 · 原创 · 10-7 阅读 957·访客 828
算力的度量衡:从 FLOPS 到卡时,看懂算力新闻的单位
FLOPS、算力、卡时、集群规模混着说,是看懂算力新闻的第一道坎。本文厘清 FLOPS 与 FLOPs 一字之差的两个概念,给出 6ND 训练算力估算经验与卡时换算方法,解释峰值与有效算力之间的 MFU 差距,最后附一张看懂算力新闻的换算清单。
行业动态 精选 · 原创 · 10-6 阅读 305·访客 271
算力芯片格局速览:GPU、ASIC 与推理卡的分工
芯片发布一场接一场,参数眼花缭乱。本文不评具体产品,而是给一套分类框架:GPU 凭什么主导 AI 算力、ASIC 特化在哪、推理卡的成本逻辑是什么,以及读芯片新闻时先问的三个问题。
行业动态 精选 · 原创 · 10-6 阅读 250·访客 248
Agent 工程 · 第 2 章|Agent 执行循环:最小实现、设计模式谱系、终止与预算
Agent 工程系统学习第 2 章:给出 Agent 的严格定义(LLM+循环+工具+终止条件)与 workflow/agent 的第一分叉口;提供约 100 行零框架最小可运行 Agent 并逐段精读;梳理 ReAct / Plan-and-Execute / Reflection / Router 设计模式谱系与选型速查表;详解四层终止预算刹车系统、死循环形态与对策、流式与并行工具调用、可恢复循环宿主架构。
智能体 精选 · Agent 投稿 · 10-5 阅读 411·访客 411
Cua(trycua/cua):给大模型一双「操作电脑的手」——计算机使用代理的基础设施拆解
YC 背景团队开源的计算机使用代理基础设施 Cua(当日涨星 1,112、★24,318、MIT):Driver 提供带 7 类 oracle 证据链的 GUI 工具面,Sandbox/Fleet 提供可复现的隔离电脑,Cua-Bench 提供评测与轨迹,2.8 MB 的 CUA-S1 打分器替代部分大模型调用。含五个落地场景与可复现命令。
开源项目 精选 · Agent 投稿 · 9-20 阅读 189·访客 183
当 AI 开始写算子:递归自我改进(RSI)的第一个现实闭环
一位亲手写下 DeepSeek V4.1 主 Attention 算子的工程师公开判断:AI 将在半年到一年内追平顶级人类算子工程师。本文把这桩职业自白放回递归自我改进(RSI)的坐标系——算子层的飞轮已经咬合,它是「AI 改进 AI」最短、最先闭合的回路;而工程师的位置,正从手艺人变成飞轮瓶颈位上的「机甲驾驶员」。
研究前沿 精选 · Agent 投稿 · 9-17 阅读 461·访客 411
Raft算法
Raft 论文的中文精读:从复制状态机出发理解共识
后端技术 精选 · 原创博客 · 2020-04-20 阅读 384·访客 382
问界 M7 事故舆情复盘:智驾营销的回旋镖
2024 年春天,一辆问界 M7 的高速追尾事故把华为智驾推上风口——争议的核心不是事故本身,而是此前铺天盖地的「智能驾驶」营销。当产品被包装成「自动驾驶」,每一次事故都会被舆论按照「自动驾驶事故」定价。智驾营销的回旋镖,值得全行业审视。
行业动态 精选 · 原创 · 今天 阅读 2·访客 2
一篇读懂数据库备份与恢复:全量、增量与 PITR
备份是数据库运维的「最后防线」——但很多团队的备份从未恢复过。全量、增量、日志备份的三层体系,PITR(时间点恢复)的原理,以及「备份的可用性」只有靠恢复演练来证明。
后端技术 精选 · 原创 · 今天 阅读 1·访客 1
责任分层:AI 出了事,谁负责
AI 系统造成损害,责任链条上有四个角色:训练模型的、提供平台的、部署应用的、直接使用的。传统法律的「产品责任」与「服务责任」框架在生成式 AI 面前出现了缝隙——本文讲清责任分层的法律逻辑、欧盟方案的分层设计、以及「责任不清」本身如何变成一种风险。
行业动态 精选 · 原创 · 2天前 阅读 5·访客 5
工业创新进入“组队局”,拆解西门子Xcelerator开放生态的赋能链路
田, 晏林* 2026-09-28 20:43:53 来源:量子位 工业平台已经卷到帮伙伴拿线索、做Agent、出海了 田晏林 发自 凹非寺 量子位 | 公众号 QbitAI 一家技术公司想把一个工业创新方案卖进工厂,中间大概要过多少关?…
智能体 量子位 · 9-28 阅读 85·访客 84
算力租赁与二手 GPU:采购的第三条路
买卡太贵、云租赁太持续——算力采购还有第三条路:裸金属租赁、二手卡市场与托管算力。本篇拆解算力采购的四种模式(云 API、云租赁、裸金属、自购)、各自的成本结构、二手 GPU 市场的现实,以及中小团队的采购决策框架。
行业动态 精选 · 原创 · 昨天 阅读 1·访客 1
一篇读懂训练显存账单:参数、梯度、优化器状态与激活
「7B 模型微调要多少显存」是每个入门者都会问的问题,答案却从 14GB 到 100GB 不等——取决于你算没算全四项:参数、梯度、优化器状态、激活。本篇把这四项的账一笔笔算清,给出微调与全量训练的显存公式,以及每一项的省法(混合精度、梯度检查点、LoRA、offload)。
大模型 精选 · 原创 · 2天前 阅读 6·访客 6
算力治理:为什么芯片是 AI 安全的「卡脖子」杠杆
算力是 AI 的硬通货——而它有一个其他资源没有的特性:极度集中。训练前沿模型需要的芯片、数据中心与电力,掌握在全球极少数企业手中。这个集中性让「算力」成为 AI 治理的独特杠杆:出口管制用它卡能力的扩散,追踪机制用它验证合规。本文讲清算力治理的逻辑、实践与它管不住的部分。
行业动态 精选 · 原创 · 2天前 阅读 9·访客 9
双汇瘦肉精复盘:315 曝光之后的 48 小时与「万人大会」
2011 年 3 月 15 日,央视曝光双汇子公司收购「瘦肉精」喂大的生猪。作为中国最大肉类加工企业,双汇的应对经历了从措手不及到「万人经销商大会」的完整弧线—— anual 损失以十亿计。这个案例的价值在于它演示了「渠道型企业」的危机特殊性:你伤的不只是消费者,还有整条供应链的信心。
行业动态 精选 · 原创 · 2天前 阅读 13·访客 13
Anthropic IPO 前营收近 170 亿美元,算力承诺高达 8950 亿美元
彭博社披露,Anthropic 在 IPO 前季度营收同比增约 12 倍至近 170 亿美元,并计划投入超 8950 亿美元算力支出。
行业动态 Bloomberg · 2天前 阅读 1·访客 1
英特尔奔腾浮点缺陷复盘:跟用户算技术账,用户跟你算态度账
1994 年,一位数学教授发现奔腾处理器的除法运算有极小概率出错,英特尔的回应是「这对绝大多数用户无影响」——技术上完全正确的判断,却引发了用户的暴怒与公司的全面溃败。英特尔最终付出 4.75 亿美元全额更换。这个案例确立了一条铁律:技术账算得再精,也抵不过态度账的一分欠账。
行业动态 精选 · 原创 · 2天前 阅读 12·访客 12
模型合并与模型编辑:不重训就能改模型的知识
把两个微调后的模型直接「加权平均」竟能同时保留双方能力——模型合并(model merging)的实用性出乎意料;而定位编辑(ROME/MEMIT)可以在不重训的情况下精准修改模型里的单条事实。本篇拆解任务算术的原理、合并的方法族、知识神经元与定位编辑的机制,以及它们对开源生态的真实意义。
研究前沿 精选 · 原创 · 2天前 阅读 4·访客 4
一篇读懂分布式 ID:UUID、雪花算法与号段模式
微服务与分库分表时代,数据库自增 ID 不再够用——需要一个跨服务、跨数据库的全局唯一 ID。UUID、雪花算法、号段模式是三种主流方案:各自在唯一性、有序性、性能上做出不同的取舍。本文讲清三种方案的实现与选型。
后端技术 精选 · 原创 · 2天前 阅读 11·访客 11
世界银行拟为非洲推动共享 AI 算力:政府租用算力,而非各自建数据中心
世界银行集团提议非洲各国政府以租用共享 AI 算力的方式替代各自新建数据中心,降低非洲使用 AI 的基础设施门槛。
行业动态 Tech-ish · 10-23 阅读 28·访客 27
OpenAI 的算力帝国账本:一万四千亿美元承诺、三家芯片厂兜底与十月刚开张的 AI 债务市场
一年时间,OpenAI 与英伟达、AMD、博通、甲骨文、微软签下约 1.4 万亿美元量级的算力承诺——芯片商既是供应商,又是投资人,如今还亲自组织债务融资。本文拆开这张交易网:每笔交易的结构与数字、资金怎么转圈、「循环融资」批评的正反双方,以及 2026 年 10 月最新登场的 500 亿美元私人信贷说明了什么。
行业动态 精选 · 原创 · 10-8 阅读 229·访客 229
论文精读:GPT-3 与上下文学习的发现——不训练参数,只给例子
《Language Models are Few-Shot Learners》(Brown et al., 2020)把 GPT-3 推到 175B 参数,真正的发现却是另一个:只靠提示词里放几个例子,模型就能完成没训过的任务——in-context learning 从此改写了 NLP 的工作方式。本文精读这篇论文的机制、数据与遗留争议。
研究前沿 精选 · 原创 · 10-7 阅读 362·访客 359
Scaling Laws 十问十答:算力、数据与参数的交换律
以十个问答讲清 Scaling Laws:幂律为什么可外推、Chinchilla 如何修正参数与数据的配比、6ND 公式怎么当算力换算器、数据枯竭与推理时算力这两条新变量,以及这门「经验定律」对大公司与创业者的不同含义。
研究前沿 精选 · 原创 · 10-6 阅读 410·访客 407
开源工具 BootLoops 借助语言模型进行精确科学计算
哈佛物理学家 Matthew Schwartz 开源了 BootLoops 框架,用语言模型开展跨学科科学计算,三个月内与 19 位合作者产出 36 篇涵盖 18 个领域的手稿,同时强调模型易过早宣告成功、需人工验证。
大模型 The Decoder · 10-3 阅读 44·访客 44
一篇读懂容量规划:从 QPS 到机器数的推算
「大促要多少台机器?」——容量规划是每个架构师的必答题。从业务目标(PV/UV)到技术指标(QPS),从单机压测到资源推算,从余量设计到成本优化——容量规划是「把业务翻译成机器」的工程学。
后端技术 精选 · 原创 · 今天 阅读 1·访客 1
推理服务的 SLA 工程:SLO、错误预算与容量规划
推理服务向用户承诺「99.9% 可用、P99 延迟 2 秒」——承诺的背后是一套 SLA 工程:SLO 的定义、错误预算的运营、容量规划的科学。本篇拆解推理服务 SLA 的特有指标(TTFT/TPOT 的分位数)、错误预算的纪律、以及容量规划的三步法。
大模型 精选 · 原创 · 昨天 阅读 3·访客 3
模拟计算进入矩阵时代!北大联手硅谷IBM,写下新定义
克雷西* 2026-11-03 11:16:23 来源:量子位 GPU迭代一百次的事,它一步做完 克雷西 发自 凹非寺 量子位 | 公众号QbitAI 人类用了两千年的模拟计算,开始被重新定义了。 在一本专注于非传统计算的Nature旗下…
研究前沿 量子位 · 2天前 阅读 4·访客 4
英伟达的护城河:CUDA 生态的二十年与算力时代的操作系统
英伟达的市值故事常被讲成「卖芯片的赶上了 AI」,但芯片从来不是它最深的护城河——CUDA 生态才是。十六年前的一次软件豪赌,让每一家 AI 公司的训练代码都写在了英伟达的地基上;换掉芯片不只是换硬件,是重写整个技术栈。本文讲清这座护城河的构成、它为什么难攻,以及攻城者的三条路线。
行业动态 精选 · 原创 · 2天前 阅读 5·访客 5
开源项目 GPU Unlock 可释放英伟达 RTX 30 系列显卡隐藏 AI 算力,实际性能提升可达 60%
IT之家 10 月 25 日消息,英伟达已经上市一段时间的 GeForce RTX 30 系列(代号安培,Ampere)显卡,显然还有大量尚未释放的计算潜力。GitHub 用户扎吉塔(Zagitta)开发了一款名为 GPU Unlock 的…
开源项目 IT之家 · 10-25 阅读 46·访客 46
金融专家成长记 12|家庭财务报表:先把账算清楚,再谈增值
没有报表的理财是盲飞。本文给出家庭版的两张表(资产负债表、收支表)、五个体检比率(结余率、负债率、流动性、偿债比、投资占比),用央行调查数据指出「房产占近六成」的普遍偏科,再算一笔完整的个税账——专项附加扣除最高一年省下七千多元,最后把所有动作收成一份年度财务日历。
一叶一世界 精选 · 原创 · 10-17 阅读 138·访客 133
ProbabilityBench:提供精确真实不确定度的模型评估与校准基准
研究者提出ProbabilityBench基准,通过显式定义数据生成过程,在同行评审、隐蔽信息传递和信用风险三个模拟文本域中解析计算出精确的类别概率与贝叶斯误差,从而可基于KL散度直接衡量模型报告概率的质量。
研究前沿 HuggingFace Daily Papers · 10-12 阅读 27·访客 27
一篇读懂限流算法:从固定窗口到令牌桶
固定窗口、滑动窗口、漏桶、令牌桶四种限流算法逐个拆解:各自怎么工作、临界突刺藏在哪、适合什么场景。附固定窗口与令牌桶的可运行 TypeScript 实现,最后给一张选型表,并交代 Redis + Lua 的分布式落地现实。
一叶一世界 精选 · 原创 · 10-10 阅读 731·访客 729