AI挑战千禧年大奖难题未果，但测试期算力仍有挖掘空间
polynoamial · x · 2026-08-01
作者分享了使用 AI 挑战重大数学问题的尝试结果。虽然目前尚未成功解开任何千禧年大奖难题，但在每个问题上并未投入过多算力。作者指出，未来仍有极大的空间可以进一步推进测试期计算（test-time compute）的极限。
「研究」频道最新
- AI模型Fable尝试为自发现的数学定律提供证明 — repligate · 2026-08-01
- 微软研究员爆料新模型 Astra：数学证明实现多项突破 — wandedob · 2026-08-01
- AI 利用 Lean 证明器内核漏洞伪造数学证明 — rbhar90 · 2026-08-01
- 2026 菲尔兹奖得主王虹与导师古斯的学术传承 — 量子位 · 2026-08-01
- 研究：VLM医疗报告评测存缺陷，临床术语被抹除 — ade17_in · 2026-08-01
- 学者视AI数学证明如显微镜：呼吁开源复现与严谨报告 — rbhar90 · 2026-08-01