chaoxu

@sevenzyx 会让 AI 写个 self-contained paper 扔给对方。因为达到那一步我相信对的概率足够大，返工概率低。

还没有遇到这个 ai 检查过了但人还没检查成功的例子（就是可能有小错，都是 fixable ）。

解决了几个我关心的数学猜想。
让我知道整个数学领域要彻底翻天了。

之后写了文帖子帮助其他数学家。AI Agents for the working mathematician: https://chaoxu.prof/posts/2026-07-18-ai-agents-for-the-working-mathematician.html

@yy306525121 "和 or-tool 这些其实是一类工具， 都是问题求解器， 但是他们都是基于一个原理， 把所有可能的组合全部排列出来，然后找出最优解，这种框架会有一个问题， 就是当你的问题或者叫排课里面的教师和班级数量上来之后问题规模会成指数倍增长，家用计算机跑一天都跑不出来"

不是把所有组合排列出来，会有大量的剪枝操作。一般人自己写的系统是比不过的。

你整个帖子都没有一个正确的数学上的描述。只要能描述出来，就能找做运筹的人写出来。

老婆收入比我高很多。
所以于情于理我都觉得分一半非常合理。

https://chaoxu.prof/blog 写了好多年了

https://chaoxu.prof/blog

我境外身份，长期在国内工作。当然我不是中国国籍所以会比香港的难不少。但是有些我遇到的问题香港护照也会遇到。统战部门会和你搞好关系。

大多东西都不支持身份证以外的东西，当然如果是香港身份等等，可以支持的稍微多一点。港澳居住证支持的地方多了不少。外国护照一般是支持最少得。所以有很多走人工的东西，比如
- 我常常要报销东西，比如火车票。就很烦需要人工亲自跑一趟（自己，或者其他人帮忙跑也行）
- 但如果不需要报销会简单不少。少数火车站刷护照的东西是可行的（如上海虹桥）。但是不少老旧一点的火车站没有这个系统只能人工。
- 弄宽带改地址的时候非要我亲自去改。 网上只支持身份证。
- 似乎大多地方政策是只能在全国买一套房子。
- 成都的话，外国人是拿不到公积金的。当然不同地区不一样，比如上海是可以。香港护照不清楚。社保啥的没问题。
- 似乎有些东西比较难搞，但可能也只是对外籍来说的。比如同时给几个不同的地方工作，有的地方可能是怕麻烦就直接表示不可以。（有可能是外籍的人是要被当地的省级的各种地方管理而不是国家管理，同时几个省工作可能有行政上的难度。）

有些福利只有外籍人或者香港人才能获得，不过都是和地区相关的。
比如菲佣，你想在国内有合法个人雇佣菲佣，你自己就不能是内地人（你所在的地区需要是上海或者广东）。

我一直用 fastmail 。没出过什么问题。有 issue 对方一般 24 小时就会回复。