过去一年，在编程方面， AI 几乎已经接管了一切。现在的程序员还有多少人会手搓代码？甚至，还有多少人会去看一眼代码呢？即使还有，这样的人以后只会越来越少。
但如果一个人不写代码也不看代码，那他学习 python、学习 C++还有意义吗？即使以前学习过写过，过一两年也不会写了吧。
数学也一样。最近 AI 在数学界有两个新闻
-
前 Google 工程师 Deedy Das 对 7 个前沿大模型全自主单挑 IMO 2026 全部 6 道题， 4 个获得满分，其中包括来自国产的开源大模型 kimi k3。
-
数学家 Levent Alpoge 于 7 月 20 日在社交媒体表示， AI 模型 Fable 5 构造出了雅可比猜想（ Jacobian Conjecture ）在三维情况下的一个反例。
这证实了， AI 的思维能力已经超过临界点：它不光超过绝大部分普通人类，即使顶尖的数学家，也需要借助 AI 来思考和研究。
如果 AI 能代替大多数的深入思考，人类减少深入思考的经验。那过一两年，人类还有能力深入思考吗？
人类已废。体育才是人类未来，锻炼好身体好好享受。
Q. E. D.
