最近的报道指出，OpenAI 的 o3 模型已经在 Linux 内核中发现了一个零日漏洞；而本文的 KNighter 更进一步，通过自动生成静态分析检查器，把模型的洞察沉淀为工程可用、用户可见的逻辑规则，实现了规模化的软件漏铜、缺陷挖掘。
不少读者朋友给我留言，说能不能聊聊AI抢工作这件事。 这其实也反应了一种普遍的焦虑情绪，即大家隐约感觉AI会对工作造成冲击。 但它具体是怎么把一个办公室白领的饭碗给干掉的，很多人并没有真实的体感。
一个月前，我们曾报道过清华姚班校友、普林斯顿教授陈丹琦似乎加入 Thinking Machines Lab 的消息。有些爆料认为她在休假一年后，会离开普林斯顿，全职加入 Thinking Machines Lab。
老天奶，奥特曼对GPT的谈论，都跨越好几代来到GPT-8了！最近他在一档节目上，和量子计算奠基人戴维・多伊奇（David Deutsch）展开对话，针对两人存在分歧的“AI能否发展为具备意识的超级智能”议题，奥特曼搬出GPT-8来试图说服多伊奇：
机器之心报道 编辑：+0 自动驾驶有 L1-L5 的分级路径，现在教育 AI 也有了自己的版本。 如今，「AI 下半场」已成共识，应用落地正成为决定未来的关键。教育，作为关乎人类发展的根本基石，已然成
在AI 技术迅猛发展的当下，全球正迎来一场关乎经济主导权的“竞赛”。波士顿咨询集团（BCG ）与印度工商联合会（FICCI）于 2025 年 9 月联合发布的白皮书《Global AI Race》（全球AI 竞赛）深入剖析了这一现象。
9 月 26 日，Flowith 再次迎来了大更新，这一次，它的核心所指，正是「上下文腐烂」以及更加「自由的创作」。接下来，我们分享全面实测体验。从我的实际体验来看，这次的 Flowith 更新，终于让上下文「活」起来了。
这几天饼干哥哥都在杭州云栖大会，这一届的阿里AI大会，有一种经济上行的感觉，人是真的多，有几次论坛都挤不进去 例如这个AI Coding的交流 今天下午参加了MuleRun的论坛，坐在前排老老实实的听
打破思维惯性，「小模型」也能安全又强大！北大-360联合实验室发布TinyR1-32B模型，以仅20k数据的微调，实现了安全性能的里程碑式突破，并兼顾出色的推理与通用能力。
明星创业公司Thinking Machines，第二篇研究论文热乎出炉！公司创始人、OpenAI前CTO Mira Murati依旧亲自站台，翁荔等一众大佬也纷纷转发支持：论文主题为“Modular Manifolds”，通过让整个网络的不同层/模块在统一框架下进行约束和优化，来提升训练的稳定性和效率。
