ChatGPT 能直接操作你的 Chrome 标签页了
最近有个变化挺值得聊：ChatGPT 现在能直接接管你开着的那几个 Chrome 标签页了。它会自己点按钮、填输入框、把网页上的内容读出来，干完活再把结果整理给你。说白了，它从一个「你问它答」的聊天框，变成了一个「你吩咐它动手」的浏览器搭档。这事儿发生在 10 月 16 日。
数学大爆炸，OpenAI 一夜攻克722个数学难题，准黎曼猜想已被证明
里面是722 篇数学手稿，涵盖了 372 个此前悬而未决的顶级数学难题家族。其中，OpenAI 未发布的 AI 模型证明了拟黎曼猜想，并同步发布了 Lean 形式化验证。
数学大爆炸！OpenAI 一夜攻克722个数学难题，准黎曼猜想已被证明
他们简单粗暴地接放出GitHub项目库 math 。里面是722 篇数学手稿，涵盖了 372 个此前悬而未决的顶级数学难题家族。
突发！OpenAI官宣24天攻破100+世界级数学难题
一款8月28日才开始训练的内部新模型，现已攻克了100多道世界级数学难题。更夸张的是，这100多道题中，还包括此前困扰数学界多年的「纳维–斯托克斯」千禧年难题。
神秘「牛来」模型果然是智谱，GLM首个原生多模态，还用的国产卡
终于，这几天在网上炒得沸沸扬扬的神秘模型「牛来」，真身曝光了!「牛来」在火的这几天里啊，其实已经有不少人用Ox Alpha这个版本在实测了。
无人机会飞，但它知道自己什么时候该停下来吗？
想象一下这个场景：你派了一架无人机去找一辆白色轿车，它顺利地飞过去了，摄像头里那辆车越来越大、越来越清晰，眼看就要到跟前了。结果呢，它突然一头撞了上去,或者更诡异的是,它明明已经贴着车门悬停了，却死活不肯告诉你"我到了"，就那么杵在那儿，直到系统超时报废这次任务。
OpenAI新模型攻克100多道数学难题，9位顶尖数学家组成顾问团
智东西编译 | 杨京丽编辑 | 李水青智东西9月22日消息，今天凌晨，OpenAI宣布成立一个新的独立顾问小组——数学与人工智能顾问小组，该小组设于美国新泽西州普林斯顿高等研究院。OpenAI于8月28日开始训练一个新的内部模型。
OpenAI横扫100多道世界难题，他却说：数学才刚开始
9 月 21 日，OpenAI 扔出一则公告:一款 8 月 28 日才开始训练的内部模型，已经攻克了 100 多道世界级数学难题，范围横跨数学的大部分领域。读博的担心学位贬值，教书的担心期刊崩盘，写了半辈子证明的人开始怀疑，这门手艺还剩几年。
黄仁勋柏林演讲：AI工厂部署最快缩至14天，智能体安全是技术问题
AI（人工智能）芯片龙头英伟达正在全面推进AI工厂的“变现”速度。当地时间10月21日，英伟达CEO黄仁勋在柏林GTC大会上发表演讲，重点展示了面向新一代AI基础设施的系统架构、模块化AI工厂方案，以及为自主Agent（智能体）构建的安全防护体系。
小鹏汽车开始对外卖技术：以后买别的牌子，也可能用上小鹏方案？
从卖汽车到卖造车技术，小鹏这一步，值得看懂三个问题摘要：小鹏宣布面向全球开放智能汽车技术合作，范围包括整车平台、模块化技术和配套工具链。它究竟卖什么？与大众的合作提供了什么参照？普通购车人又该关注哪些实际变化？买的是其他品牌的车，里面却可能用着小鹏参与开发的技术。