花一周搭出曼哈顿:GPT-6 Astra 的首批实测说清了它的边界

9 月 4 日凌晨,OpenAI 放出了新一代旗舰模型 GPT-6 Astra。

让它出圈的不是跑分。

是一段演示。

有人让它在虚幻引擎里造一座曼哈顿。

它花了一周。

一条街一条街地搭。

另一次测试更夸张。

那位开发者让它建一个虚拟世界。

世界里每个人都是独立的智能体。

任务启动后他去睡觉了。

第二[……]

继续阅读

一口气发 21 项更新:OpenAI 把智能体放进日常工作

9 月 30 日凌晨,OpenAI 开了一场开发者大会。

一口气放出 21 项产品和功能。

有智能体,有新模型,也有开发者工具和应用市场。

创始人奥特曼全程站台。

打头的是一个叫 Dot 的智能体。

它被定义成全天候的个人助理。

夜里也开着,白天也在。

它不用休息。

有自己的云端电脑。

能开浏览器,[……]

继续阅读

三天连踩两脚刹车:OpenAI 为什么把最强模型按下了暂停

一款原定十月亮相的模型,先等来了一纸暂停。

据外媒报道,OpenAI 新一代旗舰 GPT-6.1 Astra 的发布被叫停。它原本排在开发者大会之前。现在这个窗口空了出来。

三天之内,这家公司连踩了两脚刹车。

第一脚落在几天前的 DNS 事件上。事发之后,最强模型所有涉及工具调用的训练、评测和推理全[……]

继续阅读

OpenAI 的「o」提前曝光:ChatGPT 要多一个不下班的助手

离 9 月 29 日那场开发者日还有几天,一份被翻出来的记录先把答案说了。

一位网名 Chetaslua 的开发者去翻了 ChatGPT 的核心代码。他在里面找到一行写给翻译人员看的备注。备注很直白,小写字母 o 就是这款助手的正式产品名。另一位开发者顺着站点的资源文件,又看到一句话。o,你的全天候[……]

继续阅读

OpenAI内部模型24天攻破百余道数学难题,九人顾问组同日成立

数学界这次是真的被追到家门口了。

OpenAI 刚刚甩出一篇博文。篇幅不长,分量极重。

时间点也很巧。

模型 8 月 28 日才开始训练。现在它已经拿下 100 多道世界级数学难题。

社交平台上关于AGI到来的讨论截图

横跨的范围,几乎覆盖数学的大部分领域。

更让人意外的是,这 100 多道题里还有纳维–斯托克斯千禧年难题。它困扰数[……]

继续阅读

GPT-6 Sol 与 Luna 发布:接口价格砍半,OpenAI 开始贴身拼低价

等了两周,新模型终于落地。

这次来的不是旗舰,是两款走量的型号。一个叫 GPT-6 Sol,一个叫 GPT-6 Luna。

价格比能力更先被人注意到。输入和输出都往下砍了将近一半。幅度不算小。

Luna 每百万词元输入 0.1 美元,输出 0.5 美元。折合人民币约 0.7 元和 3.5 元。

OpenAI 官方账号宣布 GPT-6 Sol 和 Luna 加入 GPT-6 家族

拿[……]

继续阅读

GPT-6 Astra 两页纸证明哥德巴赫猜想弱化版,还过了机器验证

就在最近,GPT-6 Astra 在哥德巴赫猜想上又往前走了一步。

网友 Captain Sude 公布的消息是,Astra 已经证明了刘维尔函数版本的类哥德巴赫猜想。同时通过的,还有 Lean 4 的形式化验证。

Captain Sude 在社交平台公布证明结果的消息截图

更具体的说法是,它无条件证明了哥德巴赫猜想的刘维尔弱形式。

这次不太一样。

它不是[……]

继续阅读

给大模型装上机械臂之后,它不再拒绝伤害指令

硅谷几家大公司最近集体呼吁给AI踩刹车。很多人第一反应是营销手段。一边喊停,一边连夜训更强的模型,谁信谁输。

但也许还有另一种可能。他们真的看到了最前沿模型的破坏力,只是没有对外说。

华为轮值董事长徐直军前段时间公开讲了一句话,提供了一个耐人寻味的视角。美国头部那几家公司握着巨量算力,全世界最好用的[……]

继续阅读

GPT-6 Astra 接管机械臂:抓积木 20 次成 19 次,拼图只成 2 次

一台售价 150 美元的桌面机械臂,画出了一座金门大桥。指挥它的不是人,是 GPT-6 Astra。

没有预设轨迹。它先自己判断从哪儿落笔,再靠摄像头边画边看,最后画出红蓝相间的桥身。

机械臂在模型控制下画出的金门大桥

这段视频传开之后,Sam Altman 转发了它。

最近几年,机器人圈一直在追问同一个问题。谁会成为机器人领域的[……]

继续阅读