number-theory

Anthropic未发布的研究版Claude将满足黎曼猜想的黎曼ζ函数零点的比例下界从41.6%提高到67.2%，展示了AI数学能力的快速进步。

安德鲁·怀尔斯回顾他证明费马大定理的历程，重点描述了最终顿悟的关键时刻，以及他从童年梦想中获得回报的感受。

作者声称在五天时间内解决了数学家Paul Erdős提出的六个未解决问题。

一个经 Lean 验证的新形式定理表明，对于趋向无穷的阈值，几乎所有正整数都在 436 ln N 个 Collatz 步内降至该阈值以下，强化了陶哲轩先前的结果，并给出了显式界限和自然密度。

数论学家利用AI模型Fabel发现了雅可比猜想在三维空间中的反例，87年后该猜想被推翻，但平面版本仍悬而未决。

研究人员使用20个并行Codex账户解决了20个Erdős问题，其中包括使用Lean对数论中的Erdős问题#123的形式化证明。

本文训练了一个两层Transformer编码器，利用Frobenius迹将有理椭圆曲线按秩分类，准确率超过99%。机械可解释性揭示该模型学习了Mestre-Nagao启发式方法，并将注意力集中在素数位置上，表明Transformer能够学习数论算法。