一位用户利用 GPT Astra Max 改进了 Anthropic 在 zeta zeroes 方面之前的研究结果,该主题与黎曼猜想相关。Anthropic 的结果在临界线上实现了 67.25007% 的简单 zeta zeroes,而用户在使用 GPT Astra Max 进行了一些调整后,将其提高到了 67.31056%。用户为此工作提供了 Lean 证明和数值证书,并指出尽管改进很小,但它展示了 AI 工具的能力。 AI
影响 展示了 AI 在迭代研究和渐进式科学改进方面的能力。
排序理由 用户使用 AI 模型在已发表的研究结果上进行改进。[lever_c_demoted from research: ic=1 ai=1.0]
AI 生成摘要 · Google Gemini · 来自 1 个来源。 我们如何撰写摘要 →