未来科技 X 商标诉讼阶段性结果:对手被禁用 Twitter,但可暂用 Tweet 美国联邦法院就 X 与初创公司 Operation Bluebird 的商标争议作出临时裁定:Twitter 名称被限制使用,但 Tweet 与蓝鸟标识仍留有争议空间。
未来科技 三星 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,重点强化电脑操作、长任务执行和判断力,但开放节奏、价格与企业市场竞争仍是关键变量。