导读
OpenAI表示，通过调动约10000个AI智能体协同工作，仅用88小时就解决了著名的七大千禧年难题之一——纳维-斯托克斯方程的存在性与光滑性问题。以下为外媒报道。
双语文本
OpenAI says it has found a solution to a decades-old advanced maths problem in a matter of hours using a new artificial intelligence (AI) model and thousands of AI bots.
OpenAI表示，它利用一种新的AI模型和数千个AI机器人，在数小时内解决了一个困扰数十年的高等数学难题。
The ChatGPT-maker said on Tuesday that by focusing a group of roughly 10,000 AI agents, or AI bots that undertake tasks somewhat autonomously, it solved a notoriously difficult maths problem in just 88 hours.
这家ChatGPT的研发商周二表示，通过集中大约一万个AI智能体，也就是能在一定程度上自主执行任务的AI机器人，它仅用了88个小时就解决了一道出了名的数学难题。
The problem was part of the Navier-Stokes equations, which concern how fluids move. For 90 years important aspects of the problems have lacked a proof, the argument underlyinga correct math equation. OpenAI called the solution which it found a "milestone" and evidence that AI tools are improving quickly.
这个问题是纳维-斯托克斯方程的一部分，该方程涉及流体如何流动。90年来，这个问题的重要方面一直缺乏证明，也就是支撑正确数学方程的论证。OpenAI称其找到的解决方案是一个“里程碑”，并表明人工智能工具正在迅速发展。
OpenAI's solution has yet to be verified independently or publicly accepted by The Clay Mathematics Institute, a maths organisation based in the US which runs the Millennium Prize that offers big moneyto the first to solve certain mathematical conundrums.
OpenAI的解决方案尚未得到独立验证，也未被美国数学机构克雷数学研究所公开认可。该研究所设立了千禧年大奖难题，会为首个解决某些特定数学难题的人提供巨额奖金。
相关表达
1.underlie vt.是…的原因; 是…的基础
释义：If something underlies a feeling or situation, it is the cause or basis of it.
例：Try to figure out what feeling underliesyour anger.
设法找出什么情绪是你生气的原因。
2.big money一大笔钱
释义：Big money is an amount of money that seems very large to you, especially money which you get easily.
例：They began to makebig moneyduring the war.
他们在战争年代开始赚大钱。
3.conundrum n.难解之谜
释义：A conundrum is a problem or puzzle which is difficult or impossible to solve.
例：The professor presented a theoretic conundrumto the class.
教授向全班提出了一个理论难题。
进资源群领取可可英语APP内几大重点栏目文章音频+PDF讲义文件返回搜狐，查看更多