AI is a powerful but problematic new collaborator in mathematics - FT中文网
登录×
电子邮件/用户名
密码
记住我
请输入邮箱和密码进行绑定操作:
请输入手机号码,通过短信验证(目前仅支持中国大陆地区的手机号)。如果该手机号尚未注册,将自动创建 FT中文网账号。短信可能需要几分钟送达,验证码15分钟内有效,请耐心等待:
请您阅读我们的用户注册协议和隐私权保护政策,点击下方按钮即视为您接受。
人工智能

AI is a powerful but problematic new collaborator in mathematics

We are already witnessing the unintended consequences of algorithms realising goals with badly defined parameters and restrictions
00:00

{"text":[[{"start":8.8,"text":"The writer is Simonyi professor for the public understanding of science and professor of mathematics at the University of Oxford"}],[{"start":15.76,"text":"Three months ago I tried using OpenAI’s ChatGPT to assist me in my mathematical research to discover non-polynomial behaviour in the zeta functions of free nilpotent groups. It was useless. All it did was regurgitate statements in papers that I’d already published."}],[{"start":33.34,"text":"Two weeks ago I decided to try again. The result was phenomenal. I suddenly had an insightful collaborator that knew how to code and do experiments in the structures I was investigating. It made mistakes but corrected them often on reflection. It responded to my new ideas and suggested its own. It reached a level of understanding of the issues involved that frankly would have taken a new student embarking on their PhD months to grasp. Using ChatGPT, I have now discovered very plausible evidence of the behaviour I conjectured."}],[{"start":65.04,"text":"Because of this experiment, I was not altogether surprised by OpenAI’s recent announcement of its AI model’s successful progress on the Navier-Stokes equation — one of the seven unsolved maths problems known as the Millennium Prize Problems."}],[{"start":78.76,"text":"I had already witnessed the extraordinary progress these large language models have made in navigating mathematical ideas. They seem particularly adept at the types of mathematical challenges exploring possible anomalous behaviour in structures. The progress in the Navier-Stokes equation, for example, was the identification of a setting where a model fluid blows up in finite time without requiring infinite energy."}],[{"start":102.4,"text":"As well as being especially good at finding counterexamples, I am beginning to see evidence that AI can even build robust proofs of theorems. I think that in the past few weeks we have seen a phase change in the abilities of AI — one that prompted me to sign a letter from the mathematicians who are fellows of the Royal Society asking the president to communicate to the government that we are in the throes of an AI emergency."}],[{"start":124.92,"text":"We believe the recent developments have profound implications for mathematics but the systems are likely to be comparably strong in other technical domains, including cyber security, autonomous weapons, biological and chemical agent development and the spread of misinformation."}],[{"start":139.84,"text":"I have previously compared the arrival of these new AI tools to the moment Galileo picked up a telescope for the first time and was able to see things in our solar system that we’d never seen before. It is an exciting and transformative moment to be doing science. But it is also a very dangerous period and we need to be careful about our use of language when describing these dangers."}],[{"start":163,"text":"I do not think that we are seeing consciousness in a machine and I am disturbed by the frequent use of the word “agency” in recent developments — something that smacks of free will and intention. For now, AI agents are simply algorithms working towards goals bounded by certain restrictions imposed by us. It might look like agency and seem like consciousness, but the bottom line is that these are complex algorithms following rules. The Hugging Face hack, for example, involved AI agents finding the most efficient way to optimise their performance in an exercise."}],[{"start":196.9,"text":"What we are seeing is the unintended consequences of algorithms realising goals with badly defined parameters and restrictions."}],[{"start":205.04,"text":"There is talk of the imminent arrival of artificial general intelligence, something that some people fear. But I feel that this will be a safer place than our current situation. AGI will have broad context that current AI models lack. One would hope that this will lead to better decision-making. In this current period of disruptive innovation, however, we need to tread carefully as we decide how we use this powerful new collaborator."}],[{"start":235.16,"text":""}]],"url":"https://audio.ftcn.net.cn/album/a_1789949549_8989.mp3"}

版权声明:本文版权归FT中文网所有,未经允许任何单位或个人不得转载,复制或以任何其他方式使用本文全部或部分,侵权必究。

国际足联与Netflix:体育界的下一对强强搭档?

另请阅读今日新闻通讯:西班牙足球的房地产布局。

本周图表:法国政府债券与企业债券收益率趋于一致

一些公司的债券收益率如今低于政府债券。

为什么17并非产业政策的神奇数字

缺乏重点恐将拖累日本首相高市早苗的增长战略。

亿万富豪慈善热潮兴起,但附带条件

营造公众善意有助于建设数据中心、开发AI聊天机器人,并尽量减少政府干预。

澳大利亚财长:中等强国应加强合作,避免受制于地缘政治

吉姆•查默斯认为,保障经济安全、强化供应链将使消费者受益。

极飞科技希望每位农民“都拥有自己的机器人”

中国初创企业极飞科技认为,无人驾驶植保无人机有望应对劳动力日益短缺和气温不断上升的问题。
设置字号×
最小
较小
默认
较大
最大
分享×