LLM正深刻变革数学证明却遭媒体冷遇

开发者 David Crawshaw 指出，大语言模型（LLM）正在对数学证明领域产生变革性影响，甚至已能解决开放性数学问题，但这一现象却未获得媒体的足够关注。他批评了当前 AI 圈的割裂感：部分人仍质疑 LLM 不能用于科研，而实际上开发者们早已在日常中成功利用 LLM 辅助研究，大幅改变了传统数学探索的模式。

2026-08-02 ~ 2026-08-02 · 2 条相关

• LLM 正在颠覆数学证明，媒体为何视而不见？ — davidcrawshaw · 2026-08-02
• LLM正解决开放数学题，却仍被质疑不能用于科研？ — technollama · 2026-08-02