AI与世界难题 ─ 数学

AI离解决黎曼猜想又近了一步，这是数学中最难的问题之一

原标题: AI edges closer to solving the Riemann hypothesis, one of math’s hardest problems

阅读原文 ↗🔗 分享链接

OpenAI 在线发布 700 篇数学预印本：数学家们群情激愤

原标题: OpenAI posts 700 maths preprints online: mathematicians are up in arms

OpenAI 在数百个备受关注的数学问题上使用了一个未发布的模型，并于 10 月 6 日在 GitHub 上发布了 700 多篇由 AI 生成的预印本。一些数学家对长期悬而未决的问题得到解决表示欢迎，另一些则在社交媒体上抱怨自己的成果被抢先。一位数学家称这股洪流为“slopocalypse”（垃圾内容末日），不过这些内容仍有可能在形式上是正确的。

阅读原文 ↗🔗 分享链接

Claude改进了关于黎曼ζ函数零点中满足黎曼猜想的比例的一个长期存在的下界

原标题: Claude has improved on a longstanding lower bound for the fraction of zeros of the Riemann zeta function that satisfy the Riemann hypothesis

黎曼猜想是一个尚未解决的问题，它指出黎曼ζ函数的零点全都位于某条垂直直线上。在尝试解决该问题的过程中，一个未发布的Claude研究版本并未证明该猜想，但改进了关于满足该条件的零点所占比例的一个长期存在的下界，将其从41.6%提高到67.2%。两位Anthropic的数学家验证了这篇论文并撰写了一份非正式的专家说明，Claude还给出了一个可形式化验证的证明。预计这一结果不会促成对该猜想本身的证明。

阅读原文 ↗🔗 分享链接