普林斯顿数学家自述：AI 首次在其十年难题上产出漂亮结果

普林斯顿数学家 littmath 发长文讲述与 AI 协作做数学的体验：他思考约 10 年的一个数学问题仍未解决，但已形成指导当前工作的研究纲领，而模型首次在该项目中产出漂亮的部分结果。他随后补充说明，希望展示模型不只能「一次性解题」，还可以这样被用于做数学，并分享了部分专业数学家的看法。

2026-09-05 ~ 2026-09-05 · 2 条相关

• 数学家自述：模型首次在其十年研究项目中产出漂亮的部分结果 — littmath · 2026-09-05
• 数学家补充：模型不只是一次性解题，专业数学家正这样用 AI — littmath · 2026-09-05