一群数学家的辩白

A mathematician, like a painter or a poet, is a maker of patterns. If his patterns are more permanent than theirs, it is because they are made with ideas. A painter makes patterns with shapes and colours, a poet with words.

和画家或诗人一样，数学家也是模式的创造者。如果说数学家创造的模式比前者的更持久，那是因为这些模式是由思想构成的。

The mathematician’s patterns, like the painter’s or the poet’s, must be beautiful; the ideas, like the colours or the words, must fit together in a harmonious way. Beauty is the first test: there is no permanent place in the world for ugly mathematics.

同画家和诗人的模式一样，数学家的模式必定是美的。与色彩和文字相同，思想也必然会以某种和谐的方式组合。美是首要的试金石：丑陋的数学不可能永存。

哈代 《一个数学家的辩白》

A Severe Misalignment of AI in Mathematics 是一群数学家的辩白，内核和哈代的辩白很接近：

• 数学的目标不是得到答案，而是理解与洞见
• 数学是一种人类共同体的活动，依赖人与人的传递、讨论、教学
• 反对功利化、工具化地评判数学价值

为什么这个时候重新思考数学的价值和意义呢？镰刀割谁的脖子谁痛，围棋选手痛过，程序员痛过，只不过这次到了数学家而已。人类永恒的敌人是时间，所以哈代在晚年无法做出好的结果，做出了一个数学家的辩白，带着一丝悲凉；人类还有一个敌人就是让我们骄傲的智力旁落，所以有了这份一群数学家的辩白，同样带着一丝悲凉。