"大厂的 AI 工具都需要实名手机号登录后使用"那就别用这些“大厂”。而且国内这些大厂效果也不好啊，也就是便宜。

确实挺强的，thinking 还没试，普通模式感觉应用数学有不少进步。不过我看他们的博客，好像最大的提升是为了各种 agent 工具、tool use 、AI IDE 做的，但是目前 AI 工具都是围绕在前端和 VS Code ，非前端可能提升不是很大，JetBrains 在 AI 方面实在是太令人失望了。

@Themyth 哦，等等，你的意思是 grok 3 怎么加 system prompt ？这个需要 api ，现在加不了。但是并不需要加，直接让它写就行了，我都很直白。

@Themyth 直接写啊，grok.com 网站上。我看到有人说会被拒绝，可能是在推特里用的？反正我在官网没什么问题。

个人感觉的比较记忆深刻的缺点：没有 immutable ，没有 union 类型，if 不能有值，微软的文档莫名其妙很难搜索。而优点对于 C++背景最大的是运行时类型信息非常完整，反射，[]属性和代码生成有非常强而易用的元编程（虚幻 C++全是宏），但是这些 kotlin 好像也都有……

o3-mini api 也还行的，我是没见过不思考秒答的情况。而且 api 是按 token 收费的，思考 token 也计费，不会故意给你偷懒的。

等等 api 呗。看他们博客 api 还是挺强的，该有的都有，比如 deep search 之类的，别家经常只能在 web 用，grok 团队说他们 api 也会支持。

@cheng6563 最不自由的就数 Claude 了。别说写作了，有次我问它加密数据都被半拒绝了。聊天记录我已经清掉了，但它的回复大意就是用加密从政府隐藏信息是可能有害的，所以只能给我一点大致步骤，拒绝提供细节。

@Linonems 你在哪用的？ grok.com 没问题啊，就直接问。也有可能是你运气不好，因为 Grok （大概率）蒸馏了 GPT 的输出，有些拒绝回答也混进去了，又刚好被你撞上了。

刚写了帖个人评测 https://v2ex.com/t/1113279

好家伙，思考了 3 分多钟，在 ZF 中把基数比较定理给证出来了，数学大厦又被推翻了😂o3-mini 和 gemini 2 flash thinking 都在几秒内就发现无法在 ZF 中证明了（和选择公理等价）。R1 慢一点，但是最后也能发现证不了（仅限英文，用中文提问 R1 也推翻数学大厦了）

和 o3-mini 相比还是太慢了，不知道到时候价格会如何。o3-mini 基本和 R1 的价格差不了多少，看 token 价格更贵但是思考所需 token 更少。这 Grok 这样感觉会很贵啊。

用中文问：在 ZF 中不使用选择公理证明|X|<=|Y|∨|Y|<=|X|。R1 用英文问能做对但是用中文问居然错了，看看 Grok 推理的中文水平怎么样。

别碰官方 xbox 手柄，过时太多太多年了，协议不支持体感拖累整个游戏行业，不过现在有些游戏已经开始放弃 xbox 革新操作方式了，比如最近的怪物猎人荒野，很多人表示集中模式手柄太难用，官方回应就是用体感。低价有小鸡超新星，中价有小鸡风行者 2 （别碰同价的冰原狼 2 ，一代还行 2 代落后了），高价有黑武士 4 ，PS5 手柄等。据说 PS5 手柄 FPS 厉害，不过我从来不用手柄 FPS 没法评价。

@stone9527 没问题呀，现在主流的模型这个都不会错的吧。我平时主用 openrouter ，这个网站的 chatroom ，预设的几个问题就有 9.9 和 9.11 哪个大，还有 strawberry 里几个 r 。后者还有些模型会错，但是前者这样比大小的基本都是没问题的。

@mingtdlb 判断字符本来就不是 AI 该做的事，因为原理上 AI 收到的都是 token ，一个 token 可能有好几个字。而且假如真的有了 AGI ，和人类一样的智力水平，你觉得它会浪费算力去数吗？假如是一个聪明的人类，他应该做的是使用工具。AGI 也应该是写一个程序去数，不是自己数。最近 AI 进步也都是在数学、逻辑推理等方面。

@chipipi
@sunny352787
@Satansickle 做游戏的

@dcoder 半成品这方面是真的深恶痛绝啊，老外就经常说，Unity 干任何一件事，都有 4 个 package：一个是 10 年前的老版本，一个是 5 年前做到一半停更了的“新”版本，一个是开发已久下个大版本一定能发布的新”新“版本，还有一个是曾经实验过虽然效果很好但莫名其妙放弃了的版本。像动画这方面真是太恶心了，”新“系统 mechanim 落后 UE10 年，想修改管线上游的动画（比如加事件和 hitbox 数据）就必须从 fbx 里复制出来进行破坏性更改，假如上游改了动画就会非常麻烦。UI 也是，uGUI 控件很少，基本没什么自动布局支持，也没有 data binding ，从开发进度来看，2019 至今没什么改进。而 UI toolkit 到现在都不支持自定义 shader 和世界空间 UI ，虽然自称学习现代 web ，但开发范式和真正的现代 web 相比也非常麻烦。也就是说从 2019 到 2025 ，整整 6 年（假设今年 UI toolkit 真的能做到功能完备，当然我不指望了），除非买 Gameface 否则 UI 就只有半成品可用。