一个简短的记录

简短记录如何接触认识人工智能。

通识

最早接触计算机算法和人工智能概念，应该是高中看科普书《复杂》（主要内容是关于复杂系统）和《皇帝新脑》（罗杰·彭罗斯的作品），以及《数学：确定性的丧失》等。 我关于通用图灵机和图灵测试、可计算性理论、复杂系统的涌现、塞尔的中文屋子、元胞自动机概念和康威的生命游戏、lambda 演算、混沌系统与相空间等都了解了一些。 尤其是《皇帝新脑》，从中学到很多，包括遗传算法，可能是我了解到的第一个重要算法。书里还给了一个例子：罗比机器人，在格子里拾取罐子，根据旁边 8 个格子的状态来决策。
当时还用 Visual Basic（因为学校里教这个）写了个遗传算法的代码来实践，现在回忆一下发现最耗费时间的是每次遗传做排序，用了冒泡。

到了大学期间，又有很多相关新闻，3b1b 的科普视频当时也备受好评。但仍觉得这是个调参工程，本质黑箱，很难说明有智能。 不过这也促使我思考人工智能是什么，什么是智能？那时我认为更重要的问题是，「人的智能」是什么？

OpenAI Five

在 OpenAI 的 AlphaGo 名声大噪之时，我首先了解到的其实是 OpenAI Five（除客皆刀），一个 Dota2 游戏 AI。

这个阶段虽然已经有很出色的成绩，但有深蓝在前，AlphaGo 并没有让我觉得它真有智能；至于 OpenAI Five，看似夸张的战绩，实际依靠的是短程过拟合局部最优，和极致的稳定操作。 后续开放三天挑战赛，被发现弱点然后十连败。AI 的策略不是在事实和经验的前提下逻辑推演出来的，而是一种类似于习惯的模式。

LLM

接下来是大部分人共享的 GPT 时刻，DeepSeek 时刻。

但这段时间我对这个行业的关注减少了。一方面我更多的专注于我的专业，即数学研究上；另一方面，我的业余爱好从各种科学转向了哲学。 数学是一众理科中最接近哲学的学科，尤其是基础数学。在这个看似最纯粹逻辑的领域里，反而更需要非理性的因素。 这段时间也是我接触语言哲学的时期，索绪尔（语言学鼻祖）、弗雷格（符号学）、罗素（摹状词理论）、维特根斯坦（语言世界）、利科（诠释学）、德里达（一切皆文本）。

AI4Math

最后是对我职业生涯影响最大的事件，即 AI4Math 的发展。
我们现在在各种意义下都无法合理处理 AI 生成的文本：我们读不懂、读不完这么多文章，不知道它们的作者怎么定义，不知道哪里投稿、哪里接收。 数学界必将迎来巨变，变成什么样不知道，但固守古法数学是一定没有出路的。
从个人角度上讲，要么找个稳定的工作逃离喧嚣，要么迎着风口探索冒险一番。从数学行业来讲，最重要的不是如何让 AI 更强地解题，而是如何吸收 AI 产生的知识。 从数学本身来讲，这是其快速发展的黄金时代。