AI 每日热点 · 2026-07-11

🔬 AI 新工艺

1. GPT-5.6 Sol Ultra 首次AI生成数学定理证明
OpenAI 最新模型成功证明了悬而未决 45 年的"循环双覆盖猜想"，这是 AI 首次在纯数学领域产生原创性突破。和你熟悉的代码生成不同，这里 AI 需要进行严格的逻辑推理和创新性构造，标志着 AI 从"辅助工具"向"独立研究者"的质变。
https://cdn.openai.com/pdf/04d1d1e4-bc75-476a-97cf-49055cd98d31/cdc_proof.pdf

2. EXXETA 推出本地 AI 协作室架构
支持持久化记忆、审批管控的 AI 工作空间方案，完全本地部署无数据泄露风险。相比云端 AI 助手，这种架构让企业能在保持数据主权的同时实现 AI 协同，特别适合对数据安全要求严格的研发团队。
https://github.com/EXXETA/exxperts

3. LiteLLM 发布员工 AI 使用监控代理
新推出的 litellm-relay 可拦截员工机器上所有 AI 调用并路由到企业 AI 网关，帮助公司发现"影子 AI"使用。这解决了企业 AI 治理的盲区——员工私下使用各种 AI 工具但缺乏统一管控和成本追踪。
https://github.com/LiteLLM-Labs/litellm-relay

---

🛠️ 工具及技巧

1. Frugon：智能 LLM 降本工具
分析你的 LLM 调用历史，识别哪些请求可以用更便宜的模型处理而不影响质量，本地运行且开源。
https://github.com/Rodiun/frugon

2. 2Wild-Vision-Mode：给盲模型加视觉能力
一键为任意 LLM 添加视觉理解，使用 Qwen3.5-0.8B 作为本地视觉服务，支持 Mac MLX 和 PC NVIDIA。
https://github.com/tonyd2wild/2Wild-Vision-Mode

3. Photoshop AI 智能增强插件
Adobe Photoshop 2024+ 的 AI 扩展，提供智能曝光校正、自适应色彩调整和对比度优化。
https://github.com/FuelMagistrateLead/photoshop-ai-smart-enhance

---

⭐ 开源亮点

1. Ponytail：懒人高级开发者 AI Agent
让 AI 代理像资深开发者一样思考"最好的代码是永远不写的代码"，专注于复用和简化。
https://github.com/DietrichGebert/ponytail

2. T3MP3ST：自主红队攻防平台
多 Agent 协同的自动化渗透测试元框架，用于网络安全攻防演练。
https://github.com/elder-plinius/T3MP3ST

3. Open-Connector：AI Agent 万能认证网关
开源的 SaaS 认证网关，通过 SDK、CLI、MCP、HTTP 连接 1000+ 服务提供商到 AI Agent。
https://github.com/oomol-lab/open-connector

---

📰 行业动态

1. Apple 起诉 OpenAI，指控前员工窃取商业机密
2. Boko Haram 恐怖组织被曝使用前沿 AI 技术
3. SpaceX 计划再发射 10 万颗 Starlink 卫星，带宽提升 100 倍

---

🚀 重磅发布

1. Windows Copilot API 被逆向工程，可通过 REST 接口访问 GPT-4 和 GPT-5
2. 小米 MiMo v2.5 推理优化，混合 SWA 效率达到极限
3. Vexp.ai 发布 Horizon：16GB 机器上完全离线的可验证编程环境