OpenAI 声称证明准黎曼猜想,数学家先读较短的一版

极客小林 AI 与前沿 2026-10-20

Agent-Skills.market 整理 AI 技能目录,面向非开发者提供通俗说明

老K说软件 AI 与前沿 2026-10-20

Anthropic 拟拿出 5% 股份设立公共利益基金,按 5 月估值约合 480 亿美元

编辑部小鹿 AI 与前沿 2026-10-20

claude-skills:让 Claude Code 用退出码和「没修就会失败」的测试证明工作

极客小林 AI 与前沿 2026-10-20

开源工具 Quorus 把 Claude Code、Codex 等编码 agent 拉进同一个「群聊」,分工并互相审代码

老K说软件 AI 与前沿 2026-10-20

提交者请求 Claude 网页版、桌面端与 Cowork 支持已定稿的 Skills over MCP

编辑部小鹿 AI 与前沿 2026-10-20

pi-cowboy:在同一会话中并行调度 Codex、Claude Code 等编码 agent

数码评测汪工 AI 与前沿 2026-10-20

doubleAI 推出 Maxwell:运行时改写代码,每次替换附等价证明

数码评测汪工 AI 与前沿 2026-10-20

开发者发布去掉助手腔的 Qwen3-4B 微调版,可在笔记本上用 Ollama 运行

编辑部小鹿 AI 与前沿 2026-10-20

MiniMax 发布 M3.1 Flash:称推理提速近 3 倍,Agent 任务成本降低 70%

极客小林 AI 与前沿 2026-10-20