AI 编程辅导悖论加剧:69% 的计算机教育者认为 AI 已改变软件开发所需技能
一项由 ACM 工作组对 49 个国家 700 多名计算机教育者进行的调查显示,69% 的受访者认为 AI 已改变软件开发所需技能。68% 的受访者调整了评估方式,增加了监考线下考试、口试、代码答辩和项目制考核。然而,48% 的受访者表示缺乏将 AI 融入课程的最佳实践范例,74% 希望获得有效教学方法的培训。
一项由 ACM 工作组对 49 个国家 700 多名计算机教育者进行的调查显示,69% 的受访者认为 AI 已改变软件开发所需技能。68% 的受访者调整了评估方式,增加了监考线下考试、口试、代码答辩和项目制考核。然而,48% 的受访者表示缺乏将 AI 融入课程的最佳实践范例,74% 希望获得有效教学方法的培训。
Codex is sooooo good! Damn!
通过提示词指挥AI Agent而不直接读写代码,本质与工程经理管理人类下属无异。当每个开发者都成为管理多个AI Agent的工程经理时,质量保障仍需依靠管理与流程,而非幻想AI不犯错。
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.
Together AI 基于 DeepSWE 全部 904 次评分 rollout(113 个任务、各 4 次尝试)对比 Kimi K3 与 GPT-5.6 Sol。
推荐理由:原文基于 904 次实测 rollout 对比两款模型在成本、pass@k 和失败模式上的差异,并给出可复用的级联路由方案。
Astral 于 7 月 23 日发布 Python 代码检查工具 Ruff v0.16.0,默认启用规则从 59 条增至 413 条,覆盖语法错误和运行时错误等严重问题。作者在 Datasette、sqlite-utils 和 LLM 三个项目上运行后共发现 1618 个错误,其中 1538 个可通过 `--fix --unsafe-fixes` 自动修复。
TileLang作为基于TVM的Python领域特定语言,可设计并编译面向性能的GPU内核。教程逐步实现向量加法、分块Tensor-Core矩阵乘法、融合GEMM后处理、行级Softmax及FlashAttention,并对比PyTorch和cuBLAS基线。通过自动调优识别架构相关内核配置,TileLang管理线程映射、内存布局、同步及底层CUDA指令生成。
Trilogy AI Center of Excellence 围绕在 Fireworks 上运行的 Kimi K3 发布公开 AI 网络安全手册和练习包,含交互式手册、代码仓库和十个练习。
开发者卡兹克宣布大幅重构文档和规则,认为过多规则会降低模型推理效率和效果。新思路不再用规则约束模型一次写对,而是前期给模型更多思考空间,把限制加在测试侧,用测试来约束一切。
时代变了,过去那么多的规则、约束、文档,感觉现在只会让模型的推理效率和效果变得越来越垃圾,Anthropic说的确实对。 今天决定直接大幅重构所有的文档和规则,清空重写。。。 从此思路不再是用规则约束模型指望它一次写对,而是在前期交给模型更多的思考空间更多的注意力,把更多的限制,加在测试侧,用测试来限制一切。 文档和规则,真的要退环境了。
Anthropic 的 Claude Opus 5 在 Artificial Analysis 智能指数上以 61 分位居第一,领先 Fable 5(60 分)和 GPT-5.6 Sol(59 分)。其平均智能任务成本仅 $2.03,低于 Fable 5 的 $2.75,但幻觉率升至 50%。
We removed ~80% of the Claude Code system prompt for our newest models, this is what we've learned about writing system prompts, skills and Claude.MDs for them. http://x.com/i/article/2080703729385512960
Claude Opus 5正式发布,在多学科推理、Agent编程、法律和健康等基准测试中超越Fable 5。其API定价与Opus 4.8持平(输入5美元/百万Token,输出25美元/百万Token),支持100万上下文窗口。
Claude Opus 5上线,在多数基准上超越Fable 5,max effort下距Fable 5最高分仅差0.5%,ARC-AGI-3分数是GPT 5.6的3倍以上。
推荐理由:Skill分层管理思路比单纯删减提示语更稳妥,按频率归档为触发空壳,既能压缩上下文又不打断已有习惯。
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
Anthropic 发布 Claude Opus 5,智能接近 Fable 5 但价格仅一半,与 Opus 4.8 同价(input $5/M tokens,output $25/M tokens)。
隆重推出 Claude Opus 5。 这是一个深思熟虑且主动的模型,以一半的价格接近 Fable 5 的前沿智能。
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.
SemiAnalysis 将对 AMD 挑战 Nvidia 的判断从非共识的"非零机会"上调为"成功机会很大",前提是解决 Helios 机架缓慢爬坡与内部 CI GPU 集群长期短缺两大风险。
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%的实践提示可简化智能体工作流设计。
Opus 5 在 FrontierCode 上呈现有趣的非单调成功-努力曲线
@Xinyu2ML the full graph makes this even weirder
Anthropic 今日推出 Opus 5,这是其热门编程模型的最新更新。与 Opus 4.5 在智能体编码性能上的突破不同,Opus 5 主要提升 token 效率,而非带来能力上的大幅飞跃。
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
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%
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.
隆重推出 Claude Opus 5。 这是一个深思熟虑且主动的模型,以一半的价格接近 Fable 5 的前沿智能。
Anthropic 推出旗舰模型 Claude Opus 5,在智能体编程和知识工作基准测试中领先,并在 ARC-AGI-3 上取得 30.2% 的分数,是 GPT-5.6 Sol 的近四倍。
AI 编程初创公司 Cognition 以“低九位数”美元估值收购了 AI 助手 Poke,后者以类似朋友的聊天风格和幽默互动著称。该交易将把 Poke 的交互模型融入编程助手 Devin,同时 Poke 将利用 Cognition 的模型提升速度与可靠性。自 2026 年 3 月上线以来,Poke 用户已交换超过 1 亿条消息。
我们为最新模型移除了约 80% 的 Claude Code 系统提示词,这是我们在编写系统提示词、技能和 Claude.MD 方面学到的经验。
Claude Code v2.1.219 新增 Claude Opus 5 作为默认 Opus 模型,支持 1M 上下文窗口,快速模式定价为 $10/$50 每百万 token。
Anthropic 为 Claude Opus 5 和 Claude Fable 5 等新一代模型删除了 Claude Code 超过 80% 的系统提示词,且编码评测无显著损失。
推荐理由:Anthropic 官方首次分享他们为 Claude 5 代模型移除了 Claude Code 80% 系统提示的实践,五条新规则颠覆了旧有的提示工程常识,每个用 Claude Code 或自建 agent 的开发者都该对照看看自己的系统提示是否在「过度约束」模型。
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 的性价比条拉满了,性能翻倍价格减半,实际编码和知识工作基准已经超越所有模型。最打动我的是它自查自纠的严谨,写代码像真开发者一样审自己的页面,这种责任心以前只在人身上见过。
Anthropic 发布 Claude Opus 5,官方称其在多个领域“接近 Claude Fable 5 的能力”,复杂编程任务表现更优。该模型网络安全防护强于前代 Opus 4.8,定价与前任相同(输入 5 美元/输出 25 美元)。
隆重推出 Claude Opus 5。 这是一个深思熟虑且主动的模型,以一半的价格接近 Fable 5 的前沿智能。
推荐理由:Claude Code 员工分享了 Opus 5 的实际使用场景,读者可参考不同模型在大小项目间的搭配方式。