跳到正文
7月26日周日
  1. The Decoder:AI News59

    AI 编程辅导悖论加剧:69% 的计算机教育者认为 AI 已改变软件开发所需技能

    一项由 ACM 工作组对 49 个国家 700 多名计算机教育者进行的调查显示,69% 的受访者认为 AI 已改变软件开发所需技能。68% 的受访者调整了评估方式,增加了监考线下考试、口试、代码答辩和项目制考核。然而,48% 的受访者表示缺乏将 AI 融入课程的最佳实践范例,74% 希望获得有效教学方法的培训。

  2. meng shao39

    通过提示词指挥AI Agent而不直接读写代码,本质与工程经理管理人类下属无异。当每个开发者都成为管理多个AI Agent的工程经理时,质量保障仍需依靠管理与流程,而非幻想AI不犯错。

    引用Kenton Varda@KentonVarda

    Building software by prompting agents without ever reading or editing the code directly isn't actually a new thing. It's just called being an engineering *manager*. We have decades of experience about how to be effective as engineering managers. It is a different skill, though.

  3. MarkTechPost61

    TileLang:用高级Python DSL通过TVM设计高性能GPU内核——从Tensor-Core GEMM到FlashAttention

    TileLang作为基于TVM的Python领域特定语言,可设计并编译面向性能的GPU内核。教程逐步实现向量加法、分块Tensor-Core矩阵乘法、融合GEMM后处理、行级Softmax及FlashAttention,并对比PyTorch和cuBLAS基线。通过自动调优识别架构相关内核配置,TileLang管理线程映射、内存布局、同步及底层CUDA指令生成。

