Google Deepmind 的 AlphaProof Nexus 独立解决数十个未解决数学难题并获同行评审
一句话结论 Google Deepmind 的 AlphaProof Nexus 系统独立解决多个未解决数学难题,其研究成果已通过同行评审发表。 关键要点 AlphaProof Nexus 解决了 353 个未解决的 Erdős 问题中的 9 个,其中两个问题已悬置 56 年。 该系统证明了 OEI
AI 让更多可能成为现实
从大模型发布、AI Agent、多模态生成到 RAG 与开发实战,孤本网持续追踪 OpenAI、Anthropic、Google DeepMind、微软、Meta、英伟达等厂商动态,以及 DeepSeek、Claude、Gemini、Llama、Qwen、Kimi、豆包等模型的能力边界与真实落地场景。
阅读全文按厂商、模型、技术方向与内容领域聚类的文章索引,点击词条查看相关文章。
一句话结论 Google Deepmind 的 AlphaProof Nexus 系统独立解决多个未解决数学难题,其研究成果已通过同行评审发表。 关键要点 AlphaProof Nexus 解决了 353 个未解决的 Erdős 问题中的 9 个,其中两个问题已悬置 56 年。 该系统证明了 OEI
一句话结论 多款新工具通过 MCP 协议联动 AI 或底层优化,显著提升了 macOS 与 Android 系统的管理效率及移动端游戏兼容性。 关键要点 Vitals 支持通过 MCP 协议连接 Claude、Codex、Cursor 等 AI 工具,允许用户以自然语言查询 macOS 系统状态,买
一句话结论 Artifactory 自托管部署的三大高危漏洞正被利用,攻击者可在五分钟内绕过身份验证获取持久化管理员权限,严重威胁软件供应链安全。 关键要点 安全公司 Wiz.io 披露 CVE-2026-42018(高危)、CVE-2026-42016(高危)、CVE-2026-82329(严重)
一句话结论 百度世界2026将于11月12日在北京国家会议中心二期举行,大会核心聚焦AI驱动的组织重构与全栈技术落地。 关键要点 大会官方确定于2026年11月12日举办,地点为北京国家会议中心二期,官网售票通道已开启。 大会规模包含1场主论坛、12场分论坛、30多场AI公开课及6000平方米展区。
一句话结论 唯品会上线自研 AI 助手“AI 小唯”并灰度迭代商品对比功能,以 AI 技术驱动运营效率与增长引擎升级。 关键要点 唯品会自研 AI 助手“AI 小唯”近期上线,由唯品会大模型团队开发,支持文字与语音对话。 “AI 小唯”提供找商品、查活动、问优惠等服务能力,并灰度迭代“AI 商品对比
一句话结论 奥比中光因北美监管收紧与赛道内卷,裁撤割草机器人ODM整机代工业务,全面收缩至上游视觉感知模组领域。 关键要点 奥比中光已于9月中旬内部决定砍掉割草机器人ODM业务,但面向户外机器人的视觉感知模组产品线正常推进,不受影响。 该项目曾获得上海某客户订单,但实际累计出货仅数千台,远低于公司预