10 行 Python 多项式时间确定性素性测试：证明竟依赖 OpenAI 准 GRH 结果
fortnow · x · 2026-11-11
一位研究者指出：可以用 10 行 Python 在确定性多项式时间内测试 n 是否为素数，算法是 50 年前 Gary Miller 的方法，但其证明需要引用 OpenAI 近期的 quasi-GRH 结果。
经典的 AKS 素性测试曾因此获得 2006 年 Gödel 奖和 Fulkerson 奖，如今被认为已被这组结合 AI 产出的数学结果替代。作者感慨「疯狂的时代」——AI 产出研究成果开始影响基础数学/算法领域。
「漫话AGI」频道最新
- DeepMind 研究员：数百万 AI 智能体涌入经济，GDP 增速或仍仅 4-5% — soumitrashukla9 · 2026-11-12
- 斯坦福 HAI 呼吁将 AI 智能体归入受托人，须以用户利益为先 — StanfordHAI · 2026-11-12
- 设计师岗位收缩:职责流向 PM,角色或将并入 Product Builder — lennysan · 2026-11-12
- 英国公司因 AI 超支而缩减招聘规模 — HotMinuteUK · 2026-11-12
- AI 末日论者十年前预言十年内末日，至今仍未应验 — birchlse · 2026-11-12
- 下一代 AI 将从满是 AI 内容的互联网学习？「模型崩溃」并非不可避免 — alifcoder · 2026-11-12