OpenAI 也是真给国际数学联盟面子，没有在上周的国际数学家大会期间公布 Astra 的这十项结果而是过了一周，否则感觉会略有一丝尴尬。 ​​​

笑死我了
受前几天那个雅可比猜想反例的刺激，Dmitry Rybin（一个目前在深圳创业的数学家和AI研究者）决定让 AI 去攻破 Dinitz-Garg-Goemans 猜想（一个经典的图论问题）
他的命令非常简单粗暴：

Construct a counterexample to general (non-planar) case of Dinitz Garg Goemans conjecture. You should do a breakthrough and find a structured counterexample.

然后 AI 就搞定了这个问题（当然是在经过了很多轮迭代之后）
完整对话：chatgpt.com

考虑到24小时之内最后一届没有AI参与的菲尔兹奖就要颁发（很可能还会有两名中国获奖者）
人类数学史在本周已经热闹的有点像行为艺术了

太好笑了，一个A家员工看世界杯的同时顺手用Fable找到了著名的雅可比猜想（有将近一百年历史）的一个反例

这周的国际数学奥林匹克（正好轮在中国上海举办）结束后，各家 AI 纷纷给出了答卷。
基本全是满分。

现在这已经甚至不是新闻了，你要是做不到满分都不好意思公布。

情况就是这么个情况。作为一个曾经的奥数选手，心情复杂。 ​​​

原来AI也会和我们一样觉得写完代码第一次测试竟然通过了很可疑！

和 AI 合作的全部难题，归根结底就是人类社会自己几千年自己也没弄明白的那个问题：如何外行领导内行。

虽然我已经习惯了 agent 的各种奇怪中英文混搭，但这个「公平」还是让我笑出了声

不敢想象我如果还有20岁时候的脑力配合上今天 AI 的能力我一天能做多少事情 ​​​

跟 AI 一起干活的时候我反复想起庄子里的一则寓言：

当你划着一只小船在河中游走，如果是一只空船撞到了你，那么就算你脾气不好也不会生气；但如果那只船上有一个人的话，你就会大声呵斥他。叫喊一次对方没听到，你就会再三地呵斥他，并且会口出恶言。之所以前者不生气而现在却生气，那是因为前者是空船而现在船上有人了。

之所以想起这个故事是因为当 AI 搞砸事情的时候，你的反应恰好落在这两者之间。

传统的工具把事情搞砸，就像空船一样，你是不会发火的（除了对自己）。

传统的同事把事情搞砸，你会心安理得地发火，因为对方是人，你的基本假设是对方能理解ta给你造成的损失，发火是一种报复，也是「让对方长长记性」。

但把事情搞砸的是一个 AI agent，事情就变得很微妙。对方确实是「主动」犯了错——比如自作聪明修改了重要的模块结果把代码搞崩了，你有一万个理由发火。你也确实可以发火，它会诚恳道歉，会承认错误，会保证下次绝不再犯。但它和你都知道它背后最终只是一大堆矩阵运算，而下次……它根本不知道自己曾经干过什么。

你要跟一艘其实是矩阵运算构成的船发火吗？

色即是空，空即是色。无色无空，无人无 tensor。

和 AI 合作工作非常重要的能力之一是克服心理上的蔡加尼克效应。

这个效应的意思是说，人们对正在做但还没做完的事有不成比例的心理关注度，换句话说就是：AI 正在干一个你反正也帮不上忙的活的时候，你会忍不住花费一大笔心理带宽去关心它干到哪了。

这和 AI agent 天生的大规模并行工作模式是无法兼容的。如果你手头有3个 agent 正在各司其职，你挨个查询它们的进度还有可行性。如果你手头有38个 agent，你会被自己微操的冲动压垮。

要信任 AI。不是信任它们一定能搞定，而是信任它们就算趁你没注意把房子烧了你也还能活下来。

不要事必躬亲。