## GPT-5 与数学发现：摘要 最近一篇Hacker News上的帖子讨论了OpenAI的GPT-5-pro能够证明新的数学定理的说法。最初的兴奋源于一位用户报告称，该AI在数学证明中生成了一个更严格的界限，超越了现有结果。然而，很快有人指出，一位人类研究人员在不久前已经发表了一个更好的解决方案。 这场讨论凸显了一个更广泛的趋势：人工智能加速数学研究的潜力，不一定是通过开创性的原创性，而是通过高效地搜索和连接现有知识。许多评论者分享了人工智能在药物发现等领域发现新模式的经验，即使人类专家最初对此不屑一顾。 一个关键点是区分人工智能*发现*和*引用*信息。人们担心人工智能可能只是将以前未读的研究重新呈现为新的发现。对话还涉及验证人工智能生成的证明的挑战以及对知识产权的潜在影响。最终，人们的普遍看法是，人工智能是一种强大的工具，可以增强人类研究人员的能力，而不是取代他们，并有可能 democratize 复杂问题解决的途径。