分享

通义千问深夜更新！Qwen3升级版迈向“分离训练”时代，性能全面超越Kimi-K2，Agent能力亮眼

作者

新版本模型Qwen3-235B-A22B-Instruct-2507-FP8在多项核心能力上实现飞跃，超越Kimi-K2等顶级开源和闭源模型。通义千问团队宣布告别混合思维模式，迈向分离训练时代，并留下大招悬念，暗示复杂推理的Thinking模型可能也在路上。

刚刚，腾讯发布了他们的首个全栈AI IDE。

作者

腾讯在最新发布会上推出了自己的AI编程IDE CodeBuddy，并强调其为产设研一体化工作台。产品涵盖国际版、一站式文档生成及设计组件集成等功能，支持Figma转网页和PRD撰写等，适合独立开发者及设计师使用。

在2025年国际数学奥林匹克竞赛（IMO）中获得金牌的AI模型，面对第6题时到底发生了什么？

作者

Daniel Litt 提出疑问：2025年国际数学奥林匹克竞赛中获得金牌的AI模型在第6题上是否提交了错误答案？这个问题揭示了AI应用于数学研究的核心困境，即如何验证AI生成的数学结果的正确性。