版主： hci
比如我要把一个Linux系统所有进程都管起来。我想用systemd的dbus。
让AI给我找一个最popular的方案。结果推荐了sdbus-c++。从前都没听说过。看了代码，真的靠谱！
但是AI生成的代码，就不靠谱了。
能用是肯定能用。就是说有的时候能用。有的时候就不能用。因为dbus会reset。信息可能会丢。如何recover。
而且这是多线程的。如何保证consistency？系统繁忙的时候，如何即使响应？因为如果不能及时响应，就给你断开了。然后就会越来越崩。
AI根本不懂这些。和它讲也是鸡同鸭讲。他生成的那些代码，要么就是demo挺好的，因为就用1-2个进程实验。上production肯定系统越忙越崩溃。你再问它，就给你一个CPU一直100%的方案。那是AI能给出的最靠谱的方案了。CPU不忙它也忙，保证能管好。
这些其实都是停机问题。你问AI这个代码能不能死锁？有没有数据race？这都是理论上不可能保证有答案的。
hci建议趁机埋雷，甩锅AI，虽坏，但是不傻。
AI发展是日新月异的
2023年出现chatgpt
2024年出现推理大模型
2025年coding agent基本能用了
2024年出现推理大模型之前数学高考不及格
现在已经是IMO gold
Caravel 写了： 2026年 2月 4日 15:44AI发展是日新月异的
2023年出现chatgpt
2024年出现推理大模型
2025年coding agent基本能用了2024年出现推理大模型之前数学高考不及格
现在已经是IMO gold
那老顾那道题问什么到STEM版去了
他逗哏么？
那个IMO gold我一道题都不会。估计要得零分。
很难想象，拿IMO gold的，能写出这样的代码。同步阻塞加上多线程死锁而且data race。
连当年的好虫都不如。
属实
因为label不够
TeacherWei 写了： 2026年 2月 4日 20:15那个IMO gold我一道题都不会。估计要得零分。
很难想象，拿IMO gold的，能写出这样的代码。同步阻塞加上多线程死锁而且data race。
连当年的好虫都不如。
good question
玩IMO的不一定懂计算
说明数学是简单的。都是结构化的知识。而且都是符号替换的五马倒六羊的变换。属于简单套路的多层叠加。
最关键的是，benchmark极其容易作弊。
这不就是刷leetcode么？你要是出原题或者微变形那肯定答得好。就是简单的scaling law, 另外就是sft+rlhf证明working，本质没有任何其他提高啊
Caravel 写了： 2026年 2月 4日 15:44AI发展是日新月异的
2023年出现chatgpt
2024年出现推理大模型
2025年coding agent基本能用了2024年出现推理大模型之前数学高考不及格
现在已经是IMO gold
赖美豪中 写了： 2026年 2月 8日 13:32这不就是刷leetcode么？你要是出原题或者微变形那肯定答得好。就是简单的scaling law, 另外就是sft+rlhf证明working，本质没有任何其他提高啊
定义一下微变形？人类IMO选手靠的是不是微变形？
