AI确实是物理学。不是数学。Hinton应该拿物理学诺贝尔。人类对这一点的认识太晚了。不然图片里这位，Norman Dwight Megill，人类也欠他一个诺贝尔物理学奖。还有一个著名的例子是Wolfram，Mathematica和WolframAlpha的创立者，13岁伊顿公学，17岁牛津圣约翰学院，20岁加州理工的理论物理学博士毕业。

和Wolfram比，Megill大器晚成，1972年22岁MIT的EECS本科毕业，60岁克罗地亚萨格勒布大学物理学PhD毕业，毕业论文题目是有限和无限维希尔伯特空间量子力学方城的代数模型。

谁能想象一下，在90年代开启Metamath项目20年的Megill先生为什么突发奇想去萨格勒布拿这个物理学博士学位？我是没法想象。[二哈]

Hinton至少比Megill幸运，23岁剑桥实验心理学本科；31岁爱丁堡人工智能博士，35岁卡耐基梅隆计算机系助理教授，40岁多伦多大学计算机系教授，69岁谷歌副总裁，71岁图灵奖，77岁诺贝尔物理学奖。

++++

我之前从来不了解Megill的工作，最近才因为Metamath项目知道他。Metamath在正宗逻辑学方向里是没地位的，正经logician和computer scientist和mathematician当然是用Coq，Lean，Isabelle/HOL，HOL4这种基于类型论的「高级」证明系统的。

但是Megill的系统只有一条替换规则和一个推导规则，希尔伯特的modus ponens，只有300行代码，它和Coq比就像儿童医院门口的5块钱人民币的玩具手机和5000块的苹果手机的区别。

但是在AI时代，Metamath爆火，因为它的证明集AI可以学会而且吊打人类。

这说明一点什么么？是的。这说明数学背景的人负责理性，物理背景的人负责疯狂。[笑哈哈]。上帝也疯狂的那种疯狂。

但疯狂的背后也是有理性的，只是这种理性大象无形，超越平凡，没有规矩。等有时间我再掰扯背后的天才们，包括法国人Parigot，乌克兰人Schoenfinkel，波兰人Lukasiewicz。

++++

天才的世界里也有地下摇滚。