近期一篇综述文章关注循环深度Transformer（recurrent-depth transformers）的进展。这类架构在多个前向传递中重复使用相同的Transformer模块，从而在保持计算量不变的前提下显著降低参数存储开销。文章进一步探讨了...

ZeroModels 是一个完全基于 Keras 3 构建的预训练模型集合，覆盖图像分类、目标检测、分割、单目深度估计、特征提取、视觉语言模型和语音识别等任务。该项目最大的亮点在于同一套代码可原生运行在 JAX、PyTorch 和 T...

Anthropic宣布其AI系统Claude在Lean证明助手中仅用11天，就完成了费马大定理的首个完整计算机可验证证明。该定理由Andrew Wiles于1995年首次给出手工证明，其形式化验证长期被视为极其复杂的工作。Claude生成的证明...

近日，一项研究展示了由开放权重大语言模型驱动的自适应计算机蠕虫“Adaptive Agentic Worms”。这类蠕虫不再依赖固定脚本，而是将LLM作为智能体，根据目标环境动态生成针对特定系统的攻击指令，并利用被攻陷的机器继...

据 The Information 援引知情人士消息，OpenAI 近几个月已开始向部分大型客户提供一种新的付费选项：只有当 AI 实际完成任务时才需付费。这标志着 AI 服务定价正从传统的按调用量或订阅制，向“按结果付费”模式演进。...

印度信实工业旗下数字平台公司Jio Platforms已获得印度证券交易委员会（SEBI）批准，推进其首次公开募股，预计募资规模约40亿美元，有望成为印度资本市场历史上规模最大的IPO。Jio Platforms拥有印度最大电信运营商R...

谷歌正式推出Gemini 3.5 Transcribe，这是面向智能语音交互场景的新一代语音转文本模型。它能够将原始音频直接转换为准确、经过润色并完成格式化的文本，减少用户在后期整理和编辑上的工作量。该模型现已在Gemini AP...

据 The Information 援引知情人士消息，英伟达正洽谈参与 AI 搜索公司 Perplexity 的新一轮股权融资，本轮投后估值可能超过 300 亿美元。除资金支持外，英伟达还曾考虑与 Perplexity 达成技术许可合作，并吸纳其部分...