「工程能力」共找到 3798 篇相关文章
模仿人类推理修正过程，阶跃星辰提出形式化证明新范式 | 开源
阶跃星辰发布并开源形式化定理证明大模型 StepFun-Prover-Preview-7B 和 32B。采用两阶段监督微调、工具集成强化学习及 RL 与 SFT 迭代循环优化等策略，在基准测试集表现佳，还展示多个证明案例。
一觉醒来，GitHub没了？CEO辞职，微软接管，开发者天塌了
GitHub CEO Thomas Dohmke宣布辞职，GitHub将不再独立运营，整体并入微软新成立的CoreAI工程集团。微软不再为其找新CEO，由多位微软高管分管。GitHub将成微软AI时代‘武器库’。
Cloudflare 选择 PostgreSQL 扩展而不是专用的 OLAP 来进行 100K 行 / 秒的分析
Cloudflare工程团队解释选TimescaleDB而非ClickHouse为内部平台增分析报告功能的原因，强调存储分析与配置数据简单性和专用OLAP系统性能的“惊人平衡”，介绍了项目发展及TimescaleDB优势。
实测GPT-5：写作坠入谷底，编程一骑绝尘。
文章记录了GPT - 5的发布情况，介绍其系统构成、减少事实幻觉和谄媚行为等改进，也提到跑分、性格设置等。实测发现写作和情商不如GPT - 4.5，但编程能力强，还感慨AI发展之快。
普通人也能用得上的 Context Engineering 技巧
现在讨论Context Engineering大多关注高级AI Agent，对普通用户实用性不强。本文总结普通人用AI时的上下文工程技巧，如用更少、更准确的上下文控制输出，从精简和准确两方面展开阐述。
别听模型厂商的，Prompt 不是功能，是 bug
风险投资Conviction创始人Sarah Guo分享2025年AI创业观察，指出从用户体验看，prompt是缺陷非功能；传统低技术行业正快速拥抱AI；还分析了AI能力进展、应用案例及投资机会等。
在 BetterYeah，我看到了一种新的企业生产力范式
2025 WAIC聚焦Agent，C端个人Agent产品热闹，企业级市场落地难。BetterYeah AI获阿里云亿级融资，其解决企业难题，构建“数字同事”，即将发布的Nova Agent开启“AI数字团队”新范式。
手机AGI助手还有多远？移动智能体复合长程任务测试基准与调度系统发布
上海交大与澜舟科技研究发现现有移动端GUI智能体处理复合长程任务能力不足，提出UI - Nexus测试基准和Agent - NEXUS调度系统，经实验能提升任务完成率，也为AI原生操作系统建立雏形。
附部署代码｜云数据库RDS 全托管 Supabase服务：小白轻松搞定开发AI应用！
本文展示借助 RDS Supabase 搭建 AI 应用的全流程，对比传统开发，其在效率、成本、扩展性上优势显著。介绍 Supabase 特性、适用场景、核心能力，还给出基于它开发简易 Agentic RAG 应用的步骤。
奥特曼首次透露GPT-5上手体验：在擅长领域感到无力，往后一靠感到眩晕
OpenAI掌门人奥特曼在深度访谈中透露上手GPT - 5的体验，称在擅长领域感到无力、眩晕。他还抛出孩子不会比AI聪明、AI CEO或接管OpenAI等观点，探讨AI竞争及硬件适配问题。