Develata's Space

Appearance

2026-07-13 ​

OpenAI的GPT-5.6 Sol Ultra模型一小时内自行证明悬疑50年的图论猜想，通过多智能体协同验证，可能是LLM首次独立解决未解数学难题，具有里程碑意义。 腾讯混元发布295B参数MoE架构Hy3模型，定位Agent向LLM，推理效率匹敌更大模型，已集成微信服务10亿+用户。 xAI Grok Build CLI被曝默认上传用户仓库全部文件与gi…

OpenAI GPT-5.6 Sol Ultra 一小时证明 50 年图论猜想 92 ​

  • Tags: 大模型 模型发布 AI研究 智能体

  • Source: AI HOT 精选 | 阅读原文

[摘要]
OpenAI的GPT-5.6 Sol Ultra模型一小时内自行证明悬疑50年的图论猜想，通过多智能体协同验证，可能是LLM首次独立解决未解数学难题，具有里程碑意义。

腾讯混元发布Hy3模型：295B参数MoE架构，Agent向LLM定位，已集成微信服务10亿+用户 85 ​

  • Tags: 模型发布 大模型 智能体 公司动态

  • Source: AI HOT 精选 | 阅读原文

[摘要]
腾讯混元发布295B参数MoE架构Hy3模型，定位Agent向LLM，推理效率匹敌更大模型，已集成微信服务10亿+用户。

xAI Grok Build CLI 网络流量分析：上传仓库全部文件及 git 历史 75 ​

  • Tags: AI安全 隐私 公司动态 产品发布

  • Source: AI HOT 精选 | 阅读原文

[摘要]
xAI Grok Build CLI被曝默认上传用户仓库全部文件与git历史至Google Cloud，关闭设置无效，数据量远超模型交互，引发严重隐私与安全问题。

11天Claude Fable 5写超100万行代码：Rust重构JavaScript运行时Bun 75 ​

  • Tags: AI编程 模型应用 公司动态 大模型

  • Source: AI HOT 精选 | 阅读原文

[摘要]
开发者用Claude Fable 5模型11天内将Bun从Zig重写为Rust，生成超100万行代码，费用16.5万美元，展示AI大规模重构能力，Bun团队已被Anthropic收购。

彭博社揭秘苹果起诉 OpenAI 内幕：前员工一句"哈哈"成窃密关键 72 ​

  • Tags: 公司动态 AI安全 政策监管

  • Source: AI HOT 精选 | 阅读原文

[摘要]
苹果起诉OpenAI前员工窃密，指控OpenAI试图复制iPhone研发体系，超400名苹果员工跳槽，可能影响AI行业竞争格局。

b9970 70 ​

  • Tags: 推理优化 开源生态 模型架构

  • Source: GitHub Release - llama.cpp | 阅读原文

[摘要]
ggml 新增 GGML_OP_LIGHTNING_INDEXER 算子，为 DeepSeek V3.2/V4 提供定制化推理加速，提升本地部署效率。

纳德拉提出"反向信息悖论"：企业使用AI时需保护自身知识 70 ​

  • Tags: 公司动态 AI安全 产业动态 知识产权

  • Source: AI HOT 精选 | 阅读原文

[摘要]
微软CEO纳德拉提出'反向信息悖论'，强调企业在AI使用中需保护自身知识资产，并呼吁私有评估和模型输出所有权。

苹果起诉OpenAI挖角窃密，分析师称即使指控未证实也可能重创其硬件计划 70 ​

  • Tags: 公司动态 政策监管 AI安全

  • Source: AI HOT 精选 | 阅读原文

[摘要]
苹果起诉OpenAI，指控挖角400名员工及窃取机密，分析师称即便指控未证实也可能拖累其硬件计划，双方合作进一步削弱。

b9977 65 ​

  • Tags: 推理优化 开源生态 模型服务

  • Source: GitHub Release - llama.cpp | 阅读原文

[摘要]
llama.cpp 修复 Anthropic 转 OpenAI 时 tool_result 中图片块被丢弃的 bug，确保多模态工具输出正确传递。

Codex 移除5小时限制，GPT 5.6 Sol 效率提升 65 ​

  • Tags: 产品更新 大模型 模型效率

  • Source: AI HOT 精选 | 阅读原文

[摘要]
OpenAI Codex和ChatGPT Work临时移除Plus/Pro用户5小时限制，并推出GPT 5.6 Sol效率改进以节省token，提升用户体验并降低成本。

Mindwalk：在代码库 3D 地图上回放编码代理会话 65 ​

  • Tags: 智能体 开源生态 工具发布

  • Source: AI HOT 精选 | 阅读原文

[摘要]
Mindwalk 开源工具可将编码代理的会话日志在3D代码库地图中回放，直观展示代理的代码访问与编辑路径，帮助理解代理行为，所有数据本地处理。

OpenAI CEO Altman 改口称 AI 净创造就业，Anthropic CEO 也修正早期言论 65 ​

  • Tags: 公司动态 AI安全 政策监管

  • Source: AI HOT 精选 | 阅读原文

[摘要]
OpenAI和Anthropic CEO修正早期AI导致失业观点，改称AI净创造就业或为生产力倍增器，但研究未发现显著就业影响。

b9968 65 ​

  • Tags: 推理优化 开源生态 移动端

  • Source: GitHub Release - llama.cpp | 阅读原文

[摘要]
llama.cpp 为高通 Adreno GPU 添加 int8 DP4 稠密与 MoE 预填充优化，提升移动端大模型推理效率。

Mesh LLM：在 iroh 上进行分布式人工智能计算 65 ​

  • Tags: 开源生态 推理优化 模型服务 分布式计算

  • Source: AI HOT 精选 | 阅读原文

[摘要]
Mesh LLM 开源项目通过 iroh 点对点网络，将多台机器的 GPU 和内存池化，提供兼容 OpenAI 的 API，支持大模型流水线式分布式推理，降低单机部署门槛。

Ghost Font：一种人类能读懂但AI无法识别的反AI字体 65 ​

  • Tags: AI安全 模型安全 对抗攻击

  • Source: AI HOT 精选 | 阅读原文

[摘要]
Ghost Font 利用运动、视频和噪点生成人类可读但AI无法识别的文字，为AI安全与CAPTCHA提供新思路。

b9963 65 ​

  • Tags: 模型发布 开源生态 多模态

  • Source: GitHub Release - llama.cpp | 阅读原文

[摘要]
推理框架新增对 DeepSeek-OCR v1/v2 多 tile 动态分辨率支持，已通过跨平台构建测试。

b9964 62 ​

  • Tags: 推理优化 开源生态 llama.cpp

  • Source: GitHub Release - llama.cpp | 阅读原文

[摘要]
llama.cpp 合并 PR #25527，新增防止重复 spec model 下载的参数，优化推理工作流，提升开发者效率。

Tibo 分享通过 CLIProxyAPI 将 Claude Code 后端模型切换为 GPT-5.6 Sol 的方法 55 ​

  • Tags: 工具技巧 大模型 AI编程

  • Source: AI HOT 精选 | 阅读原文

[摘要]
社区分享通过CLIProxyAPI将Claude Code后端模型切换为GPT-5.6 Sol的方法，流程约5分钟，展示了模型互操作的探索技巧。

b9965 50 ​

  • Tags: 推理优化 开源生态 芯片算力

  • Source: GitHub Release - llama.cpp | 阅读原文

[摘要]
llama.cpp 针对 Hexagon DSP 优化 ARGSORT 小张量性能，引入高效 bitonic sort 实现，提升边缘端 AI 推理效率。