资讯
人类的数学研究要被AI接管了?
📋总体概括
据传OpenAI用在研大模型攻克千禧年数学难题纳维-斯托克斯方程存在性与光滑性问题,规模惊人:约一万个并发智能体协同工作,智能体间发送270万条消息进行沟通协作,算力消耗巨大。若属实,这将是AI首次独立攻克千禧年七大数学难题之一,标志着AI从辅助工具向自主科研主体跃迁,但也引发人类数学研究地位之争。目前该消息尚未经权威数学界同行评审证实。
⚡关键信息
- ▸传闻OpenAI用在研内部大模型攻克千禧年难题纳维-斯托克斯方程的存在性与光滑性问题
- ▸证明过程动用约一万个并发智能体协同工作
- ▸智能体之间相互沟通协作共发送270万条消息
- ▸算力消耗约1后面数字被截断,总消耗规模不详
- ▸该消息尚无正式论文或数学界同行评审背书,真实性待验证
🔥犀利点评
先泼冷水:千禧年难题这种级别的成果,未经正式论文和数学界严格验证就靠自媒体放风,可信度要打问号,当年多少AI解题乌龙都是这么炒起来的。但方向没错——大规模智能体协作做形式化证明,确实是AI for Science最可能的突破口。真要接管数学研究,先拿出能让陶哲轩点头审阅的完整证明,而不是一串营销味的数字。
📰 相关资讯(与本文相关的其他资讯)
本文由本站自动聚合,以下为原始来源:前往 虎嗅 阅读全文 →