Gemini 4 Carbon 59 分登顶 AA 智能指数，17 项测试拿 15 项第一【AI 早报 2026-10-30】 Gemini 4 Carbon 59 分登顶 AA 智能指数，17 项测试拿 15 项第一【AI 早报 2026-10-30】 今日看点：谷歌 Gemini 4 Carbon 以 59 分刷新 Art...
Axiom Math 用数十个 Agent 耗时 24 天完成巨型定理形式化，生成 431【AI 早报 2026-10-29】 Axiom Math 用数十个 Agent 耗时 24 天完成巨型定理形式化，生成 431【AI 早报 2026-10-29】 今日看点：一群 AI Agent 用 24 天把人类耗时数十年、约 1....
Kimi K3.1 Pro 支持 100M 上下文，Terminal-Bench 跑分超 【AI 早报 2026-10-29】 Kimi K3.1 Pro 支持 100M 上下文，Terminal-Bench 跑分超 【AI 早报 2026-10-29】 今日共 20 条：Kimi K3.1 Pro 将上下文提升到 100M，...
Photoshop 太贵，他干脆自己写了一个——还是能跟 AI 协作的那种 前 Apple Vision Pro 设计师嫌 Photoshop 太贵，自己写了免费开源的 Compositor：1.8 万星、macOS 原生、功能完整，还能跟 AI 协作（.comp 格式让 AI 直接构建编辑项目）。
手机遥控电脑，腾讯 WorkBuddy 把 Agent 的"手"交到了你手里 腾讯 WorkBuddy 上线「远程控制」：手机一键连电脑，实时看桌面+直接接管，远程操作不消耗 Token。像看直播一样看 Agent 干活，手指点哪电脑点哪。
GPT-6.1 Terra 输入价 1 美元/百万 token，仅为旗舰 1/10【AI 早报 2026-10-28】 GPT-6.1 Terra 输入价 1 美元/百万 token，仅为旗舰 1/10【AI 早报 2026-10-28】 OpenAI 把新一代 GPT-6.1 Terra 的输入价格压到每百万 tok...
OpenAI 模型推翻近 30 年 ETH 假设，次日完成 Lean 形式化【AI 早报 2026-10-27】 OpenAI 模型推翻近 30 年 ETH 假设，次日完成 Lean 形式化【AI 早报 2026-10-27】 今日最重的内容集中在 OpenAI：模型在 10 月 16 日生成对指数时间假设的反证...
每天 10 亿 token 免费，Kimi-K3 旗舰也白给——七牛云这波 1024 节真大方 七牛云 1024 节：Conatus Free 认证后每天 1 亿 token 免费，充 100 块押金升到每天 10 亿（可提现）。Kimi-K3 旗舰也免费！1M 上下文、128K 输出。活动到 11.30。