「中科第五纪」共找到 2806 篇相关文章
ASO中苹果App Store发展历史、多个流量入口（基础篇）
App Store发展历史及变化概述，流量入口的调整，展示形式的升级。
Specula在67个开源系统中找到382个深层bug，数月形式化验证缩短到几小时
截至2026年8月19日，Specula已在67个开源系统找出382个bug。它让coding agent自动生成TLA + 模型和正确性不变量，运行检查并复现问题，将数月的形式化验证缩短到几小时，降低了形式化方法使用门槛。
工作流的 Skill 怎么写？从 7 个顶级 Skill 中提炼的模式与最佳实践
文章介绍工作流 Skill 写法，涵盖定义、Frontmatter 写法、5 种核心设计模式、通用写作技巧、模式选择决策树、快速上手模板及参考资源，还给出 7 个 Skill 速查表。
为AI智能体选型、验收、优化提供量化依据：首部评估标准公开征集中
AI智能体成2025年十大战略技术趋势之首，到2028年至少15%日常工作决策将由其自主做出。但企业面临信任鸿沟，缺乏评估规范。首部聚焦AI智能体应用的团体标准公开征集起草单位与起草人，适用于多方，有核心内容与价值。
苹果光速撤回RLAX论文：用了谷歌TPU和阿里Qwen，作者中还有庞若鸣
苹果一篇新论文在 arXiv 公开后匆匆撤稿。该论文揭示基于 TPU 的可扩展 RL 框架 RLAX，用了谷歌 TPU、亚马逊云及阿里 Qwen 模型，还介绍其架构、策略支持等，实验结果亮眼，也分享 Debug 过程。
AI五小时发现MoE新算法，比人类算法快5倍，成本狂降26%
加州大学伯克利分校团队提出ADRS系统研究方法，基于OpenEvolve框架优化算法。以EPLB算法为例，新算法比人类算法快5倍，成本降26%，且Nature也报道过AI创造新算法新闻。
谷歌杀入诺奖神殿，两年三冠五得主！世界TOP3重现贝尔实验室神话
2025年谷歌关联科学家再获诺贝尔物理学奖，使其两年内收获三项诺奖、五位得主。此前2024年已有三位相关科学家获奖。谷歌成继贝尔实验室与IBM后，最具「诺奖基因」的科技企业。
研究发现，GitHub 的“oops commits”中包含了数千条已泄露的秘密信息h
安全研究员 Sharon Brizinov 与 Truffle Security 调查 GitHub 的“oops commits”，揭露数千条遗留秘密信息。团队还发布开源工具 Force Push Scanner 助扫描。研究挑战强制推送提交私有观念，还给出防泄密建议。
「回答一切」吐槽潮中 Sam Altman 确认： 4o 回归，GPT-5 将进行六大改进
OpenAI在Reddit举行GPT - 5问答活动，网友吐槽多。Sam Altman确认GPT - 4o回归，还表示GPT - 5将进行加倍调用速率、保留旧模型选择权等六大改进，同时回应了用户对旧模型、调用限额等方面的质疑。
综述 | 从“说出来”到“脑中算”：Latent Reasoning的范式跃迁与无限可能
大型语言模型用显式思维链推理有局限，潜在思维链（Latent CoT）让推理在连续隐藏状态空间进行。论文梳理该领域，建立框架，介绍方法，探讨可解释性与无限深度推理，指出价值、挑战与未来方向。