AnuNeko 宣布永久停运，把 AI 陪伴赛道最脆弱的一面暴露了出来。这个由蔡浩宇创立的 Anuttacon 推出的产品上线还不满一年，原本主打情感陪伴，却将在 7 月 29 日结束服务。官方给出的原因是团队...

月之暗面再获约35亿美元融资，把国产大模型竞争重新推回一个更现实的问题：模型能力当然重要，但真正决定下一阶段胜负的，可能是资金、算力、开源生态和商业入口能否同时跟上。Kimi K3已经用2.8...

4B参数的Arko-T在12项指标中拿下8项第一，并把自然语言直接转换为可编辑的CAD设计程序。AI模型竞争正在从参数规模转向结构化输出、推理成本和真实工作流。

Claude 快速发现硬件钱包潜伏多年的漏洞，OpenAI 数学证明与 Lean 漏洞争议、Grok 视频分析和 AI 法律误用共同提示：AI 能力越强，越需要可验证流程、权限边界与人类复核。

这一天的 AI 行业动态有一个共同指向：AI 大模型不再只围绕参数、榜单和演示视频竞争，而是在代码开发、内容生产、办公入口、终端设备、商业化结算和安全治理里寻找真实落点。商汤科技开源8B轻...

从人机网球、数学形式化验证到AI定制癌症疫苗和本地工作站，最新资讯显示AI竞争正在从展示模型能力转向完成可验证的真实任务。