AI 摘要
一个通用模型解决了数学领域的一个重大开放问题。 未来几年我们会经常说这句话,但这确实是一个相当重要的里程碑。 我非常期待AI能极大地拓展我们对世界的理解,但今天,我的心情依然很复杂。
a general-purpose model solved a major open problem in mathematics.
we'll be saying this a lot over the coming years, but this is a kinda big milestone.
i'm very excited for AI to greatly extend our understanding of the world, but still, i have complicated feelings today.
If you are a mathematician, then you may want to make sure you are sitting down before reading further.