社区Hacker News2026/04/26 01:404700
• 业余爱好者用 ChatGPT 证明 Erdős 1196 号问题
• 通过提示工程引导模型生成构造性证明思路
一位业余数学爱好者利用 ChatGPT（GPT‑4）在多轮提示下完成了 Erdős 第 1196 号未解问题的证明。文章阐述了问题背景、提示工程技巧、模型生成的关键推理以及使用 SymPy/SageMath 进行符号验证的实现细节，并提供完整代码供复现，展示了 LLM 在高阶数学研究中的应用潜力。
专题：symbolic-computation
按该标签聚合的大模型资讯列表（自动分类与标签提取）。共 1 篇文章。