最强Fable 5.2震撼发布!费马大定理30小时形式化,全面碾压Opus 5.5
Claude Fable 5.2 直接登顶 AA Intelligence Index v5,拿下 65 分,全榜第一!
给豆包派活别再问错哪了:塞一张前置验收单,一次交差不返工
不是AI听不懂人话,是你派活时没给它立规矩。
QQ 宠物靠 AI 在手机复活,可我更想要一只桌宠企鹅
下线 8 年的 QQ 宠物,这几天居然在手机 QQ 上官宣回归了。更重要的是:在保留喂食、洗澡、打工等经典老玩法的同时,腾讯还给这些萌物塞进了大模型。
8000字,Codex逆袭ChatGPT抓马史首次大公开
Every CEO Dan Shipper花费数月,采访了OpenAI联合创始人Greg Brockman及六位Codex核心成员,写了一篇8000多字的长文《How Codex Happened》。
Axure 被 AI 淘汰了吗?我用它搭了一套坦克对战状态机
当AI让原型生成变得唾手可得,Axure似乎被贴上了过时标签。但一位产品经理用不到1M的纯原生控件和Emoji,做出了可在线玩的坦克对战原型。本文深度拆解伪事件模拟、结界优化、避免共振等8个原创技术点,证明Axure的真正价值在于不写代码也能组织复杂逻辑。
ChatGPT 正在偷偷给你画像,用这段提示词让它交出来
前段时间,一篇被顶级会议 ACM Web Conference 2026 接收的论文《The Algorithmic Self-Portrait: Deconstructing Memory in ChatGPT》利用 GDPR 赋予用户的数据访问权,从 80 名真实用户那里获得了他们完整的 ChatGPT 对话记录,以及系统为他们存储的全部记忆,包括 1058 段对话、22971 轮交互、2050 条记忆条目。
对话 Jev 创始人:RLHF 走了大弯路,下一个时代不会属于 Claude Code
在 OpenAI 工作时,Diogo Almeida 就困惑于聊天模型为何难以成为软件的底层组件。如今他以 Typesafe CEO 身份推出新模型 Jev,试图让软件直接调用决策、概率与评分,把智能嵌进程序的条件判断和执行流程。
RAG这次真死了!SAG2才是本地知识库的神,又快又准又便宜~
SAG2 在 51 万份企业文档上建库 8 分 32 秒,Recall@10 达 81.10%,比 HippoRAG 2 高 15.55 个百分点,体积只有 10 几 MB。
Jev 决策模型有什么用
上个月,最大的 AI 新闻不是 GPT 或 Claude 模型的新版本,而是一家名不见经传的公司 TypeSafe AI[1] 发布了一种新类型的模型 Jev[2]。这种新模型跟以前的模型截然不同,叫做“决策模型”。
招 Agent 工程师,为什么张口就是 LangChain?
招聘 Agent 工程师,JD 第一行常写「熟悉 LangChain」。LangChain 最早在 2022 年 10 月开源,这个时间点正好赶上大模型应用爆发的前夜。