黎曼假设新证明出炉,AxiomProver 已形式化验证
Afinetheorem · x · 2026-09-03
黎曼假设研究迎来重大进展:新结果显示超过 67% 的 zeta 零点位于临界线上且为单零点,数学家 Youness Lamzouri 随后给出了一个极为优雅的新证明。AxiomProver 已在论文附录中完成了该证明的形式化验证,展示了数学研究与人机协作(人类品味 + AI 验证)结合的新范式。
「漫话AGI」频道最新
- 320万条记录实证:ChatGPT 出现后监考数学正确率从80%跌至60% — thisdudelikesAI · 2026-09-03
- 卫报批 Bill Simmons 在播客里口播 ChatGPT 广告,称背离创作精神 — nordicinst · 2026-09-03
- 瑞典蓝领工会首席经济学家：怕的不是 AI 抢工作，而是低效岗位消失太慢 — Afinetheorem · 2026-09-03
- Scott Aaronson 撰文探讨 LLM 的自指性问题 — techlatest_net · 2026-09-03
- Ajeya Cotra:最危险的 AI 夺权路径是内部失控部署搭上智能爆炸 — MoonL88537 · 2026-09-03
- CEPR 论文：AI 投资近年开始带来生产率增长，关键在组织资本积累 — soumitrashukla9 · 2026-09-03