Riemann zeta function
PulseAugur coverage of Riemann zeta function — every cluster mentioning Riemann zeta function across labs, papers, and developer communities, ranked by signal.
1 天有情绪数据
-
OpenAI 发布 AI 生成的数学研究目录
OpenAI 发布了一个公共存储库，其中包含由内部 AI 模型生成的数学研究和证明工件的目录。该集合包括 722 篇手稿，分为 372 个家族，涵盖各种数学学科。虽然大多数结果是使用未发布的模型的标准程序生成的，但一些具体发现，例如黎曼 zeta 函数的无零区域和关于霍奇猜想的工作，涉及人工编辑或不同的程序。该存储库旨在提供模型数学能力的验证记录，并计划包含更多形式化和社区贡献。
-
AI作为联合探索者：宣言勾勒新数学研究前沿
该宣言提出科学发现新时代，AI将超越单纯的助手或计算器角色，成为联合探索者。它勾勒了数学研究的七个“天堂”或领域，AI可在其中发挥关键作用，包括数论（例如，攻克Erdős–Straus猜想和黎曼猜想）、组合学（例如，探索拉姆齐理论）、几何学（例如，发现新的球体堆积结构）以及代数（例如，不变子空间问题）。提出的工作流程包括人类猜想、AI探索、形式验证和人类解释，旨在实现有解释的发现，而非仅仅是搜索。
-
新论文探讨伯努利层级和zeta函数几何
Y. Kenan Yilmaz 在 arXiv 上发表的一篇新论文探讨了有序伯努利词核的几何性质及其与黎曼zeta函数的关系。该研究详细介绍了二次坐标的精确整数量化，并将临界线零坐标分解为最近整数和周期性伯努利残差。该工作还通过素数生成器坐标和复指数将狄利克雷级数和欧拉乘积联系起来，同时明确声明不声称黎曼猜想的证明。
-
人工智能在高等数学领域取得进展，引发了辩论和新的研究方向
生成式AI在执行高等数学任务方面的能力日益增强，引发了关于其对该领域影响的讨论。一项关于基于证明的数学课程的试点研究发现，学生使用了AI工具，但对其有用性和准确性的看法不一。此外，AI模型在黎曼猜想等长期存在的数学问题上取得了进展，Anthropic的Claude通过提高临界线上零点的下界展示了显著的进步。这一发展引发了对数学研究未来以及人类数学家角色的疑问。
-
Anthropic的Claude在极少人类输入的帮助下推进黎曼猜想研究
Anthropic透露，其AI模型Claude的一个未发布的研究版本被用于探索黎曼猜想的解决方案。虽然Claude并未完全解决该猜想，但它通过证明黎曼ζ函数至少有三分之二的零点位于临界线上，显著推进了现有记录。值得注意的是，人类在此研究中的参与极少，主要包括鼓励性的信息，如“加油”和“相信你自己”，据报道这些信息帮助Claude克服了最初的怀疑。
-
Anthropic AI自主推进黎曼猜想研究
一款未发布的Anthropic AI模型自主取得了在150年黎曼猜想的一个子问题上的重大进展。在36小时内，该名为Claude Code的AI模型协调了60个子代理，处理了3100万个token，将满足该猜想的零点的已证明下界从41.6%提高到了67.2%。这一进展曾让数学家们望而却步，它展示了AI在深度形式推理和自主研究管理方面的能力，包括综合现有工作和寻求形式验证。
-
AI模型Claude将黎曼ζ函数零点下界提升至67.2%
在理解黎曼ζ函数方面取得了重大进展，满足假设的零点比例下限从 41.6% 提高到 67.2%。这一突破是由AI模型Claude实现的，它显著改善了对这些复杂数学零点的先前统计理解。
-
Anthropic的Claude AI在黎曼猜想研究方面取得进展，改进了关键边界
Anthropic未发布的Claude AI版本在黎曼猜想相关问题上取得了重大进展。虽然它没有解决著名的猜想，但Claude将黎曼ζ函数零点满足该猜想的比例的长期下界从41.6%提高到了67.2%。这一进展得到了数学家们的验证，展示了AI模型日益增长的数学能力，尽管Anthropic并不期望这些特定技术能够证明黎曼猜想本身。
-
Anthropic 的 Claude AI 在黎曼猜想研究方面取得进展
Anthropic 的 Claude AI 模型的一个未发布的研究版本在黎曼猜想相关问题上取得了进展。虽然它没有解决黎曼猜想本身，但该 AI 成功地提高了满足黎曼猜想的黎曼 zeta 函数零点分数的下界。这一进展将界限从 41.6% 提高到 67.2%，展示了其显著的数学能力。