每日AI新鲜事·05月31日早间播报：Codex支持Windows开发

今天AI圈又有不少新消息，我刷了一晚上差点没睡着。

你不是说最近在控制屏幕时间吗？

得了吧，干我们这行的谁能忍住不刷啊。先说个重磅的，YouTube上有个视频，陶哲轩聊AI怎么改变数学研究。

陶哲轩啊，菲尔兹奖得主，数学界的顶流。他对AI的态度一直挺开放的，之前就用过大模型辅助证明。

对，我好奇的是，数学这种需要极致严谨逻辑的领域，AI到底能帮到什么程度？

我觉得核心价值在两块。一个是探索方向，AI可以快速筛选大量可能的证明路径，帮数学家缩小搜索空间。

另一个是验证环节，形式化证明这块AI已经很能打了。

就像产品经理做需求分析，AI帮你把一百个方向先砍到十个，最后你自己拍板？

这个类比还挺准的。数学家的直觉和创造力还是不可替代，但AI把那些苦力活接过去了。

连陶哲轩都在拥抱AI，那些还在抗拒的人真该想想了。

说到拥抱AI，今天Twitter上OpenAI连发了好几条Codex的更新，你看到没？

看到了！最炸的就是Codex现在全面支持Windows开发工作流了。

这个真的是补了一块大短板。之前Codex主要在Linux和Mac的命令行环境里玩得转，Windows图形界面一直是弱项。

现在它能通过Computer Use直接操作Windows的GUI，测试应用、调试流程，跟人操作一样。

而且ChatGPT手机端也能远程连Windows机器，你想想这个场景。

等等，你是说我在地铁上用手机就能让Codex帮我跑Windows上的测试？

对，异步开发模式。你下个指令就去喝咖啡，回来活干完了。

这不就是每个程序员的梦想嘛。

另外还有个小更新也值得说，Codex的后台Agent现在有了固定的像素头像标识。

这个听起来小，但做过产品的都知道，多Agent协作时识别度太重要了。

没错，跨Tab、跨面板一眼就能认出是哪个Agent，体验细节拉满。

对了，还有个Builders Unscripted的访谈，聊到Codex在实际工作和Side Project里怎么用。

里面提到Codex做Code Review能抓bug，这个其实是很实际的落地场景。

说到这个，B站上正好有人分享Cursor无限续杯之后每天多出两小时，说省的全是改bug的时间。

你看，AI编程工具的价值不是让你写更多代码，是让你少踩坑。

从产品角度看，这才是正确的价值主张。不是替代你，是帮你把最烦的部分消灭掉。

完全同意。

换个方向聊聊，B站上有个独立游戏叫墨物天工，把AI生成的视频做进了游戏场景里。

这个思路挺野的。AI视频生成的画面直接当游戏的实时场景？

对，我看了一下效果还挺有意思的，就是不知道延迟和交互性能怎么样。

独立游戏嘛，先把概念跑通就很厉害了。以后AI视频质量再上去，这可能是个新品类。

还有个B站视频也挺有意思，PanelAI定价9999，结果有人嫌便宜。

嫌便宜？这是什么产品啊。

看起来是个AI硬件产品，上线前最后冲刺阶段。定价策略这事儿确实因人而异。

如果目标用户是专业群体，价格锚点本来就不一样，贵反而是品质信号。

最后快速提一下Google那边，YouTube上好几条I/O 2026的消息。Android正式宣布Compose First了。

还有Google Play也在讲新愿景，整个Android生态都在加速迭代。

Compose First这个方向其实酝酿很久了，现在算是官方盖章了。

对Android开发者来说，该All in Compose了，没退路了。

好，今天信息量不小。从陶哲轩到Codex再到游戏里的AI视频，感觉AI真的在各个角落渗透。

而且不光是技术在进步，工具链、开发体验、应用场景全在同步推进。

行，今天就先聊到这儿。我得赶紧去体验一下Codex的Windows支持，太馋了。

去吧去吧，回头给我看看效果。那我们晚上见。

好嘞，晚上见！