当前位置: 首页  >> 智能环球  >> 查看详情

AI智能体八十八小时解出千禧年难题之一 引起“抢发”数学家成果争议

来源: 科技日报   日期:2026-09-10  责编: 殷绪江  
分享:
   当地时间8日,据OpenAI官方社交媒体及外媒网站消息,OpenAI发布声明称,一个比GPT-6 Astra更强、尚未公开的下一代模型,组织约1万个AI智能体,用88小时给出了纳维—斯托克斯方程存在性与光滑性问题的证明,并同步公开166页论文和Lean(计算机定理证明器)验证代码。
  该题是克雷数学研究所七大千禧年难题之一,悬赏100万美元求解,OpenAI称不会申领奖金。该事件目前已引发数学界争议,有数学家质疑AI是在访问了他们正在做的研究后才做出了成果。OpenAI披露,内部模型8月28日起开始训练。首批智能体启动约88小时后,系统9月5日得到解法,Astra再用17小时完成Lean形式化。
  该数学问题核心是三维流体能否永远平滑,还是有限时间出现奇点。OpenAI未证明无外力解必然光滑,而选择克雷题目的C、D方向:构造有限且处处光滑的外力,使光滑解不能维持到所有时间。
  此次取得成果的关键不只在模型,也在组织。AI智能体分组拿到不同题面,可读缓存互联网、跑代码并组内交流;近100个智能体先用约50小时做出无外力欧拉方程有限时间奇点,随后资源转向纳维—斯托克斯,由Codex汇总思路并交叉分发。但争议也马上随之而来。消息公布后,美国纽约大学教授特里斯坦·布克马斯特称,他与一名Anthropic研究员此前在相近方向得到带光滑外力的欧拉方程有限时间奇点,并完成Lean验证;因曾用Codex处理过对话,他质疑OpenAI模型是否接触会话影响了训练数据,并称对方曾提议由他单独发表。OpenAI官方称,研究人员和AI智能体未见其成果,也未为解题访问特定用户数据,但不能完全排除相关产品数据曾以某种方式参与训练,并强调双方欧拉问题外力设定不同。OpenAI将此成果称为通用AI(AGI)进入前沿科学发现的信号,结论仍待数学界独立检验。




 


手机端 点一点或扫一扫
咨询、采访、合作、投稿等请致电:13911566744(含微信)
         
凡注明 “环球科技网” 字样的图片或文字内容均属于本网站专稿,如需转载图片请保留 “环球科技网” 水印,转载文字内容请注明来源“环球科技网”;凡本网注明“来源:XXX(非环球科技网)”的作品,均转载自其它媒体,转载目的在于传递更多信息,并不代表本网赞同其观点和对其作品内容的实质真实性负责,转载信息版权属于原媒体及作者。如转载内容涉及版权或者其他问题,请投诉至邮箱;1978751725@qq.com 
本网公告:本网系北京伯乐传媒广告有限公司主办、所持有。唯一域名(www.hqkjw.cn),其它域名链接均为假冒。望广大网民及企业主认真甄别。
 

 





     
 
 


 

相关文章

  • 中国机器人出海,热潮之下有隐忧 中国机器人出海,热潮之下有隐忧 2026-09-10 10:43:36

       9月上旬,无界动力(北京)技术研发有限公司(以下简称“无界动力”)一批全尺寸 K15机器人远渡重洋,抵达法国。按照计划,K15在远景动力法国电池超级工厂的现场部署即将启动,实现精准上下料、搬运料箱等长程自主作业。   随着首批K15交付,无界动力产品解决方案总经理沈明达暂时松了口气。几个月来,他的日程表排得... [阅读]

  • 暗藏航空与网络风险!宇树机器狗曝出安全隐患 暗藏航空与网络风险!宇树机器狗曝出安全隐患 2026-09-09 19:14:26

       近日媒体调查曝光,闲鱼部分机器人租赁商家存在篡改宇树机器狗电池标签的灰色服务,撕掉原厂421.2Wh电池标签,伪造参数改为97.92Wh,刻意卡在民航100Wh随身登机红线,改标服务加价100至200元对外售卖。按照民航规定,该大容量电池严禁随身及托运,一旦客舱内发生短路热失控,将带来严重飞行安全风险。   据了解,宇树旗下机型仅... [阅读]

  • 科技改变生活 创新赢得未来 安吉县 2026 年全国科普月暨第二届人工智能科技节正式启幕 科技改变生活 创新赢得未来 安吉县 2026 年全国科普月暨第二届人工智能科技节正式启幕 2026-09-09 09:21:14

       【环球科技网】9月8日上午,2026年全国科普月暨安吉县第二届人工智能科技节在安吉实验小学教育集团城西校区举行。本次活动由安吉县科学技术协会、安吉县教育局、安吉县科学技术局联合主办,安吉实验小学教育集团城西校区、杭州中丞机器人科技有限公司承办,以“科技改变生活 创新赢得未来”为主题,汇聚多方力量开展形式丰富的... [阅读]

  • 从展台到灶台:餐饮机器人加速奔“现” 从展台到灶台:餐饮机器人加速奔“现” 2026-09-08 10:36:01

       从前厅迎宾互动、甜品饮品制作,到后厨炒菜煮面、传菜出餐,曾经只亮相于科技展会或停留在概念演示中的餐饮机器人,正走出“样板间”、告别流量噱头,开始大规模在经营门店落地。机器人正悄然渗透餐饮服务全链条。餐饮机器人上岗的热闹景象背后,真实落地体验究竟如何?能否适配线下门店复杂经营场景?商业化普及还有哪些现实阻碍?带... [阅读]

新闻排行榜