Chinese contentGoogle Genie 4 以研究预览版发布，Ultra 订阅者即将可用
Google 的 Genie 4 出研究预览版了，之前参加内测的朋友终于能开口聊，Ultra 订阅用户很快也能用上。
Latest
Every published item, in order · 9945 items
Oct 28
Oct 27
Chinese contentAxiom 用 AI 智能体集群完成 1.5 万页数学定理的 Lean 形式化证明
Axiom 把 1.5 万页的有限单群分类定理变成了 4,000 万行 Lean 代码，智能体集群 24 天干完，年初这活要几周才能写 1 万行。
Chinese contentAxiom 用 AI 智能体将 15,000 页数学证明形式化为 Lean 代码
100 多位数学家花几十年的证明，AI 智能体 24 天转成 Lean 可验证代码，数学圈真的被改变了。
CoreWeave expands Global AI Network to Singapore, Indonesia, UAE
Training and inference workloads increasingly need to move datasets and checkpoints across continents, and CoreWeave's petabit backbone with hardware-level MACsec encryption means security no longer trades off against throughput. Teams running AI infrastructure in Southeast Asia gain a Singapore and Indonesia point of presence from Q4, giving them a US-grade alternative to regional cloud interconnects when routing traffic between ASEAN and US or Asia-Pacific clusters.
Chinese contentCoreWeave ARIA 新增四种可视化面板，可在对话中实时查看
CoreWeave 的 ARIA 研究智能体加了四种可视化面板，跑实验时能直接在聊天里看参数重要性和运行对比，做调参的人会省不少事。
Chinese contentGPT-6.1 Terra 上线 Databricks，Lakehouse 内可直接调用
Databricks 用户注意了，GPT-6.1 Terra 已经可以直接在 Lakehouse 上用，还能通过 Unity Gateway 统一管控调用，搭智能体方便不少。
Chinese contentStoel Rives 全所选用 Legora 作为法律 AI 平台
美国百强大所 Stoel Rives 挑了 Legora 做全所法律 AI，100 多个律师试点过，诉讼和检索场景都有落地，法律行业可以看看。
Chinese contentJetBrains 向开发者赠送了一款会闪烁的 agent 状态追踪器
JetBrains 寄了个会闪灯的小硬件给开发者，用来远程盯 coding agent 跑没跑完，不用一直盯着屏幕了。
Chinese contentGlasser 推出按次付费数据服务，为 AI 智能体聚合 2000 多个 API 端点
智能体调用付费数据不用再挨家订阅了，Glasser 把 80 多家 API 聚成按次计费，还能比价后再调用，做数据类 Agent 的可以看看。
Tomorrow 08:00, the daily lands in your inboxTelegram channel or email. Same screening as this page, no ads.
Chinese contentQwenWork 上线漏洞巡检工作流：自动汇总 CVE 并生成风险清单
阿里云展示 QwenWork 怎么管漏洞：上传资产清单，自动查 CVE 和 GitHub advisories，每月出一份带来源的风险简报，替代手工对表。
Chinese content蚂蚁灵光 2.0 升级为 personal agent，可打通支付宝管理订阅续费
蚂蚁的灵光 2.0 能连支付宝帮你盯订阅续费、比价显卡，还能接钉钉飞书这些服务，免费，适合想找个不用天天盯的助理的人。
Chinese contentTrenchersAI 智能体新增交易终端阈值条件
做链上交易的朋友看下，TrenchersAI 的 Agent 现在能按你定的买卖量阈值，去 Axiom、GMGN 这些终端筛入场条件。
Chinese contentFPT 与 Foundry Health 在澳大利亚医疗系统中应用 agentic AI
FPT 和 Foundry Health 在澳大利亚把智能体 AI 接进医疗流程，让系统围着患者转，但最终拍板还是医生，案例挺实际。
Chinese contentSmaug Humanizer 发布：把 AI 文本改成你的个人语气
Abacus.AI 开源了 Smaug Humanizer，基于 Gemma，能把 AI 生成的文本改写成更像人写的语气，权重已挂上 Hugging Face 可以直接下载用。
Chinese contentTradingAgents：用多个AI角色模拟交易公司分析股票
一个开源项目，让分析师、多空研究员、交易员这些AI角色先互相辩论再给结论，美股港股A股都能跑，玩量化的人可以试试。
Chinese contentArtificial Analysis 推出 AA-3D Explorer，可在浏览器中对比模型生成的 3D 场景
Artificial Analysis 做了个浏览器工具，选个任务就能并排对比各家模型生成的 3D 场景，还能自己飞进去逛，看看谁家的空间生成更强。
Chinese contentMiniMax M3.1 Flash 上架 SambaCloud，推理速度提升近 3 倍
MiniMax 的 M3.1 Flash 在 SambaNova 云上跑出每秒 200+ tokens，速度比上一代快近 3 倍还便宜 70%，做 Agent 的可以试试。
Chinese contentCoreWeave Forge 成为 W&B SDK 默认端点
做模型训练追踪的朋友注意：W&B SDK 0.31.0 把 CoreWeave Forge 设成默认端点，老 key 不用换，直接能用。
Chinese contentSimBioSys 获 FDA 许可的 TumorSight Risk 可预测乳腺癌复发风险
SimBioSys 用 NVIDIA 技术做了个 FDA 许可的工具，术前就能估算乳腺癌 5 年和 10 年复发风险，对患者太有用了。
Chinese content投资人 Gergely Orosz 独投 Entire，称其为 AI 原生 GitHub
Gergely Orosz 两年来只投了这一家：Entire 做了个 AI 原生版 GitHub，Trails 功能专门给 agent 发的 PR 重新设计了流程。
Chinese contentGoogle AI Quests 第3关上线：模拟脑神经通路映射研究
Google 和斯坦福搞了个教学关卡，让中学生扮演科学家去绘制大脑神经通路，顺便理解人在 AI 开发里的作用，适合老师拿去用。
Chinese contentCline Desktop v0.0.49 更新：接入 Ollama 和 LM Studio 本地模型
Cline 桌面版新版本能直接接 Ollama 和 LM Studio 跑本地模型了，还会根据你的硬件推荐能带的动的模型，本地写代码不用付 API 费。
Chinese contentfal 上线 FLUX 3 Image Klein LoRA 训练功能
现在可以在 fal 上训练自己的 FLUX 3 Klein LoRA 了，一次还能叠 3 个，画构图也能用边界框控制，想定制风格的可以试试。
Chinese contentCodeRabbit 加入 OpenAI Daybreak Defense，Secure 改用 GPT-6.1 Sol 与 GPT Cyber 模型
CodeRabbit 接入 OpenAI 的 GPT-6.1 Sol 和 GPT Cyber 模型做代码安全扫描，Deep Scan 11 月 8 日前免费，可以拿自己的仓库跑一遍试试。
Google launches Gemini API CLI for agent workflows
The stateless design flips the usual pattern: instead of another agent, Google ships a tool your current agent calls, keeping context ownership with Claude Code or Cursor. Developers building multi-tool agent pipelines can add Gemini's multimodal capabilities—video, speech, PDF analysis—without leaving their existing setup. It competes less with coding agents and more with direct SDK integrations, offering a uniform CLI interface any agent can invoke.
SKY-001 turns text and sketches into CAD build sequences
Planning visually instead of chaining LLM calls is what gives SKY-001 both its speed advantage and geometrically valid part construction, a design choice other generative CAD tools may now copy. Engineers who sketch early concepts can jump straight into Autodesk Fusion instead of modelling from scratch. Speed comparisons against GPT-6 Astra give buyers a concrete benchmark for evaluating this emerging category.
Chinese contentRiverside 发布 Riverside Agents：4 个 AI 智能体接管播客制作流程
Riverside 出了 4 个播客智能体，录完音自动帮你挑精彩片段、写文案、排发布，做播客的可以试试省多少事。
Chinese contentMeta 在日本推出个人智能体 Muse，高管称其不带广告
Meta 把个人智能体 Muse 放在日本首发，还承诺不放广告，这和它一贯的广告模式差别很大，可以看看它打算怎么赚钱。
Databricks Webinar on LTAP Architecture for Agent Memory
LTAP points to a pattern where agent memory lives in one transactional store instead of being piped into a separate analytics layer, which cuts sync logic and simplifies access control. Builders designing agent state backends can use the session to evaluate whether a Postgres-based approach fits their stack. Compare it with bespoke vector-plus-cache setups that require dedicated sync pipelines.
Chinese content腾讯云 Enterprise AI Suite 全球发布：私有云里跑智能体产线
腾讯云把 Agent 从开发到上线的一整套工具搬进企业自己的机房，数据不出内网也能跑生产级智能体，搞私有化部署的可以看看。
Chinese contentTogether Post-Training 支持多 LoRA 实验共享同一 GPU 容量
Together 的 post-training 平台现在能让多个 LoRA 实验共用一块 GPU，想试更多微调想法不用再重复开环境，做 post-training 的可以看看。
Chinese contentColareAI 融资 250 万美元，把硬件工程实操测试搬进浏览器
ColareAI 拿了 250 万美元 pre-seed，让候选人直接在浏览器里做 CAD、PCB 任务再打分，招硬件工程师的公司可以看看这套流程。
Nous Research Adds Advanced Delegation Modes to Hermes Agent
Per-subagent model routing turns a single orchestrator run into a cost-and-capability optimisation: cheap models for routine subtasks, stronger ones for hard reasoning. Builders running multi-agent workflows can try it to cut token spend without giving up quality on the steps that need it. It applies to Hermes Agent deployments generally, with no region-specific pricing announced.
Oct 26
Chinese contentLegora 推出 Intake 功能，自动补全法律修改请求的背景信息
法律 AI 公司 Legora 出了个 Intake 功能，律师提修改需求时它会先追问缺的背景，再按团队流程出初稿，最终决定权还在律师手里。
Only the latest 2000 items are listed; for older ones see the daily archive