标签: ChatGPT

Two years of OpenAI Academy

Two years of OpenAI Academy

OpenAI Academy 上线两年,累计举办 250 多场活动、触达超 400 万人;9 月 23 日官方宣布启动“社区培训师计划”,把 AI 培训能力下放到学校、职业培训机构和小企业网络等本地伙伴手中。

What an insane day in AI. The frontier models just became substantially cheaper, with the Opus 5.5 price cuts, and now with GPT-6 Sol and Luna dropping token prices by 50%. The rate at which the cost per task (on a li…

What an insane day in AI. The frontier models just became substantially cheaper, with the Opus 5.5 price cuts, and now with GPT-6 Sol and Luna dropping token prices by 50%. The rate at which the cost per task (on a li...

同一天里,Anthropic 的 Opus 5.5 宣布降价,OpenAI 又发布了 GPT-6 Sol 和 GPT-6 Luna,两款新模型的 token 价格下调 50%。Aaron Levie 认为,单位任务成本的下降速度在技术史上没有先例,而这会直接打开更多 AI 智能体(agent)的应用场景。

We need to teach the world to prompt and maximally use AI: to help all people see the way it can give you wings in all your pursuits Then we need yearn to solve more problems for ourselves and for one another https://…

We need to teach the world to prompt and maximally use AI: to help all people see the way it can give you wings in all your pursuits Then we need yearn to solve more problems for ourselves and for one another https://...

Y Combinator 总裁 Garry Tan 在 X 上提出,应当教会更多人写好 prompt、最大化使用 AI,并借此培养主动解决问题的意愿。这一表态把当前 AI 讨论的焦点从"模型能力"拉回到"人的使用能力"上。

We ran fresh Next.js evals. The tally: ① Opus 5.5 [𝟿𝟽%] ② GPT 6 Sol [𝟿𝟽%] ③ Fable 5.1 [𝟿𝟽%] ④ Grok 4.7 [𝟿𝟺%] Notably, Grok is 2x-7x cheaper https://t.co/BAUg14981G

We ran fresh Next.js evals. The tally: ① Opus 5.5 [𝟿𝟽%] ② GPT 6 Sol [𝟿𝟽%] ③ Fable 5.1 [𝟿𝟽%] ④ Grok 4.7 [𝟿𝟺%] Notably, Grok is 2x-7x cheaper https://t.co/BAUg14981G

Vercel CEO Guillermo Rauch 公布了新一轮 Next.js 代码评测结果,四款前沿模型中有三款同时达到 97% 成功率,而 Grok 4.7 以 94% 紧随其后,但调用成本低 2 到 7 倍。这组数据把“顶级能力是否必须付顶级价格”这个老问题重新摆上了桌面。

I used Opus 5.5 to formally verify the Claude Agent SDK using Lean. A couple short prompts = 16 PRs fixing various bugs and race conditions. Video attached. TLA+ also works well. I sometimes combine Lean and TLA+ to l…

I used Opus 5.5 to formally verify the Claude Agent SDK using Lean. A couple short prompts = 16 PRs fixing various bugs and race conditions. Video attached. TLA+ also works well. I sometimes combine Lean and TLA+ to l...

Claude Code 作者 Boris Cherny 用 Opus 5.5 配合 Lean 形式化验证 Claude Agent SDK,几段简短提示词就换来 16 个修复 bug 与竞态条件的 PR,他还常把 Lean 与 TLA+ 组合使用。这提供了一个新信号:形式化验证正从学术工具变成日常找 bug…