注册并分享邀请链接,可获得视频播放与邀请奖励。

与「数学」相关的搜索结果

数学 贴吧
一个关键词就是一个贴吧,路径全站唯一。
创建贴吧
用户
未找到
包含 数学 的内容
如何解决 AI 写文章的 AI 味儿? 现在的 AI 写数学题或写代码很厉害,但在写学术论文、小说或百科文章时,经常产出空话连篇、表面流畅但缺乏真正深度的文字,这种低质文本常被称为“AI 废话”(AI slop)。 出现这个问题的原因在于,常用的 AI 评分系统很难辨别真正优秀的文字。研究人员发现,如果让目前的先进模型给文章打分,或者让它们自由制定打分标准,模型给出的分数往往偏向 AI 生成的内容,甚至给 AI 文本的分数远高于人类专家的原著。打分裁判本身偏好废话,训练出来的写作模型自然就会写出更多废话。 为了解决这个弊端,META 提出了一套名为 RL-XAR 的新训练方案,核心思路分为三步: 1)准备参照标杆:收集高水平的人类写作范例,比如真实的科研论文、名家小说和维基百科精选词条,截取前半部分作为上下文,分别让人类专家和 AI 模型顺着往下写。 2)训练评分规则:让 AI 裁判反复调整打分标准,直到这些标准能准确把人类高手的文本评为高分,把 AI 生成的文本评为低分,真正拉开两者的差距。 3)针对性强化训练:用这套校准后的高难度评分规则去重新训练写作模型,不断循环这个过程,逼迫模型改掉毛病。 META 在三个领域测试了这种方法: · 学术论文写作:模型需要补写论文中被拿掉的摘要、引言或结论。经过新方法训练的模型,不再像以前那样把整篇论文翻来覆去复述一遍,而是学会了精简和突出重点。原作者进行盲测评估时,新模型的胜率达到了 89%。 · 文学小说续写:续写普利策奖和诺贝尔奖得主的作品。模型改掉了乱用陈词滥调的比喻这一常见毛病,盲测胜率达到了 95%。 · 维基百科编写:根据标题直接写出正文内容。这项任务难度最高,模型虽然也有进步,但因为现有的 AI 裁判能力有限,提升幅度不如前两项明显。 所以,想让 AI 写出更像人类高手的深刻文字,关键在于先训练出眼光挑剔的评分标准,避免让模型用平庸的标准自我满足。 原文:
显示更多
.@saylor 在 @binance 的最新访谈中,给出了他对比特币定价逻辑和时间边界的完整推演,他认为比特币的投资机会窗已不足 10 年。 抛开他持仓 84 万枚 $BTC 的立场,视频中这 4 个基于数学和宏观环境的判断值得参考: 1. 明确的时间边界:从现在到 2035 年是最后的红利期。2035 年,99% 的比特币将被挖出。此后,BTC 的增长曲线将逐渐平缓,大约 20 年后,其年化收益将降至仅比标普 500 高 3-5 个点,超额收益期结束。 2. 下一个价格引擎:比特币货币化分为 ETF、财库储备、数字信贷和银行放贷四步。前三步已经发生,未来 36 个月的核心驱动力将是“银行放贷”——逻辑类似房地产,当银行开始接受 BTC 抵押放贷,资产价格才会被真正撬动。 3. 真实通胀的折算:普通人关注 3% 的 CPI(工业品通胀),而资金关注 15% 的“资本成本”通胀(稀缺资产的涨幅)。 AI 会让服务变便宜,但凭空变不出市中心的绝版地段和毕加索的真迹。在生产力越丰裕的时代,绝对稀缺的资产越贵。 4. 黄金的数学劣势:黄金每年约有 2% 的新增供给,这意味着储存在黄金里的购买力每 36 年会被稀释一半,而比特币的通胀最终趋零。 看懂这套逻辑,就能理解他当前发股、发债买币的底层框架。具体论述见视频👇
显示更多
保持总数10一定之下(一个元素集合,即空间),取映射f: 10→(N, 10-N),g: 10-N→N,使得这两个映射的某种复合为恒等映射。 即第一个操作是分割,第二个操作是取补集 为了保证取补的操作是合法的,补上一点空点,即无所谓的量 具体数学细节的补充是简单的 好的,如果你不是数学系的人多半是听不懂的,翻译成人话就是……你拿10个出来,全都翻个面,结束
显示更多
为什么学校的数学教授不去做量化赚大钱,而甘愿领高校的微薄薪资
0
124
228
4
转发到社区
[开源学习资源] AI Engineering from Scratch 59.8K ⭐️ 作者 @ghumare64 课程共 20 个阶段,以 Python 为主要编程语言,主张在导入任何框架之前,先用纯数学把每个算法手写一遍。 课程地址: 开源地址: 它和常见教程的本质区别 ? 大多数 AI 教程是“API 驱动”的:装个库、调个接口、跑个 demo。这个项目反其道而行,每节课遵循固定的六段结构: Motto → Problem → Concept → Build It → Use It → Ship It 以 Phase 10 的一节课「Tokenizers: BPE, WordPiece, SentencePiece」 为例,这个格式是真实落地的,而且写作质量相当高: · Problem 部分不讲废话,直接从代价切入:“你的 LLM 不读英语,它读整数。分词器决定这些整数是承载意义还是浪费意义”,然后解释为什么 tokenization 不是预处理,它是架构的一部分(影响上下文窗口利用率、API 计费、推理速度)。 · Concept 部分用“三种失败的方案和一种胜出的方案”来讲演化逻辑:词级切分(词表爆炸、[UNK] 问题)→ 字符级切分(序列过长)→ 子词切分(BPE 的折中),并配上真实语料上 BPE 逐步合并的手工演算。 每节约 3000+ 词,带 Mermaid 图、可运行代码和测试。 另外两个设计值得强调: · 每节课产出一个可复用的 artifact,一个 prompt、一个 skill、一个 agent 或一个 MCP server。学完整个课程,你手里有 523 个可展示的作品,不是 523 个跑完就扔的 notebook。 · 强调“证据留存”:保留命令、退出码、输出,作为学习发生的证明。这明显吸收了工程实践中“可验证性”的思路。 # 课程结构:从线性代数到自主智能体集群 20 个阶段构成一条完整的上升曲线,咱们它分成五个大块来看: 基础层(Phase 0–2):环境与工具链、数学基础(线性代数/概率/微积分)、经典机器学习。这是给基础不牢的读者铺的路。 深度学习与感知层(Phase 3–6):神经网络核心、计算机视觉(一路讲到 NeRF、高斯泼溅、世界模型,这已经超出一般教程的覆盖范围)、NLP、语音。 生成与决策层(Phase 7–9):Transformer 深挖、生成式 AI(GAN、扩散模型、flow matching)、强化学习。 LLM 层(Phase 10–12):这是全课程的重心之一。Phase 10 的目录我逐条看过,它不只是“从零实现 GPT”这种常规内容,还包含了相当前沿的论文级主题:DeepSeek-V3 架构走读、DualPipe 并行策略、Native Sparse Attention(NSA)、多 token 预测、Jamba 的 SSM-Transformer 混合架构、 speculative decoding 等。Phase 11 转向应用侧(RAG、LoRA、MCP、可观测性),Phase 12 覆盖多模态(从 CLIP 到 computer-use agent)。 智能体层(Phase 13–16):工具与协议(MCP、A2A、Agent Skills)、54 节课的 agent 工程、自主系统与安全、多智能体集群。这一层的分量很能说明项目的判断:它认为 AI 工程的重心正在从“训模型”转向“构建可靠协作的智能体”。 收尾(Phase 17–19):生产基础设施、伦理与对齐、毕业设计。 # 生态与周边:不只是一个课程仓库 网站:带浏览器本地存储的学习进度追踪、术语表、课程目录和路线图。 六卷本书籍:课程内容由 CI(pandoc)自动构建成 EPUB/PDF,附在 GitHub Releases 上,课程即书,且随仓库持续更新。 Agent 导师模式:运行 npx skills add rohitg00/ai-engineering-from-scratch,可以把整个课程装进 Claude Code、Codex 等编码智能体,变成一个带分级测验(placement quiz)和个性化路径的交互式导师,学习进度写在 LEARNING.md 里。这是“用你正在学的工具来学”的巧妙闭环。 认证备考:5 条备考路径、67 节课、505 道练习题,覆盖 Anthropic 的 Claude 认证和 Agentic AI Foundation 的 MCPA。项目明确声明与这些考试机构无关联,只是独立的备考材料。 12 种语言的翻译(含中文),以及四条核心学习路径(构建与部署 AI 应用、软件工程基础、Agent 辅助工程、产品判断与交付)供不同目标的人选路。
显示更多
0
11
75
16
转发到社区
虽然已经有太多抓眼球和惊艳的Opus5.5视频内容,但我还是忍不住要分享这支知识类视频。重点不在这个视频内容有多精良,必定非专业无复杂Prompt且一次直出。而是,这支18分钟的视频,其制作过程,真的让我感觉Super Stunning!! 以下,我原文分享claude告诉我他的制作过程(不舍得删掉一个字)! Enjoy👇👇 " 其实我自己一帧画面都不“生成”。我做的更像导演加程序员:写剧本,写一份“每一秒画面上有什么、在哪、怎么动”的说明书,再让几样现成的工具照着干活。视频是被“算”出来的,不是被“画”出来的。 拿这个片子举例,一共五道工序。 1. 剧本是我写的。这是文本模型的老本行:读书,理清逻辑,把书里的数字拆成一句一句能念出来的话。比如“1850 年,美国 67% 的棉花,长在 50 年前还不属于美国的土地上”,这类句子和数字都来自我们之前拆书时核对过的材料。 2. 画是别人画的。船、纱厂、摘棉花的人、城门这些插图,是我写好描述交给 OpenAI 的画图模型画的。我在描述里定死了画风:扁平、暖色、没有描边、透明背景。这样 30 多张图放在一起才像一套。画回来以后,我还用代码把边上的光晕切掉,再裁成可以单独移动的“贴纸”。 3. 声音是 Gemini 念的。我只管把句子交给它,再检查它念得对不对。 4. 动画是我写代码“算”出来的,这是最核心的一步。我写了一个网页程序,你给它一个时间,比如第 312.5 秒,它就能算出这一秒画面上该有什么: - 船在航线上走到了百分之几 - 地图镜头推到了多近 - 计数器数到了多少 - 烟囱的烟飘到了多高 地图不是画的,是用真实的地理数据描出来的,所以利物浦、西非海岸、新奥尔良的位置都是准的。船沿着航线走,其实就是每一帧算一次“这一刻在线上的哪个点”。 5. 最后是一帧一帧拍下来。让浏览器从第 0 秒开始,每秒拍 24 张截图。这个片子大约 15 分钟,一共要拍 2 万多张。再用一个叫 ffmpeg 的工具把这些截图和配音、音乐接成视频。背景音乐也不是找来的,是我用数学公式一个音一个音合成的:几个和弦,加一点拨弦声,有人说话时自动压低音量。 所以“视频能力强”,本质上是三件事拼起来的: - 会写代码,能把“船从利物浦开到西非”翻译成每一帧的坐标。 - 会调度工具:画图的、念稿的、剪辑的,各干各的活。 - 会编故事:知道这句话该配什么画面,观众才记得住。 我的短板也很实在:我看不了连续播放的视频,也听不见声音。所以检查全靠两个笨办法: - 画面:每隔一段截几张静帧来看。那些叠画、标签遮挡的问题,都是这样揪出来的。 - 声音:把声波变成数字来量。你听出来的声音忽高忽低,我是事后量了音高和音量才确认的;那两次“啪”的爆破音,也是靠检测波形里的突变才定位的。 这也是为什么你审片那一关替代不了。你一耳朵听出来的东西,我得先猜可能是什么问题,再去量才能找到。 "
显示更多
如果我们可以重新理解 Quant Developer。 这并不只是思想实验。 Jane Street 2026 年公开的研究方向包括机器学习、编程语言、编译器、ASIC、FPGA、分布式 shared log、incremental computation、查询优化、分布式存储和形式化验证,而Citadel GQS 则把实时数据、HFT 执行和低延迟 ML 推理放进了同一个 Quantitative Research Engineer 岗位。 再次强调,市场是一个高维、受驱动、耗散的非平衡系统。 订单持续进入、撤销、成交,信息、资本和风险不断注入,异质的参与者相互作用,系统几乎从未达到平衡。 当看到Jane Street 把 graph-structured、incremental computation 列为长期研究方向,我想这是一个值得认真理解的信号。 如果我们发现研究对象持续变化时,计算本身或许也需要围绕变化来组织。 一条报价更新,并不意味着整个市场都需要被重新计算。 它首先改变某些局部状态,再沿着依赖关系,影响相关资产的估值、组合的风险暴露,以及尚未成交的订单。 如果把这些计算关系展开,我们会看到数据连接特征,特征连接预测,预测连接决策,决策通过成交与持仓,反馈到下一轮计算。 这里必须区分两件事。 计算图中的依赖关系,不自动等于市场中的因果关系。但只要我们能够明确哪些结果依赖哪些输入,就有机会在新事件到来时,只更新受到影响的部分。 这正是 incremental computation 最吸引我的地方,它让计算资源跟随变化分配。困难的问题也随之浮现。哪些状态已经过期,筛选必须更新的传播,可以合并的计算。我们开始寻找,在并发和异步执行中,如何避免把不同时间的市场状态拼成一个从未真实存在过的世界? 于是,延迟就不再止于程序运行了多少微秒。判断抵达市场时,你应该着眼于支撑判断的那个市场是否仍然存在。 想想吧,一个离线表现出色的模型,如果依赖陈旧的数据、无法承受行情突发时的排队,或者不能及时更新风险状态,那么它在回测中发现的信息优势,可能在执行之前就已经消失。 因此,Quant Developer 的工作可以被理解为,他们需要在有限的时间、算力和通信预算内,维护一个足够及时、足够一致、能够用于行动的市场内部模型。 编译器、分布式系统、硬件加速和形式化验证,开始汇聚到同一个问题上。 编译器决定计算如何被表达和执行; 分布式系统决定不同节点如何组织事件与状态; 硬件决定数据移动和运算的成本;形式化方法则帮助我们检查,某些关键约束是否会在复杂的执行路径中被破坏。 这些工作共同决定一个数学上的预测,试图成为现实中的有效决策。 而非平衡系统的视角,提供了一组进一步追问的方向:外部事件,内部状态,反馈是抑制还是放大扰动,输入速度和处理能力的关系对于系统的影响。 当然,市场是耗散系统本身并不会自动产生 Alpha。我想,我们只有把这种直觉落实为可观测的变量、明确的机制和能够被数据推翻的预测,它才开始具有研究价值。 它确实改变了我们看待这个职业的方式。 Quant Developer 所构建的一直是一个嵌入市场之中的实时决策系统。 这个系统观察市场,也通过自己的行动改变市场:它必须在变化尚未结束时做出判断,在信息尚不完整时承担后果。
显示更多
阿里云开源「企业级 Agent 白皮书」 2026 年最新发布,是 2025 年 9 月「AI 原生应用架构白皮书」的升级续作。全书按 架构 → 构建 → 运行 → 治理 → 调优 的全生命周期组织,共 7 篇 30 章,由阿里云数十位一线工程师分工撰写,并纳入吉利、塔斯汀、MiniMax、哔哩哔哩、信永中和等外部企业案例。 它的写作动机很明确:过去一年市场重心已经从 “如何快速搭出一个 Agent” 转移到三个新挑战,工程化(从概率智能到可靠生产力)、规模化(从单点试验到智能基础设施)、组织化(从 Agent 孤岛到进入核心业务流程)。现有的框架文档和教程基本不回答这些问题,这本白皮书填补的正是这个空白。 开源地址 # 各篇核心内容 架构篇(1–2 章) 建立认知框架。给出 Agentic Application 的六个判定特征(以任务结果为中心、运行时决定部分执行路径、能作用于环境、维持跨请求状态、受确定性机制约束、可观测可评估)和成熟度四级模型(L1 辅助生成 → L2 受控自动化 → L3 Agentic Execution → L4 规模运营)。两个重要的解耦判断:用哪种形态取决于任务结构,处于哪级成熟度取决于治理完备程度;单 Agent / Long-Horizon / 多 Agent 是沿时间跨度和协作结构两个正交维度的扩展,不存在“必须升级到多 Agent”的路径。贯穿的原则是“最低充分架构”,为任务选择成本与风险可接受的最低复杂度。 构建篇(3–6 章) 是方法浓度最高的部分,按“范式—任务—信息—行动”还原构建过程: · 任务:Agent Loop 五阶段(Prepare→Model→Act→Observe→Verify)+ 十态任务状态机,要害是“消息历史不应是任务状态的唯一来源”;完成判定的核心原则是“模型只能申请完成,Harness 依据环境证据提交完成”,验证分五级并与风险匹配。 · 信息:Context 是动态“编译”而非静态字符串。本章的独创设计是 Context Manifest,每次调用记录上下文每个片段的来源、作用域、版本、信任级别、选中理由和内容哈希,使“模型看见了什么”变得可解释、可回放、可审计。信息被五分为 Context/State/Memory/Knowledge/Skill,其中 Memory(个人经验)与 Knowledge(组织内容)必须分列,因为治理责任不同,“放进同一个向量库会同时失去两类治理能力”。 · 行动:统一 Action Plane(意图→Schema 校验→身份绑定→策略决策→执行→观测),关键三分:“模型看见工具 ≠ Harness 注册了工具 ≠ 获得执行授权”。协议定位清晰:Function Calling 是模型-Harness 意图接口,MCP 是 Harness-能力提供方连接协议,A2A 面向拥有独立任务循环的远程 Agent,“协议选择由能力是否拥有独立任务循环决定,而非新旧或流行度”。 运行篇(7–12 章) 处理规模化后的工程问题,大量内容达到了分布式系统的专业深度:沙箱后端选型判据(容器/gVisor/MicroVM 按代码可信度与租户边界取舍);状态外置后 Event Log / Checkpoint / 工作区快照三者不可互相替代,且“Durable Execution ≠ 外部动作恰好执行一次”;AI 网关对 LLM/MCP/Agent 三类流量按不同粒度治理,其中“严格预算需要原子预留而非阈值检查”的数学化分析(余额 100、两笔 80 的并发请求都会通过)是真实的并发工程细节;多 Agent 编排强调“最小充分共享”,共享的是上下文来源而非同一个 Context 窗口。 治理篇(13–16 章) 让自主运行的系统变得可信。可观测性的判据是“请求成功 ≠ 任务成功”;安全章同时把 Agent 当被攻击对象和行为主体来防护(身份是全章最扎实的部分:数字工牌、Token Exchange 权限收敛、On-Behalf-Of 且 Agent 权限 ≤ 用户权限);资产管理把 Prompt/Skill/MCP/Agent 当作运行时依赖做注册与版本治理。第 16 章 Agent Simulation 是全书原创性最强的一章:Agent 行为之所以不可验证,是缺制度前提(角色无外部标准、失败无自然代价、身份不连续),模拟是当下唯一可做的事,本质是“用可靠 Harness 约束不可靠内核”。它甚至给出诚实的统计学提醒:n 次零违规的 95% 置信上界约为 3/n 而非零。 调优篇(17–24 章) 的组织原则是“归因决定方法”:先排除环境故障、再修 Harness、最后才动模型,“把本应由上下文或工具协议解决的问题当成模型不行,是代价最高的一类误判”。主线是数据飞轮:Trace→Trajectory→黄金数据集(输入/轨迹/结果/判据四要素)→Badcase 闭环→受控自进化(模型生成的改进一律是候选变更,须回流构建、过门禁、可回滚)。模型调优章对 SFT/Agentic RL/蒸馏的适用边界、奖励投机的三套机制分离(训练奖励、独立评测、系统硬约束)论述相当严谨,广引 DeepSeek-R1、Tulu 3、FrugalGPT 等外部工作。 总结篇(第 30 章) 是全书思想密度最高的总结。当企业同时运行多 Agent、多框架、多租户时,同样的工程要求在每个应用里被重复且不一致地实现,这本质上是缺一个共享的系统层。Agentic OS 被给出“窄定义 + 三条否定”:为 Agent 任务提供公共运行对象、能力接入、可强制边界与统一证据的系统层,它不持有任务语义、不是又一个框架、不必然改内核。能力下沉有三条判据(复用性 + 强制性或可验证性),九类管理对象(其中 Budget Lease 预算租约最易被忽略),并提出“自治上限由可撤销范围与可证明范围决定,而非模型能力”。 调研报告 的 1906 份问卷给出一个关键发现:已开发或开发中 Agent 的企业占 46%,但真正上生产的仅 18%;有评估体系的企业任务成功率是无评估者的约两倍,卡点不是模型能力,是 Harness 层的工程配套。这与全书立意互为印证。
显示更多
0
11
59
14
转发到社区
今天全网在转两句 AI 金句:盖茨说 AI 能杀"十亿人",黄仁勋说以后孩子不用学数学。 60 万、70 万阅读,赞阅比 0.37% 和 0.74%——全榜垫底。大家只是转情绪,没人真读。 没人转的那两根,才在给 $BTC 定价:30 年美债收益率创 2004 年来最高,Meta 的数据中心债被打到垃圾级 7.5%。 AI 的故事讲到名人喊"十亿人死亡"的时候,信用市场已经在给它的债定价了。 情绪在顶部,利率在门口。 #Bitcoin# #Crypto#
显示更多
《什么是 Transformer》由 Claude Code + Opus 5.5 制作 --- 提示词 --- 帮我用js制作一个视频,主题是:什么是 Transformer 要深入浅出,让高中生也能看得懂,不仅high level说的清楚,也要有细节,包括注意力机制,甚至一些数学概念 你可以用任何工具或者安装工具,可以联网检索 请给我惊喜
显示更多
0
14
76
11
转发到社区