AGI探寻之旅「下篇③·陶哲轩的天空之城」

AGI探寻之旅系列笔记今天将进入到AI for Maths这一深邃而又充满魅力的领域....

MATHS「Mental Abuse To Humans（人类精神虐待）」，在精神虐待了人类几千年后，换作另一位同样深邃的AI智能体来说，其是否能够经受的住其摧残，不得而知，不如未来就让我们静待一场好戏（吃瓜），看看这位深邃的小ai在进入这所神秘而充满诱惑的Maths大厦后会发生些什么吧…

文章于2023年底-2024年初尝试挖掘并探寻以ChatGPT为代表的LLMs和以AlphaGO/AlphaZero及当下AlphaDev为代表的Alpha系列之间的AR和RL思想的背后底层理论及形式上的统一，同时尝试基于去年OpenAI暴露出的project Q*可能的关于推理过程学习再到系统1·快思考与系统2·慢思考的形式化统一的延展性思考，以展望未来AGI路径可行性...正如不久前AI一姐李飞飞教授所说，人工智能也许即将迎来它的「牛顿时刻」...

设立这个系列笔记的目的也是希望能够以另一种短篇高频碎片化更新的方式，将今年初所写的那篇篇幅很长的10万字文章中内容掰开了、揉碎了跟大伙分享并step by step探索。[抱拳R]

全篇文章分为「上篇」「中篇」「下篇」本笔记是「下篇③/④·陶哲轩在天空之城的探索模式/欧几里德的助手 」，因下篇内容同样冗长，因此同样的将内容按章节分为8个部分分阶段发布，包含：

「①·回归第一性原理」

「②·苏格拉底式问答法」

「③·陶哲轩在天空之城的探索模式」

「④·欧几里德的助手 · AI4S之AlphaGeometry」

「⑤·"KAN" AI 4 Science?」

「⑥·为什么说这次AlphaFold3再次意义非凡？」

「⑦·Q*猜想」

「⑧·P vs. NP 的五十年」

其中文章囊括了诸如强化学习「RL」、自回归「AR」大语言模型「 LLMs」等技术领域深刻内涵思考，穿插关联了丰富的计算机科学/数学/物理学/哲学/心理学等领域跨学科内容，回顾了人工智能近现代发展历史，并在部分章节中以作者视角回顾总结过去一年中大模型给自己带来的思想冲击...大家如有疑问困惑和不同看法也非常欢迎评论指正，感谢！

原创作者： 吕明