LaTero

好家伙，思考了 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 就只有半成品可用。

@wanghoi 确实，看到 Unity 的员工数我就一直在想：他们这么多人，为什么每次裁员都能裁到真正有用的人？那剩下的人到底在干什么？好像很忙的样子，但一看更新日志，又好像没做什么。Epic 要做引擎，新特性要做免费 sample 和 asset ，要做 Fortnight ，要做商店和 fab ，还有一堆其他杂七杂八的影视和可视化之类的业务，这么多活，每次更新内容都很多，还都是技术上很先进一看 R&D 开销就很大的特性。反观 Unity ，从 2022LTS 到 Unity 6 ，感觉就没什么太大的变化，都是一些缝缝补补，我注意到的最大的变化就是 UE4 就有的 Adaptive Volume 。我尝试去翻了一下财报，不过我不是很懂这方面，也没找到什么各部门开销和人员信息，就知道他们人很多，利润很少，引擎也 10 年没什么进步……