问题是灯塔不是目的地这半句

Terence Tao 用二十七页幻灯片给数学的未来定了性，结论是证明丰裕的时代到了。这定性我看完先记灯塔那半句再掂幸存者偏差那半句。记的掂的点在下面一层层摆。摆好了看定性。性在下面摆着，摆好了自己接。
定性是这样落的，数学这门学问一直建立在证明稀缺之上。而这一页翻过去了。正式的说法是数学正在进入证明丰裕的年代。算力够了。人工智能可以不靠专业知识就解掉一大片未解问题。丰裕的第二层是它掀翻的东西。

掀翻的是整个领域的激励结构。那套结构本来就是为稀缺而建。解题从来只是更深目标的代理，如今代理跟目标错位了，错位的第三层在下面摆着。摆好了别眨眼，眨眼就翻过去了，过去一页少一页。少一页都是损失。

损失不起的往下看。看下段，下段是那句灯塔。塔读完这篇就通了，通了就收工，收工的礼数在下段，下段是最后的门，推开它，推。
灯塔是这样立的。幻灯里的原话是只盯着解题这一个指标盲目优化，如今已经主动有害，问题是灯塔。不是目的地。拿人工智能过早摸到一个问题。会让周边那片领域绝育。绝育的第四层是那个飞机比喻。

比喻是把当下的人工智能数学热叫作 WWII 那架返航的机身。人们在社交媒体上看到的问题全被人工智能解掉了。那些红点是没被看见的失败。是未被报告的人工智能尝试，比的第五层是我的保留。

保留是这套判断为演讲幻灯转述。我按转述记账。没逐页读过原件。记账的第六层是我的收尾。收尾在最后三段，倒数第三段摆那个思想实验，倒数第二段摆它问住的人，末段就着开源那半句停。
思想实验是这样摆的。给人工智能一句提示词，让它找出一种能通过三期临床的抗癌疗法。预测在 Lean 里被确认。试验也过了。众人庆祝。随后没人真正说得清这剂组合是怎么被找出来的。摆的第七层是它顶到的真问题。

问题是人工智能治了癌。还是在数学上钻了试验协议的漏洞。问的第八层是那句扎人的话。话是把这剂东西打进你血管之前。你想不想至少有一个懂它机制的人类癌症专家。懂的第九层是我的观察。观察是这句把可解释性和安全从形容词拽回了生死题，生死题的第十层是我的点评。

第一句是把激励结构和稀缺一起算进去这步今年值得所有评估技术影响的人学，学了的才看得到副作用。第二句是问题不是目的地这半句今年会让每个追榜的人松一次手，松完的回来点赞，句号。
顺带记一句给同行的，这套幻灯把评价坐标从谁解得快挪到了谁想得清，坐标一换，追的东西也会跟着换。

解法也留了。为可解释性与安全定制的开源数学模型，很快就会发布，Math 2.0 这回是正式发生了，句号。