搜索
ChatGPT面向在读大学生推出4个月免费Plus优惠（截止10月31日），本文实测两种领取方法，详解SheerID学生身份验证、Plus订阅及激活领取的完整流程，并建议在当前订阅快到期时再激活以避免覆盖已付费月份。
OpenClaw 2.0（v2026.8.1）对比前代v2026.7.1-2的实测显示，新版将LLM请求次数减少38%、工具调用减少35%且未触发上下文压缩，把开源Agent从个人工具推向可长期托管、可协作复盘的工作系统，但命令行安装和工程门槛依然较高，更适合团队受控环境测试。
实测首个AGI级别模型GPT-6，用一张白宫照片在22分钟内生成可自由漫游和调光的三维场景，并完成秦始皇骑北极熊的SVG动画、一句话制作马里奥风格赛车游戏及模仿孙宇晨风格的短文写作，展现其根据简短需求主动补全细节的能力。
清华姚班出身的彭天翼带队，Anthropic旗下Claude仅用11天、消耗60亿Token和1300万行代码，首次端到端形式化证明了困扰数学界350年的费马大定理，并产出29500条可验证中间定理，成为迄今为止最大的Lean证明。
小米凭借覆盖芯片（玄戒O3/O100/D100）、大模型（MiMo-V2.5、Xiaomi-Robotics系列）、澎湃OS 4、11.6亿台IoT设备及三大智能工厂的完整链路，成为全球首个实现"人车家全生态"物理AI落地的科技公司，在IFA 2025上展示了从数字世界走向物理世界的生态整合优势。
扎克伯格在Meta内部启动Project OT项目让AI Agent接管员工工作、压缩团队规模，但数月后数据显示代码变更量增长220%、产品功能仅增36%、安全事故增加40%、员工满意度跌至55%，扎克伯格于5月叫停原定11月的第二轮调整，并承认AI Agent发展速度未达预期。
微软开始倒查员工AI账单，有员工28天内烧掉2.8万美元（约19万元人民币）token，公司因此推行部门预算、个人支出仪表盘等管控措施，并将默认模型切换为OpenAI的GPT-5.6 Sol。
AI数据创企AfterQuery估值达32亿美元，成为Y Combinator史上从创立到成为独角兽速度最快的企业，此前其A轮估值仅为3亿美元。
蚂蚁数科资深技术专家魏长征在 AICon 大会上分享 Harness 工程实践，指出 AI Coding 的关键不是写得更快要让产出可验收，并在 40 万行 Rust 新项目和 60 万行 C++ 存量项目中分别通过内建 Harness 和先补齐文档与 CI 门禁实现质量闭环，后者缺陷率从 20% 以上降至个位数。
OpenAI 的 GPT-6 Astra 在有界素数间隔问题上将上界从 246 推进至 186，并完成 Lean 形式化验证，显示 AI 正从数学解题工具走向研究伙伴。