证明、提示词与帖子：一个数学家共同体博客的邀请

[本文为证明与提示联合博客编辑的客座文章。该博文最初以另一种文件格式撰写，并通过人工智能进行了转换。——T.]

在数学界，早在我们创办名为证明与提示的联合博客之前数月，人工智能便已成为热议的焦点。我们当中有些人早已开始尝试使用它，而另一些人则持观望态度，甚至有些怀疑。然而，最终我们都迎来了各自的“顿悟时刻”：无论是纳维–斯托克斯方程、十大未解难题、单位距离猜想，还是成功数出“strawberry”中有几个字母R（答案是3个）。

显然，每个人对数学领域的人工智能都有自己的看法，许多人也毫不避讳地表达强烈的观点。不过，我们觉得这些讨论的影响力仍然有限，因为大多数数学家并没有一个天然的发声平台。我们记得，在八月初曾读到不少资深数学家为博士生的处境而感叹，却几乎找不到有博士生公开发声的声音。

正因如此，我们决定创办一个名为“Proofs and Prompts”的协作博客。在春天时，我们并未感到必须立即启动该项目的紧迫性。尽管人工智能的发展日新月异，我们仍可以安心享受夏日时光。但在8月1日上，我们意识到必须马上行动起来。

如今，大约一个月过去了（期间还发送了大量介绍邮件以启动项目），网站上的社区参与度仍在持续增长，我们的收件箱里也堆满了富有洞见的投稿。我们已经积累了足够的动力，可以长期坚持下去；也希望您能与我们一道参与其中。

“Proofs and Prompts”的目标是倾听每一位参与者的声音。我们认为，这一努力在一定程度上已经取得了成效。我们收到了来自博士生、本科生、菲尔兹奖牌得主和爱好者的来稿。我们也收到了提议探讨对人工智能的全面暂停令、帖子暗示人工智能在数学中发挥作用不够、帖子声称我们以前也见过类似的变化和引进气候危机的帖子的文章。在关于加州理工学院Mathathon的讨论中，既出现了批评性的公开信，也同时出现了组织方的一个回应。

然而，仍有更多的话需要说，也需要更多的人来发声。我们认为，在作者的多样性、他们的经历以及相关背景方面，我们还有很大的提升空间。目前，很少有文章出自具有大语言模型开发或评估经验的人士；投稿者绝大多数来自西欧和北美；在已发表的大约四十篇文章中，女性作者仅占少数。所有这些因素都限制了所分享视角的广度，我们希望听到更多来自第一手经验者的、关于具体问题的深入见解。这包括关于获取机会不平等的问题、大语言模型的实际应用及其局限性、开源模型、期刊编辑的应对、新的倡议等等。

因此，谨向每一位读者发出诚挚的呼吁。我们相信，只要人人都有机会发声，并由此展开富有成效的讨论，我们就能在这个领域取得丰硕的成果。“Proofs and Prompts”的愿景是成为一个让人们彼此相遇、围绕共同关切与愿景开展协作的平台。请将您的投稿与建议发给我们给你，并加入对话。

期待在那里与您相见！