「等变局部评分机」共找到 8082 篇相关文章
GPT-5暴写「屎山代码」！14个Prompt，看穿GPT-1到GPT-5七年智商进化史
GPT-5发布半月表现未达预期，Peter Gostev对比GPT-4和GPT-5基准测试。OpenAI公开2018 - 2025 GPT进展网址，通过14个Prompt展示GPT-1到GPT-5在写诗、写代码、解题、解答专业与健康问题等方面的实力进化。
AI Coding 产品的陷阱：有 PMF 但还没有做到 BMPF
AI Coding 产品增长迅速，如 Lovable 预计年底 ARR 达 2.5 亿美金。但也暴露出盈利难题，多数产品利润为负。解决办法要么自建模型，但成本高；要么等大模型成本下降，却不太可行。AI Coding 产品或未实现 BMPF。
模仿人类推理修正过程，阶跃星辰提出形式化证明新范式 | 开源
阶跃星辰发布并开源形式化定理证明大模型 StepFun-Prover-Preview-7B 和 32B。采用两阶段监督微调、工具集成强化学习及 RL 与 SFT 迭代循环优化等策略，在基准测试集表现佳，还展示多个证明案例。
关于CUTLASS Grouped GEMM中Alignment参数的分析
文章围绕CUTLASS Grouped GEMM的Alignment参数展开。介绍其含义与自然对齐有关，既代表访问粒度也指明地址对齐要求。针对CUTLASS 2.x和3.x API分别阐述设置Alignment的方法及原理，还给出编译期推导代码示例。
LangChain CEO 再聊 Agent：chat 模式只是起点，Ambient Agents 才是未来
LangChain CEO Harrison Chase 和企业 Agent 平台 Dust 的 CEO Stanislas Polu 在播客中探讨 Agent 发展。他们认为 Agent 是光谱，Agentic 程度更重要；chat 模式只是起点，Ambient Agents 才是未来；还谈及多智能体系统及 AI 创业等话题。
拥抱 AGI 时代的中间层⼒量：AI 中间件的机遇与挑战
文章指出大模型发展呈能力跃迁、生态开放趋势，推动AI应用从聊天机器人向组织级智能体演进。AI中间件可解决应用工程化挑战，但面临上下文管理、记忆更新等难题，短期助力应用规模化，长期或成组织智能“神经中枢”。
超越DeepSeek-R1，数学形式化准确率飙升至84% | 字节&南大开源
字节跳动Seed团队与南京大学联合发布CriticLean框架，将数学自然语言到Lean 4代码的形式化准确率从38%提升至84%。该框架创新性地将评估模型置于核心，解决语义对齐等问题，还构建了相关基准测试和数据集。
老黄自曝刚报废50亿美元显卡！亲自审查4.2万名员工薪酬，100%都加薪
黄仁勋在采访中透露报废50亿美元显卡，坚持先下单先得分配H100芯片。他亲自审查员工薪酬，称100%会加薪。认为AI是伟大“技术均衡器”，天价AI合同合理，还谈及芯片保值、中美AI竞赛等话题。
4B小模型数学推理首超Claude 4，700步RL训练逼近235B性能 | 港大&字节Seed&复旦
香港大学NLP团队联合字节跳动Seed、复旦大学发布Polaris强化学习训练配方，让4B模型数学推理能力超商业大模型，且Polaris-4B可在消费级显卡部署，相关内容已全部开源。
Devin 教你做 Agent：把 AI 当做需要指导的初级开发者
Cognition团队发布编程智能体实践指南，以把AI当初级开发者的心智模型为基础。介绍与智能体沟通原则及融入日常工作流的场景，还分初、中、高级给出任务处理方法，也提及局限性、使用建议和安全管理等内容。