标签:论文

Claude水印已被破解,斩获11k Star,但会被拒绝安装

Claude 的水印政策在前些天引起了轩然大波。 我们曾报道过,包括 OpenAI、Anthropic、Google、Meta、Microsoft 在内的一大批公司,签署了欧盟《AI 生成内容...

OpenBMB 发布 MathForm-8B:将自然语言数学题转为 Lean 4 形式化证明

OpenBMB 团队近日发布 MathForm-8B,一个专门用于数学自动形式化的 8B 参数模型,能够将自然语言描述的数学命题转换为 Lean 4 形式化代码。该模型基于 Qwen3-...

研究:Claude与GPT智能体独立科研失败,论文遭拒

普林斯顿大学与英国AI安全研究所联合发布的一项新研究,对Anthropic和OpenAI宣称的“自主AI研究已触手可及”提出了直接反驳。在这项名为“影子评估”的实验中,使...

智谱发布GLM-5.3:参数仅Kimi K3三分之一,编码基准比肩前沿

智谱AI(Z.ai)今日宣布推出新一代模型GLM-5.3,目前仅在其编码计划中提供,API版本即将上线,并计划于两周后在Hugging Face上开放权重。据Interconnects报道...

DeepSeek Harness开发者预览版公测并开源,GitHub星数3小时破3万

8月14日,DeepSeek Harness开发者预览版(v0.1)正式公测并同步开源,GitHub仓库星数半小时内突破一万,截至发稿已超3万。这一动作紧接在DeepSeek官方宣布V4-...

Writer发布基于GLM-5.2的新AI模型,降低部署成本

AI行业正面临日益高涨的部署成本压力,企业用户对Token开支愈发敏感。在此背景下,面向营销人员的AI工具与智能体提供商Writer于周四发布新旗舰模型Palmyra X6...

SSI首款模型曝光:基于TTT的小型推理引擎,规模将扩10倍

前OpenAI首席科学家Ilya Sutskever创办的AI公司SSI(Safe Superintelligence)的首个模型细节于近日曝光。据X平台网友“三只草莓”爆料,SSI正在探索一种基于测...

张一鸣定调:字节大模型不依赖蒸馏,自研优先

字节跳动创始人张一鸣罕见打破沉默,为大模型研发定下新基调。据《The Information》8月5日报道,在7月举行的Seed全员会上,张一鸣明确要求,即使Seed暂时落...

行业“教父”“教母”齐发声:辛顿、李飞飞、吴恩达呼吁保持 AI 一定程度的开放

8 月 13 日消息,据外媒 TechCrunch 今天(13 日)报道,诺贝尔奖得主杰弗里 · 辛顿、World Labs 联合创始人兼 CEO 李飞飞及 Coursera 联合创始人吴恩达近日...

中国最大端侧模型独角兽,面壁智能启动IPO

今日,中国最大端侧大模型独角兽面壁智能首次向北京证监局提交了上市辅导备案报告,正式启动A股上市辅导,中信证券为其辅导机构。 从备案信息来看,面壁智...