丘成桐弟子团队两周用470万行Lean代码验证Thurston几何化猜想【AI 早报 2026-10-12】 丘成桐弟子团队两周用470万行Lean代码验证Thurston几何化猜想【AI 早报 2026-10-12】 今日，AI辅助形式化数学迎来里程碑——丘成桐弟子团队联合NVIDIA在两周内新增270万行...
AI 记忆库 94.6 分登顶，竞品说它是用 2 倍 token 买的 Hindsight 以 LongMemEval 94.6% 登顶 agent 记忆榜，4.8 万星。但竞品 Zep 拆台：这个分数是用约 2 倍 token 检索预算换来的。创始人却放话"RAG 快死了"。真相在哪一边？
LIBERO-MAX用22.4万次仿真测试机器人执行中环境变化适应能力【AI 早报 2026-10-12】 LIBERO-MAX用22.4万次仿真测试机器人执行中环境变化适应能力【AI 早报 2026-10-12】 LIBERO-MAX以22.4万次仿真量化机器人执行中的环境适应力，Thurston几何化猜...
TypeSafe旗下Jev模型24天估值暴涨37倍【AI 早报 2026-10-11】 TypeSafe旗下Jev模型24天估值暴涨37倍【AI 早报 2026-10-11】 非文本决策模型 Jev 背后的公司 TypeSafe 今日获得 a16Z 领投的 8.7 亿美元融资，估值达 7...
Jev 完成 8.7 亿美元 A 轮融资，估值 75 亿美元【AI 早报 2026-10-11】 Jev 完成 8.7 亿美元 A 轮融资，估值 75 亿美元【AI 早报 2026-10-11】 今日看点：TypeSafe 的“不做闲聊”模型 Jev 拿到大额融资并引来 OpenAI 快速跟进；A...
GPT-6.1 Sol极速版：吐字提速8倍，输出60美元【AI 早报 2026-10-10】 GPT-6.1 Sol极速版：吐字提速8倍，输出60美元【AI 早报 2026-10-10】 今日看点是 OpenAI 把 Ultrafast 极速模式下放给 GPT-6.1 Sol；资本端 Type...
一个菜单栏 App，管完了你所有 AI 编程助手的模型——8000 星、17 天 magpie 是 yetone 开发的本地 Agent 模型管理工具：菜单栏 App 统一 50+ Agent 的模型配置，本地网关翻译 OpenAI/Anthropic/Gemini 协议，配额用完了自动切账号。8000 星、MIT、全平台。
Photoshop 太贵了，他让 AI 替他写了一个——1.5 万星、12MB 设计师 Robbie Tilton 嫌 Photoshop 太贵，让 Claude 帮他写了个替代品：3 周、12MB、1.5 万星。图层、蒙版、Camera Raw、PSD 导入全都有。更关键的是 .comp 文件是透明结构，AI Agent 能直接读写修图项目。
GPT-6.1 Sol极速版上线：速度提升8倍，输入12美元【AI 早报 2026-10-10】 GPT-6.1 Sol极速版上线：速度提升8倍，输入12美元【AI 早报 2026-10-10】 今日看点：OpenAI 为 GPT-6.1 Sol 上线 Ultrafast 极速模式，速度提升至标准...
免费开放：蚂蚁 560B 大模型不限量，新客送 1000 积分 蚂蚁数科平台 Ling-3.1-flash（560B/25B MoE）输入输出全免费、不限量，新客再送 1000 Credit 可调 deepseek-v4、glm-5.3 等 20+ 模型。注册即领，OpenAI 兼容协议。