未来科技 三星 Exynos 2700 工程样片跑分曝光:10 核 CPU、或面向 Galaxy S27 系列 三星 Exynos 2700 工程样片跑分与核心配置被曝光,显示其采用 10 核 CPU 设计,并可能用于 Galaxy S27 系列部分机型。
人工智能 Claude 形式化费马大定理:1300万行 Lean 代码背后的 AI 协作实验 Anthropic 称 Claude 完成费马大定理端到端形式化证明,Lean 可完整检查,项目展现多 Agent 在数学形式化中的潜力。
人工智能 GPT-6 Astra发布:OpenAI把Agent竞争推向长任务执行 OpenAI发布GPT-6 Astra,重点强化电脑操作、长任务执行和判断力,但开放节奏、价格与企业市场竞争仍是关键变量。
未来科技 苹果第二代 MacBook Neo 曝光:或在 2027 年升级 A19 Pro 与 12GB 内存 据爆料,苹果计划在 2027 年推出第二代 MacBook Neo,重点升级 A19 Pro 芯片、12GB 统一内存,并可能带来更多配色。
人工智能 谷歌 Lyria 3.5 接入 Gemini:可生成数分钟完整歌曲,面向开发者开放 谷歌将音乐生成模型 Lyria 3.5 接入 Gemini 应用与 API,可生成数分钟完整歌曲,并支持开发者调用。