AI 工具正在改写形式化数学的反例发现
burny_tech · x · 2026-07-21
## AI 工具正在改写形式化数学的反例发现 这条帖子链接了一篇文章，作者认为人类数学家正在被 AI “outcounterexampled”——AI 工具已经能更快找到反例，开始改变形式化数学的工作方式。 - 作者以 **ChatGPT 早前推翻 Erdős 的单位距离猜想** 为切入点。 - 文章的核心观点是，**反例发现** 正在成为 AI 参与数学研究和形式化证明中的关键能力。 - 作者进一步讨论了这会如何影响形式化数学的未来，以及数学家该如何适应这一变化。
「研究」频道最新
- uv-scripts/ocr重回HF热门榜并新增JSON模型选择目录 — vanstriendaniel · 2026-07-21
- DeepSearch-World 用 42 万可验证问答训练网页智能体 — HKUST · 2026-07-21
- GigaAM Multilingual 用 200 万小时音频攻低资源语音识别 — ai-sage · 2026-07-21
- WorldCupArena 用 104 场球赛评测语言模型预测能力 — Zhaokai Wang · 2026-07-21
- Reddit 讨论：LLM 需不需要“寻宝式推理”基准 — StrangeOops · 2026-07-21
- 开源 LangGraph 编码 agent 只在测试通过后提交补丁 — wusuiling-if · 2026-07-21