搜索
浙江大学AI博士生、无界AI联合创始人马千里借助GPT-5.6、Fable 5、DeepSeek等AI模型组成的科研Agent团队，在北大董彬教授发起的ICMConjectures项目中用48小时产出约2万行Lean形式化代码，攻破了数学家Colombo于1928年提出的百年矩阵行列式难题。
最近两天，相信大家都被 GPT-6 Astra 的各种逆天玩法刷屏了 —— 一句话完成 3D 建模、从零制作完整游戏、几千个零件的东西说拆就拆，甚至还能拿来控制机器人…… 总之，强得没边。
2020年，GPT-3靠“看几个示例就会新任务”震动了NLP界；六年后的今天，同样的故事正在具身智能领域上演。
一只果蝇，在Minecraft里飞。
周末，GPT-6 Astra正式上线了。
这周前沿模型疯狂出货，基模厂更新的速度已经快到模型名和版本号根本无法记住的地步🤯
OpenAI这次真狠，GPT-6用起来有一种2023年GPT-4的感觉。
GPT-6咋跑去给字节Seedance打工了？？？
OpenAI Codex团队成员Eric Provencher发文建议用户尽快清理项目中的Skill文件、AGENTS.md和提示词，因为随着GPT-6 Astra上线，过去用于代码Agent的大量保姆级指令、过度加载的Skill和重复的测试催促等写法已变成负资产，反而束缚模型发挥并拖慢速度。
媒体报道OpenAI发布GPT-6 Astra官博前后多次悄悄修改跑分数据，包括将自身幻觉率从4.2%降至2.0%、将竞品Anthropic Fable 5.1数学成绩调低近10个百分点，并将ARC-AGI-3得分从98.6%注水至99.99%，OpenAI仅以"消除噪点的常态修正"作为回应。