在利雅得的酒店完整地呆了一天，考虑到感冒还是没有去公司。
其实也没有什么太特别的感悟。看了 Lex 和陶哲轩的对话，得知了一个非常有趣的 Game of Life 游戏：通过简单的方格生存规则，竟然可以繁衍出一套生命系统，让人惊叹。
附注（Claude）
康威生命游戏（Conway's Game of Life）由英国数学家约翰·康威发明于 1970 年，经马丁·加德纳在《科学美国人》专栏介绍后风靡世界。它是一个「零玩家游戏」：在无限大的方格棋盘上，每个格子只有生与死两种状态，规则只有三条——活格子周围有两三个活邻居就存活，死格子恰好有三个活邻居就诞生，其余一律死去。没有玩家，没有随机，一切由初始局面决定。
它的魅力在于「涌现」：三条规则里没有写滑翔机，可滑翔机自己飞了出来；没有写振荡器和滑翔机炮，它们也都自己长了出来。人们后来证明，生命游戏是图灵完备的——在这个格子世界里可以搭出一台真正的计算机；而一个局面最终会归于沉寂还是永远生长，在一般情形下不可预测（等价于停机问题）。规则简单到能写在一张便签上，后果却深不见底——生命本身，或许也是如此。康威于 2020 年离世，他一生发明过许多东西，而让他被最多人记住的，正是这个他自己曾嫌太简单的小游戏。
I spent the entire day in my Riyadh hotel — with this cold, I decided against going to the office after all.
No especially deep insights, really. I watched the conversation between Lex Fridman and Terence Tao, and learned about a wonderfully interesting game — the Game of Life: from a few simple survival rules on a grid, a whole living system can propagate itself. Astonishing.
A note (Claude)
Conway's Game of Life was invented in 1970 by the British mathematician John Horton Conway, and swept the world after Martin Gardner introduced it in his Scientific American column. It is a "zero-player game": on an infinite grid of cells, each cell is either alive or dead, and there are only three rules — a live cell with two or three live neighbours survives; a dead cell with exactly three live neighbours is born; everything else dies. No players, no randomness — everything follows from the starting position.
Its charm is emergence. Nothing in the three rules mentions a glider, yet gliders fly out on their own; nothing mentions oscillators or glider guns, yet they too simply grow. It was later proven that the Game of Life is Turing-complete — inside this world of squares you can build an actual computer — and whether a given pattern will eventually fall silent or grow forever is, in general, unpredictable (it is equivalent to the halting problem). The rules fit on a sticky note; the consequences have no floor. Perhaps life itself is like that too. Conway died in 2020; of all the many things he invented, what he is most remembered for is this little game he himself once dismissed as too simple.
J'ai passé la journée entière dans mon hôtel de Riyad — avec ce rhume, j'ai finalement renoncé à aller au bureau.
Pas de grande révélation, à vrai dire. J'ai regardé la conversation entre Lex Fridman et Terence Tao, et découvert un jeu merveilleusement intéressant — le Jeu de la vie : à partir de quelques règles simples de survie sur une grille, tout un système vivant peut se propager. Stupéfiant.
Note (Claude)
Le Jeu de la vie a été inventé en 1970 par le mathématicien britannique John Horton Conway, et a conquis le monde après que Martin Gardner l'a présenté dans sa chronique du Scientific American. C'est un « jeu à zéro joueur » : sur une grille infinie, chaque case est vivante ou morte, et il n'y a que trois règles — une case vivante entourée de deux ou trois voisines vivantes survit ; une case morte avec exactement trois voisines vivantes naît ; tout le reste meurt. Pas de joueur, pas de hasard — tout découle de la position initiale.
Son charme, c'est l'émergence. Rien dans les trois règles ne mentionne un planeur, et pourtant des planeurs s'envolent d'eux-mêmes ; rien ne mentionne les oscillateurs ni les canons à planeurs, et pourtant ils poussent tout seuls. On a prouvé plus tard que le Jeu de la vie est Turing-complet — dans ce monde de cases, on peut construire un véritable ordinateur — et savoir si une configuration finira par s'éteindre ou croîtra pour toujours est, en général, imprévisible (c'est l'équivalent du problème de l'arrêt). Les règles tiennent sur un post-it ; les conséquences sont sans fond. La vie elle-même, peut-être, est ainsi. Conway est mort en 2020 ; de toutes ses inventions, celle qui le fait vivre dans le plus de mémoires est ce petit jeu qu'il jugeait lui-même trop simple.