对狗来说，人类就是AGI。
奇点对狗来说早已发生，它们不用理解原理，不用上班，有人供养。
反过来说，对 AGI 来说我们大概也是狗。只不过我们当中已经有人在当那个「人」了。
四个月前，在同济教数学的朋友搭了GPT Pro Agent 跑复杂证明，今天AI让数学走向工业化。

来到即刻的第一天。