当前位置: 首页 > news >正文

23岁业余爱好者借助ChatGPT攻克60年未解数学难题,新方法或有广泛应用

突发:业余爱好者用AI攻克60年数学难题

ChatGPT人工智能用一种人类从未想过的方法证明了一个猜想,专家认为它可能还有更多用途。利亚姆·普莱斯年仅23岁,没有接受过高等数学训练,但凭借ChatGPT Pro订阅服务,攻克了世界级数学家们尝试多年未解决的60年难题。

人工智能最近因解决一系列“埃尔德什问题”成为头条新闻,这些猜想是数学家保罗·埃尔德什留下的。但专家警告,这些问题不能完美衡量人工智能的数学能力,问题在重要性和难度上差异大,且许多人工智能给出的解决方案并不像看起来那么有创新性。

普莱斯向GPT - 5.4 Pro提出问题后得到的新解决方案有所不同。它解决的问题难住了杰出数学家,颇具声望,且人工智能似乎使用了全新方法。这种由大语言模型提出的思路可能有更广泛应用,在最近被大肆宣扬的人工智能数学成果中很难见到。

业余爱好者的突破

加州大学洛杉矶分校的数学家陶哲轩表示,这个问题之前人们研究时集体走错方向,现在看来可能比预期简单,存在某种思维障碍。

普莱斯解决的问题涉及特殊的整数集合,集合中任何一个数都不能被其他数整除,埃尔德什将这些集合称为“本原集”,与质数有关。斯坦福大学的数学家贾里德·利希特曼解释,这是将质数定义从单个数字推广到一组数字,任何一组质数都是本原集。

埃尔德什提出了埃尔德什和,他证明这个和的最大值约为1.6,并猜想这个值对于所有质数的(无限)集合也一定成立,利希特曼在2022年证明了埃尔德什是正确的。埃尔德什还猜测分数的最小值恰好是1,当集合中的数字趋近于无穷大时,分数会趋近这个极限,利希特曼试图证明但陷入困境。

普莱斯在空闲周一下午将问题输入ChatGPT时并不了解这段历史,他只是像往常一样做埃尔德什问题,让人工智能解答,结果它给出了看起来正确的解决方案。他把结果发给伙伴凯文·巴雷托,巴雷托意识到结果很特别,通知的专家们也很快注意到了。

陶哲轩说,之前研究这个问题的人有标准解题步骤,大语言模型采用了完全不同的方法,使用了数学相关领域中广为人知的公式,但之前没人想过应用到这类问题上。

利希特曼表示,ChatGPT的证明原始输出相当糟糕,需要专家梳理理解。他和陶哲轩已简化证明过程,提炼大语言模型的关键见解。他们还看到了人工智能这一认知突破的其他潜在应用,陶哲轩认为其长期意义还有待观察。利希特曼很有信心,因为ChatGPT的发现证实了他从研究生阶段就有的感觉。

支持科学新闻事业

如果喜欢这篇文章,可通过订阅支持屡获殊荣的新闻报道。购买订阅服务有助于确保持续报道塑造当今世界的发现和思想。

订阅《科学美国人》,将帮助确保报道聚焦有意义的研究和发现,有资源报道威胁美国各地实验室的决策,支持初出茅庐和正在工作的科学家。作为回报,将获得重要新闻、引人入胜的播客、精彩的信息图、不容错过的时事通讯、必看的视频、富有挑战性的游戏,以及科学界最优秀的写作和报道,甚至可以为他人赠送订阅服务。

探索《科学美国人》

  • 最新一期
  • 新闻
  • 观点
  • 时事通讯
  • 播客
  • 游戏
  • 旅行

关于公司

  • 关于我们
  • 新闻室
  • 常见问题
  • 联系我们
  • 标准与道德
  • 国际版
  • 广告投放

更多信息

  • 无障碍声明
  • 使用条款
  • 隐私政策
  • 美国州隐私权利
  • 关于使用Cookie/不售卖我的数据
  • 退换货政策
http://www.jsqmd.com/news/705246/

相关文章:

  • 上海永辉超市卡回收指南 - 京顺回收
  • Arm Total Compute时钟控制架构与低功耗设计解析
  • XGBoost数据预处理实战:类别编码与缺失值处理
  • 风控误杀为什么总压不下来?从样本回溯、规则调优到效果评估一次讲透
  • WASM边缘服务上线倒计时:Docker Compose v2.22起支持wasm32-wasi,但92%开发者还没启用这个flag
  • FinAgent-从多数据源分析、Agent 编排到 Debate / Memory / Reflection 的工程化落地(二)
  • 如何自动同步SQL异构表数据_利用触发器实现实时数据复制
  • 画图工具推荐:绘制架构图、流程图
  • DESIGN.md:用Markdown构建AI可理解的设计系统,实现精准UI生成
  • AndroidStudio中文语言包深度解析:IDE本地化架构设计与实战应用
  • 哔咔漫画下载器:打造个人离线漫画图书馆的终极解决方案
  • Edgi-Talk开发套件:边缘AI全栈解决方案解析
  • MCP 2026AI推理集成灰度发布SOP,支持毫秒级流量切分与自动回滚(内置2026AI-RTT协议v0.9.3-beta签名验证机制)
  • 揭秘浮点数:从数值表示到编码及特殊值处理
  • 保姆级教程:用GD32F103的DAC+TIMER+DMA生成正弦波,示波器实测波形稳如老狗
  • UE4 GAS Buff 模块源码阅读
  • AgentNetworkProtocol:为AI智能体协作定义标准化网络协议
  • 县域建设面板数据2015-2022年
  • 通达信缠论插件ChanlunX终极指南:3步实现专业级技术分析
  • 手把手教你为Linux串口编程封装一个实用的C语言库(支持中断模式)
  • Terra API招聘应用AI策略师,助力健康数据与人工智能领域发展
  • SpringBoot配置文件加密进阶:手把手教你自定义Jasypt加密算法和前缀后缀(告别默认ENC)
  • 从Sourcemap泄露事件看前端构建安全与AI代理架构设计
  • MCP 2026农业物联对接失败的终极归因图谱(覆盖17类农机/12类环境传感器/9种国产PLC),今天不看,下周播种季系统宕机风险↑300%
  • MCP 2026多租户隔离配置深度拆解(K8s+eBPF+OPA三位一体隔离架构首次公开)
  • 微信网页版终极解决方案:3分钟解锁浏览器聊天新体验
  • 3分钟快速上手:无需安装的免费在线SVG编辑器完全指南
  • VS Code MCP插件生态搭建全链路手册(2026黄金窗口期倒计时)
  • VS Code Copilot Next 配置避坑黄金三角:权限粒度 × 语言服务器绑定 × Workspace Trust 状态(实测137次失败回溯)
  • 哈希算法核心特性解析