7月25日周六
  1. 数字生命卡兹克42

    开发者卡兹克宣布大幅重构文档和规则,认为过多规则会降低模型推理效率和效果。新思路不再用规则约束模型一次写对,而是前期给模型更多思考空间,把限制加在测试侧,用测试来约束一切。

    引用数字生命卡兹克@Khazix0918

    时代变了,过去那么多的规则、约束、文档,感觉现在只会让模型的推理效率和效果变得越来越垃圾,Anthropic说的确实对。 今天决定直接大幅重构所有的文档和规则,清空重写。。。 从此思路不再是用规则约束模型指望它一次写对,而是在前期交给模型更多的思考空间更多的注意力,把更多的限制,加在测试侧,用测试来限制一切。 文档和规则,真的要退环境了。

  2. Noah Zweben33

    Opus 5 在 3D 破坏物理模拟任务中完胜 Fable 5,且成本仅为后者一半(Opus 5 花费 $1.40,Fable 5 花费 $2.82)。测试要求四个模型用 HTML 构建龙卷风、拆楼球和卡车压垮桥梁三个真实物理场景,Opus 5 全部正确完成,而 Fable 5 的龙卷风几乎吸不起物体、建筑在球接触前自行倒塌。Kimi K3 和 GPT 5.6 均未通过测试。

    引用atomic.chat@atomic_chat_hq

    Opus 5 crushed Fable 5 at 3D destruction physics for 2x cheaper! We gave four models the same task: build three self-contained HTML scenes with real physics Prompts: - A tornado that sucks in a whole field - A wrecking ball taking down an apartment block - An overloaded truck collapsing a truss bridge Outputs: - Opus 5: 55.9K tokens, $1.40 - Fable 5: 55.1K tokens, $2.82 - Kimi K3: 35.7K tokens, $0.55 - GPT 5.6: 20.1K tokens, $0.31 Opus got all three right unlike the other models. Houses fly up the funnel and out the top, the wall breaks where the ball hits and the rubble piles up, the bridge drops the truck into the river. Fable had almost nothing on the ground for the tornado to pick up, its building collapsed on its own before the ball even touched it and its bridge blew into sticks all at once. GPT is the cheapest here but its ball never reached the building at all and its bridge fell apart in a way nothing falls apart in real life. Kimi K3, the new Chinese frontier model, ended up in the same place as GPT

  3. Elon Musk43

    xAI 发布 Grok Build v0.2.112 更新,新增 `/tutorial` 引导教程、搜索工具日期与域名覆盖设置,以及实时工作流进度追踪与一键失败恢复。该版本还修复了文件附件、Linux 语音听写及 MCP 工具显示等多项问题,Web 搜索默认模型切换为 grok-4.5。

    引用X Freeze@XFreeze

    Grok Build new update brings a guided /tutorial tour, smarter search tool overrides, live workflow progress with one-click failed-run resume, and a wide reliability pass across workflows, voice, and tools Release Notes: v0.2.112 Breaking Changes: • CLI version policy now has separate soft update floors/ceilings and hard startup requirements Features: • New /tutorial slash command opens an opt-in nine-topic onboarding tour of Grok. • New tool_overrides option lets you set date cutoffs and domain allowlists for the agent's built-in search tools. • New toolOverrides option lets you set date cutoffs and domain allowlists for the agent's built-in search tools. • New config options let you add query parameters or environment-backed headers to custom model providers and control which variables reach shell tools. • Terminal and environment fixes are now consolidated under the /doctor command with clearer guidance. • Marketplace add now rejects non-git URLs at add time instead of failing later. • Slash commands can now show optional bracket tags (e.g. [new]) via config or remote settings. • Queued prompts now offer an [edit] mouse button alongside Send now and cancel. • Voice shortcut toggle in settings can disable the Ctrl+Space/F8 keybind without disabling voice entirely. • Image edit can now use a remotely configured model slug instead of the hardcoded default. • `grok doctor fix` can now repair common tmux clipboard and passthrough problems. • Per-provider auth helpers now work on Windows and can run from a configurable working directory. • /resume now shows only native Grok sessions by default and shows a hint when external sessions are hidden. • `grok --resume` can now resume a session by its title as well as by ID. • Workflows overlay now shows live per-agent progress and automatically follows the active phase. • Workflow runs that failed can now be resumed; scratch file limits were also increased. • Hooks can now be defined in config.toml in addition to JSON files. • Clicking the "still running" status now opens the tasks pane. Bug Fixes: • File attachments now appear correctly when resuming or replaying conversations. • Terminal output from remote clients is now recorded so read-file hints and monitors function correctly. • Background shell commands now correctly report their real exit codes instead of always showing -1. • Marketplace source refreshes no longer hang the TUI or trap you in the extensions modal. • Background task tray now correctly clears killed tasks and keeps task descriptions after reconnect. • Dashboard overlay now correctly returns after forking a dashboard-attached session. • Linux voice dictation now works on PipeWire versions before 1.6. • Fork from a rewound session now copies the correct live-branch history. • Account pane now shows name and email even after the access token expires. • Voice mode now lets you edit already-dictated text without closing the microphone. • Fixed startup hangs on Linux after concurrent launches or rapid restarts. • MCP tools now appear without restart after enrolling or updating a managed service. • Plugin subagents now see the same MCP tools as the parent session. • Copy confirmations now show shorter messages when the clipboard succeeds. • Repeated identical tool calls now end the turn silently instead of showing a stop banner. • Web search now defaults to grok-4.5. • Voice dictation text is no longer dropped when pressing Enter to send. • Bash mode (`!`) now shows yellow prefix and action label in minimal mode. • Parked turns no longer spam duplicate "Worked for" markers in the transcript.

  4. 公众号:数字生命卡兹克75

    Claude Opus 5深夜发布,以一半价格逼近Fable 5

    Anthropic发布Claude Opus 5,全量上线并全线可用,上下文100万,知识截止至2026年5月。其ARC-AGI-3得分30.2%,约为第二名GPT-5.6 Sol(7.8%)的四倍,输入每百万Token 5美元、输出每百万Token 25美元,价格与Opus 4.8相同,另有速度提升约2.5倍的Fast Mode。

    推荐理由:与Fable 5的跑分对比展示Opus 5更适合作为执行型Agent,系统提示精简80%的实践提示可简化智能体工作流设计。

  5. Rohan Paul37

    Claude Opus 5 在 Three.js 硬编码测试中生成 2,738 行代码,视觉效果最佳,成本仅 $6.22,为 Fable 5($8.12)的 3/4。Opus 5 在 frontier-bench v0.1(43.3%)等基准达 SOTA,但 agentic 编码部分仍落后于 Fable 5。

    引用thehype.@thehypedotnews

    claude opus 5 vs fable 5 vs gpt 5.6 sol vs kimi k3 @AnthropicAI released claude opus 5 today. per the announcement, it's "a thoughtful and proactive model that comes close to the frontier intelligence of claude fable 5 at half the price." key facts from the release: • priced at $5/mtok input, $25/mtok output – unchanged from opus 4.8 • anthropic reports it as state-of-the-art on frontier-bench v0.1 (43.3%), gdpval-aa v2 (1861), arc-agi-3 (30.2%), zapier automationbench (26%) and osworld 2.0 (70.6%) • per the same release, it stays behind mythos 5 on cybersecurity, and behind fable 5 on parts of agentic coding (deepswe 68.8 vs sol's 72.7, frontiercode 53.4 vs fable's 53.5) • runs at max thinking effort by default; a fast mode is offered at ~2.5x speed for 2x the price. our runs used the standard setting our test – 3 prompts, single-file html, @threejs, fully procedural, no assets. each has a small fire button (web audio gunshot + muzzle flash + recoil + ejected brass) and a disassemble toggle that explodes the gun into labelled parts and rebuilds it: 1. 5.56 m4 carbine – collapsible stock, safe·semi·burst lower, quad-rail with r14–r28 panel numbers, aimpoint red-dot, vertical foregrip, folding bipod, a2 flash hider, breaks into 10 parts 2. glock 18c – select-fire machine pistol, ported 18c compensator slots, "glock 18c / austria 9x19" roll-marks, extended 33-round mag, field-strips into slide, ported barrel, recoil spring, frame, mag 3. steyr tmp – ribbed polymer housing, threaded barrel, integral forward vertical foregrip, canted translucent 30-round mag ran on @aimlapi results: - cost #1 gpt 5.6 sol – $1.26 #2 kimi k3 – $3.60 #3 opus 5 – $6.22 #4 fable 5 – $8.12 - tokens #1 gpt 5.6 sol – 36,554 #2 fable 5 – 120,203 #3 opus 5 – 137,093 #4 kimi k3 – 196,596 - lines of code #1 opus 5 – 2,738 #2 gpt 5.6 sol – 2,432 #3 kimi k3 – 1,907 #4 fable 5 – 1,764 - generation time #1 gpt 5.6 sol – 7.8 min #2 fable 5 – 23.5 min #3 opus 5 – 24.8 min #4 kimi k3 – 93.8 min observations: • opus 5 wrote the most code and shipped the best-looking guns – the two go together. 2,738 lines, almost no boilerplate, and it beat fable at 3/4 of fable's price. all 3 models render, all 3 disassemble reliably • it is the only model that respected the black-on-black problem. its studio env is a narrow overhead strip with a comment explaining why ("narrow + long beats big + square here"), and parts separate by roughness, not colour – slide 0.44, ribs 0.52, grip 0.86. that is why the lighting reads like a product shot • the steyr ribbing and m4 proportions are the best in the test. the ribs are real half-buried cylinders merged into one geometry, each catching a single specular line – not a bump map. thin barrel, slim quad-rail, correct 84cm scale, all computed from named stations, not eyeballed • price per 100 shipped lines – gpt sol $0.052, kimi $0.189, opus $0.227, fable $0.460. opus buys frontier-grade detail for half of fable's per-line rate opus 5's code quality: upsides: - it engineers instead of eyeballing. everything is built to real-world scale (m4 = 84cm), the rail teeth sit at the exact 1cm pitch a real picatinny rail uses, and the steyr's ribbing is actual 3d geometry catching a specular line, not a bump texture faking it - it caught a classic three.js trap the others didn't – the bevel on extruded shapes quietly inflates the silhouette, so it pre-corrected every surface constant so decals and ribs sit flush instead of floating or z-fighting downside: - one systemic bug: every left-side engraving renders mirrored. roll-marks, the safe·semi·burst selector, the mag numbers – all reversed. single cause, but it hits all three guns opus 5 is the strongest engineer in this field – it saw traps the others walked into and reasoned about physics constants, real-world scale, and sequences instead of guessing follow @thehypedotnews for 24/7 ai news, analysis and breakdowns

  6. Rohan Paul54

    GPT-5.6 Sol 在 DeepSWE 基准测试中取得 72.7% 的成绩,领先于 Claude Opus 5 的 68.8%。DeepSWE 测试模型在陌生代码库中自主完成功能开发或 Bug 修复的能力。

    引用Rohan Paul@rohanpaul_ai

    Anthropic launched Claude Opus 5 at half the price of its most powerful model Fable 5, while at the same time beating Feble 5 in almost all benchmarks. Costs the same as Opus 4.8, $5/$25 per mn input/ output tokens, but exactly half as much as Fable 5. Frankly I am trying to figure out at this price of Opus 5 and with this great benchmark result why would I ever need to use Fable 5. Opus 5 also has less restrictive cyber classifiers than Fable, automatic fallback options, mid-conversation tool changes and no special data-retention requirement for general access. The cheaper model is winning specifically on economically valuable activities—coding, operating computers, research and completing business processes—not merely trivia or academic question answering. Anthropic repeatedly describes Opus 5 as more willing to verify, recover and continue until a task is actually complete. Examples include: - Creating its own computer-vision pipeline to reconstruct a 3D machine component from raw pixels - Finding the root cause of an open-source bug and fixing an edge case missed by the existing community patch - Building a market-data integration and then creating its own test harness when no live validation feed was available - Completing Zapier’s full churn-prevention workflow when previous models failed These are signs of adaptive problem-solving: the model notices that a required capability or validation mechanism is missing and constructs one instead of stopping. Anthropic also describes Opus 5 as more thorough about validating its work and recovering when necessary. The launch gives examples in which it constructed its own vision pipeline, identified the underlying cause of a software bug and built a test harness when no live data feed existed. That is potentially more commercially meaningful than a modest benchmark gain. An agent that finishes 70% of jobs without intervention can be dramatically more valuable than one that produces slightly better individual responses but frequently stalls. GPT-5.6 Sol leads DeepSWE: 72.7% versus Opus 5’s 68.8%

  7. Noah Zweben31

    Opus 5 仅消耗 5x Max 订阅的 27% 算力,就构建出迄今最逼真的《火箭联盟》克隆游戏,包含可反射车身的细节和可玩版本。@LLMJunky 称其在游戏开发和 3D 建模领域“明显领先于世界最佳模型”。源代码和可玩游戏已开源。

    引用am.will@LLMJunky

    WOW! I thought Opus 5 would just be a cheaper Fable. I was dead wrong. This model is absolutely BONKERS. I'm genuinely blown away. Opus 5 built the best Rocket League clone i've ever seen, and it did it while consuming only 27% of my 5x Max sub. Sound on. There's layers to this onion. I'm floored rn. At least for building games and 3D modeling, this has to be the best model in the world by a notable margin. Look at the car. The reflections. The details. Playable game & open source code in the comments.

  8. TechCrunch:AI66

    Cognition 收购 AI 助手 Poke,将个性互动融入编程工具 Devin

    AI 编程初创公司 Cognition 以“低九位数”美元估值收购了 AI 助手 Poke,后者以类似朋友的聊天风格和幽默互动著称。该交易将把 Poke 的交互模型融入编程助手 Devin,同时 Poke 将利用 Cognition 的模型提升速度与可靠性。自 2026 年 3 月上线以来,Poke 用户已交换超过 1 亿条消息。

  9. Claude:Blog65

    Claude 5 代模型上下文工程新规则:Claude Code 系统提示词精简超 80%

    Anthropic 为 Claude Opus 5 和 Claude Fable 5 等新一代模型删除了 Claude Code 超过 80% 的系统提示词,且编码评测无显著损失。

    推荐理由:Anthropic 官方首次分享他们为 Claude 5 代模型移除了 Claude Code 80% 系统提示的实践,五条新规则颠覆了旧有的提示工程常识,每个用 Claude Code 或自建 agent 的开发者都该对照看看自己的系统提示是否在「过度约束」模型。

  10. Anthropic:Newsroom92

    Anthropic 发布 Claude Opus 5

    Anthropic 发布 Claude Opus 5,其智能水平接近 Claude Fable 5,但价格减半。该模型在 Frontier-Bench v0.1 上性能超过 Opus 4.8 两倍以上,在 ARC-AGI 3 上得分是次优模型的三倍。Opus 5 即日起成为 Claude Max 的默认模型和 Claude Pro 的最强模型。

    推荐理由:Anthropic 这次把 Opus 的性价比条拉满了,性能翻倍价格减半,实际编码和知识工作基准已经超越所有模型。最打动我的是它自查自纠的严谨,写代码像真开发者一样审自己的页面,这种责任心以前只在人身上见过。

  11. Adam Wolff75

    Claude Opus 5 已在 Claude Code 上线。作者 Adam Wolff 表示大项目仍用 Fable,需要快速产出 PR 时用 medium effort 的 Opus 5;引用的官方介绍称 Opus 5 接近 Fable 5 的前沿智能,价格为其一半。

    引用Claude@claudeai

    隆重推出 Claude Opus 5。 这是一个深思熟虑且主动的模型,以一半的价格接近 Fable 5 的前沿智能。

    推荐理由:Claude Code 员工分享了 Opus 5 的实际使用场景,读者可参考不同模型在大小项目间的搭配方式。