OpenAI 解出十道难题：数学家的末日？
Mathematics Without Mathematicians
昨天，OpenAI 宣布其未发布的模型解决了十个数学未解之谜。面对这一突破，人们试图用各种理由自我安慰：我们会指导 AI、我们会教授 AI 发现的数学、我们会成为 AI 的学生。但现实可能更残酷：AI 的直觉和品味将超越人类，它们将独自构建数学的宏伟殿堂，而人类将沦为旁观者。数学不仅是游戏，更是科学的引擎；当 AI 能更高效地推动科学和工程时，人类的理解力将不再必要。我们或许能像下棋一样继续玩数学，但数学的实用价值将彻底改变。最终，我们面临的选择是：是主动拥抱变革，还是被动接受成为被更强大实体照顾的宠物？
我们将生活在一个充满奇妙装置的世界，但这些装置的运作原理、背后的工程法则以及发现它们所用的形式体系，都将是我们无法理解的。