➡️
继续阅读
-
姚班校友主导，Claude攻克费马大定理首个完整形式化证明
Anthropic宣布Claude用11天完成费马大定理的端到端形式化证明，生成约1300万行Lean代码和超3万个中间定理，规模超Mathlib五倍。通...
-
大模型不只是预测下一个词：RLVR让它自己跟自己下棋
大模型不再仅依赖预测下一个词，通过RLVR强化学习，它能自主探索解题路径，从模仿者转变为探索者。预训练如同背诵课文，而RLVR则类似自我解题，借助可验证奖...
-
在 Medium 发文章：用 AI 做高质量的英文内容营销
本文介绍如何利用AI在Medium平台发布英文深度文章以进行内容营销。内容包括连接Medium账号、授权AI撰写文章、生成配图并发布，以及查看阅读数据。文...
-
AI如何改变补丁管理及开发者需了解的暴露管理知识
AI正在改变漏洞管理方式，但仅按严重性评分修复并不足够。文章强调应从传统漏洞修补转向暴露管理，结合代码可达性、依赖树和SBOM等上下文评估真实风险。开发者...
-
并行策略总览：六个维度各切什么、怎么通信
本文介绍大模型并行训练的核心概念，将DP、TP、SP、PP、EP、CP六种并行方式按切分维度、显存减少、通信开销和等待关系列表对比。并行本质是切分模型并引...
-
一台 3D 打印机，为什么藏着 GPT-6 最大的野心？｜硬哲学
GPT-6 Astra宣传片展示了从画黄色圆圈到生成3D模型，最终通过拓竹P1S打印机变成实物的过程，体现AI从屏幕内容生成进入现实操作。文章认为GUI是...
