number theory
PulseAugur coverage of number theory — every cluster mentioning number theory across labs, papers, and developer communities, ranked by signal.
2 天有情绪数据
-
新的提示框架通过专家角色增强大型语言模型的推理能力
研究人员推出了一种名为“增强角色零样本思维链”（RE-ZS-CoT）的新提示框架，旨在提高大型语言模型的推理能力，而无需任务特定的示例。该方法整合了领域特定的专家角色，这些角色可以静态分配或由模型动态选择，以提高在各种基准测试中的性能。对20个大型语言模型和七个基准测试的评估表明，RE-ZS-CoT的性能经常优于现有的零样本和零样本思维链基线，改进幅度高达44个百分点。该框架的有效性在不同模型规模上得到了验证，包括Granite3.3…
-
HOL Light 证明助手快速入门指南发布
本文档是 HOL Light 证明助手的快速入门指南，旨在帮助用户克服其详尽手册带来的初步畏惧感。它提供了一系列分级示例，教授基本系统用法，涵盖通过 WSL 或 Cygwin 在 Windows 上安装、OCaml 集成以及各种 HOL Light 功能。教程内容从命题逻辑、等式推理、一阶逻辑、归纳证明、数论（包括费马小定理和 RSA 加密）以及实分析。
-
研究人员使用 Claude Opus 5 在数学分解系列中证明了猜想9 · 跟踪8个来源
一位研究人员在其关于数学分解的系列报告中发布了第六份报告，详细介绍了猜想9的证明。这项工作利用了Anthropic的Claude Opus 5模型，专注于数论、素数和算术基本定理。研究结果目前正在等待外部审稿。
-
LLM 在没有数字的情况下执行算术，文章解释了这一点
本文探讨了大型语言模型（LLM）如何在不依赖传统数字表示的情况下执行算术运算。它深入研究了使 LLM 能够处理数学任务的内部机制和过程，暗示了与传统计算方法的不同。
-
菲尔兹奖得主：ChatGPT 5.5 Pro 可生成博士级别数学研究
菲尔兹奖得主Timothy Gowers展示了ChatGPT 5.5 Pro在解决复杂数论问题方面的先进数学能力。据报道，该AI在不到两小时内产生了相当于博士论文的成果，改进了现有界限，甚至生成了“k-dissociated sets”等新概念。这一快速进展促使Gowers对数学研究和教育的未来表示担忧，他认为人类贡献的门槛将转向AI尚无法执行的任务，例如真正的理解和新颖的创意生成。