← Quanta Magazine

Live from ICM 2026: What Is Math For in the Age of AI?

ICM 2026 直播:人工智能时代数学有何用处?
2026-09-03  ·  Quanta Magazine  ·  原文

Mathematicians are witnessing a profound shift in their field.

数学家们正在见证他们的领域发生的深刻转变。

AI systems are now producing proofs, spotting connections between distant fields, and, in a few cases, solving problems that had stumped mathematicians for decades.

人工智能系统现在正在提供证明,发现遥远领域之间的联系,并在某些情况下解决困扰数学家数十年的问题。

The pace of progress over the past several months has raised challenging questions: What can AI systems actually do?

过去几个月的进展速度提出了具有挑战性的问题:人工智能系统实际上能做什么?

And what happens to the more human, creative aspects of the field once machines can match – or exceed – people at problem-solving?

一旦机器在解决问题方面能够与人类相匹配或超过人类,那么该领域中更人性化、更具创造性的方面会发生什么?

In this special live episode of The Joy of Why , recorded at the International Congress of Mathematicians in Philadelphia on July 26, 2026, hosts Janna Levin and Steven Strogatz are joined by three mathematicians responding to the rise of AI in math: Akshay Venkatesh at the Institute for Advanced Study; Ravi Vakil at Stanford University and president of the American Mathematical Society ; and Alex Kontorovich at Rutgers University.

在 2026 年 7 月 26 日在费城举行的国际数学家大会上录制的《The Joy of Why》特别现场节目中,主持人 Janna Levin 和 Steven Strogatz 与三位数学家共同应对人工智能在数学领域的兴起:高等研究院的 Akshay Venkatesh; Ravi Vakil 斯坦福大学教授、美国数学会主席;和罗格斯大学的亚历克斯·康托罗维奇。

Together they discuss what recent AI-generated proofs really demonstrate, what will be gained and lost as mathematics becomes more machine-assisted at the frontier, and what this means for the next generation of mathematicians.

他们一起讨论了最近人工智能生成的证明真正证明了什么,随着数学在前沿变得更加机器辅助,将会获得什么和失去什么,以及这对下一代数学家意味着什么。

The conversation turns to a deeper question: What do mathematicians value about doing mathematics in the first place?

谈话转向一个更深层次的问题:数学家首先看重数学的什么?

The answer involves grappling with what proof and understanding really mean, and the surprising importance of storytelling.

答案包括理解证明和理解的真正含义,以及讲故事的惊人重要性。

Listen on Apple Podcasts , Spotify , TuneIn or your favorite podcasting app, or you can stream it from Quanta .

在 Apple 播客、Spotify、TuneIn 或您最喜爱的播客应用程序上收听,或者您也可以从 Quanta 进行流式传输。

JANNA LEVIN

Thank you so much for being here.

非常感谢您来到这里。

I’m Janna Levin.

我是詹娜·莱文。

STEVE STROGATZ

And I’m Steve Strogatz.

我是史蒂夫·斯特罗加茨。

LEVIN

And this is The Joy of Why .

这就是“为什么的喜悦”。

Welcome to our first live.

欢迎来到我们的第一次直播。

STROGATZ

Yes, The Joy of Why , a podcast where we consider some of the biggest unanswered questions in math and science today.

是的,《The Joy of Why》是一个播客,我们在其中思考当今数学和科学中一些尚未解答的最大问题。

And we’re very excited to be coming to you from the International Congress of Mathematicians 2026.

我们非常高兴能够参加 2026 年国际数学家大会。

It really does feel like a historic moment.

这确实感觉像是一个历史性的时刻。

The stakes are pretty high for the future of math.

对于数学的未来来说,赌注相当高。

And we’ve had a good run for three, four thousand years doing this on our own.

三、四千年来,我们靠自己的努力已经取得了良好的成绩。

But there’s a new kid in town — artificial intelligence.

但镇上出现了一个新事物——人工智能。

And it’s starting to play with us, and our field.

它开始影响我们和我们的领域。

And so we’re excited to hear what our panelists have to say about the interaction between math and artificial intelligence, now and in the short term and maybe in the longer term.

因此,我们很高兴听到我们的小组成员对数学和人工智能之间的相互作用的看法,无论是现在、短期还是长期。

So let me introduce our distinguished panel here.

让我在这里介绍一下我们尊敬的小组。

First up, I see Akshay Venkatesh from the Institute for Advanced Study.

首先,我见到了来自高等研究院的 Akshay Venkatesh。

And next to him, we’ve got Ravi Vakil from Stanford University.

在他旁边的是斯坦福大学的拉维·瓦基尔 (Ravi Vakil)。

And rounding out the panel, there’s Alex Kontorovich from Rutgers.

来自罗格斯大学的 Alex Kontorovich 是小组的最后成员。

All right, Janna, do you wanna get us launched in our discussion?

好吧,詹娜,你想让我们开始讨论吗?

LEVIN

Yeah, I thought maybe we’d start with some of the recent advances that gave some mathematicians pause, while others were very blasé and unimpressed.

是的,我想也许我们应该从最近的一些进展开始,这些进展让一些数学家犹豫不决,而另一些数学家则非常厌倦和不为所动。

I’m going back to the 2024 International Mathematical Olympiads when AlphaProof achieved a silver medal, and then later in 2025, a more advanced model with DeepThink achieved a gold medal.

我回想起 2024 年国际数学奥林匹克竞赛,当时 AlphaProof 获得了银牌,然后在 2025 年晚些时候,DeepThink 的更先进模型获得了金牌。

I first want to ask before we get into exactly how it was done, how many of you participated in the International Mathematical Olympiads back in your day?

在我们具体讨论它是如何完成之前,我首先想问一下,你们中有多少人参加过国际数学奥林匹克竞赛?

You did?

你做到了吗?

You did?

你做到了吗?

And will you tell people about it?

你会告诉人们这件事吗?

’Cause some of our audience might not know it’s, six problems, nine hours, two days, and high-school-aged competitors.

因为我们的一些观众可能不知道这是六个问题、九小时、两天和高中年龄的竞争对手。

Tell us what it was like.

告诉我们那是什么样的。

STROGATZ

I’ve heard that Ravi was a terror at this.

我听说拉维对此感到恐惧。

Jordan Ellenberg was talking about how you used to kick his you-know-what at that competition.

乔丹·埃伦伯格正在谈论你在那场比赛中如何踢他的“你知道的东西”。

LEVIN

Yeah, people at the conference have been talking about how you terrorize them.

是的,会议上的人们一直在谈论你如何恐吓他们。

RAVI VAKIL

So, so I first, I first met Akshay at the event, I should say, although he may not remember.

所以,我首先是在活动中第一次见到阿克谢,我应该说,尽管他可能不记得了。

AKSHAY VENKATESH

I don’t.

我不知道。

Sorry.

对不起。

VAKIL

Exactly.

确切地。

Because he was quite young.

因为他还很年轻。

Uh, but it’s one of the many roads into mathematics.

呃,但这是通往数学的众多道路之一。

There’s no royal road to mathematics, but this is one of the many ways by which we attract people into mathematics, and it’s also a great way of advertising mathematics, and it helps to develop a certain way of mathematical thinking.

通向数学没有康庄大道,但这是我们吸引人们进入数学的众多方式之一,也是宣传数学的好方法,它有助于发展某种数学思维方式。

Uh, the important thing about the competition isn’t the six people or the problems, it’s how it encourages millions and millions of kids to hone their minds.

呃,比赛重要的不是六个人或者问题,而是它如何鼓励数以百万计的孩子磨练他们的思想。

So, it was wonderful when the models did well.

所以,当模型表现出色时真是太棒了。

It was really a proof of concept.

这确实是一个概念验证。

I think it was extremely interesting, and I think it can both be an amazing milestone reached, while also I think perhaps people might have misinterpreted it.

我认为这非常有趣,我认为这既可以是一个令人惊奇的里程碑,同时我也认为人们可能会误解它。

So, the first time a model answers a question, it’s exciting.

因此,模型第一次回答问题是令人兴奋的。

A milestone is reached.

达到了一个里程碑。

The first time a student answers a question, it’s exciting for a different reason, because they’ve learned how to think.

学生第一次回答问题时,会因为不同的原因而感到兴奋,因为他们学会了如何思考。

And the seventh time a model answers a question, it’s far less interesting, and the seventh time a student answers the same question is far less interesting, for similar reasons.

出于类似的原因,模型第七次回答一个问题时,它就不再那么有趣了,而学生第七次回答同一个问题时,它也不再那么有趣了。

So, it was exciting, and I, I see it as only a good thing, but it did not represent, uh, superhuman intelligence or anything crazy like that.

所以,这很令人兴奋,我,我认为这只是一件好事,但它并不代表,呃,超人智慧或任何类似的疯狂事物。

LEVIN

And it wasn’t the highest score even in the year that it, it appeared.

即使在它出现的那一年,这也不是最高分。

VAKIL

Sure, but the next year it was, and next year after it will be, and I’m happy about that, and I’m absolutely not alarmed.

当然,但明年是,后年也是,我对此很高兴,而且我绝对不惊慌。

LEVIN

And Akshay, what’s your experience?

Akshay,你的经历如何?

VENKATESH

I think Ravi said it well.

我觉得拉维说得很好。

I think, you know, one unfortunate thing about this is it has contributed to the image, even among mathematicians, of mathematics as a competition, which is not really how I see it.

我认为,你知道,一件不幸的事情是,它甚至在数学家中也助长了数学作为一项竞赛的形象,而我实际上并不这么看。

and I think it’s particularly unhelpful at the moment.

我认为目前这特别没有帮助。

There’s some competitive drive.

有一定的竞争动力。

You know, when you’re young, you get validation if people think you’re good at something.

你知道,当你年轻的时候,如果人们认为你擅长某件事,你就会得到认可。

I have mixed feelings about how healthy this thing is.

我对这个东西的健康程度有着复杂的感觉。

VAKIL

As Akshay said, it could be a danger.

正如阿克谢所说,这可能是一个危险。

Everything’s a double-edged sword.

一切都是一把双刃剑。

People are driven out of mathematics because they think they’re not good because they didn’t do well in a competition, whereas that just makes no sense.

人们被赶出了数学,因为他们认为自己不好,因为他们在比赛中表现不佳,但这毫无意义。

STROGATZ

I’m very taken with your view of this.

我非常同意你的看法。

There’s that old saying about “It’s the journey, not the destination,” and you seem to be espousing that kind of philosophy, but it feels to me like that is also in embryonic form, something we might get to by the end of our discussion today because all of us may have to start wondering, is mathematics about the journey and not the destination?

有句老话说“这是旅程,而不是目的地”,你似乎信奉这种哲学,但在我看来,这也处于萌芽状态,在今天的讨论结束时我们可能会达到这一点,因为我们所有人可能不得不开始想知道,数学是关于旅程而不是目的地吗?

LEVIN

I, I was going to say for Alex, beyond that, that was 2025.

我,我要对 Alex 说,除此之外,那就是 2025 年了。

We’ve recently had some major advances recently published.

我们最近发布了一些重大进展。

One of the Erdős Problems was solved, and I’m just curious, one, if you were impressed, surprised, and sort of your reaction to that, and if you could set the stage of what the problem was that was solved.

埃尔多斯问题之一得到了解决,我只是好奇,第一,你是否对此印象深刻、感到惊讶,以及你对此的反应,以及你是否可以为问题的解决奠定基础。

ALEX KONTOROVICH

Sure.

当然。

Just to make one comment on the IMO, you know, two years ago we had, uh, AlphaProof, that you know, it was one point off of a gold medal.

只是为了对国际海事组织发表评论,你知道,两年前我们有,呃,AlphaProof,你知道,这距离金牌只有一分。

And by the way, no one’s handing medals to these companies.

顺便说一句,没有人向这些公司颁发奖牌。

They’re declaring themselves.

他们在宣告自己。

As, as having, uh —

作为,作为拥有,呃——

LEVIN

Right, self-declared gold medalist.

没错,自称金牌得主。

VAKIL

They’re handing medals to themselves.

他们正在为自己颁发奖牌。

KONTOROVICH

Yeah.

是的。

They- yeah, that’s right.

他们——是的,没错。

Um, and my prediction was that this summer, no AI models would get a gold medal ‘cause none of them would bother competing anymore.

嗯,我的预测是,今年夏天,没有人工智能模型会获得金牌,因为它们都不会再费心去竞争了。

So it’s not interesting for them.

所以这对他们来说并不有趣。

The fact that I can push a button on GPT 5.6 and get perfect scores on the IMO.

事实上,我可以在 GPT 5.6 上按下按钮并在 IMO 上获得满分。

So, okay, next.

那么,好吧,接下来。

What’s the next interesting thing?

下一个有趣的事情是什么?

That’s not interesting anymore, exactly as, as you were saying.

正如你所说,那已经不再有趣了。

But let me go back to your question about these Erdős Problems.

但让我回到你关于这些埃尔多斯问题的问题。

Okay, so we have problems that we’re working on, and as Akshay said, solving problems is just one small component of what mathematicians do.

好的,我们正在解决一些问题,正如阿克谢所说,解决问题只是数学家工作的一小部分。

We find definitions, we find new structures we’re interested in, we create new questions and new problems all the time.

我们找到定义,找到我们感兴趣的新结构,我们一直在创造新问题和新问题。

One person who just loved to ask questions and didn’t mind writing them down whether he was right or wrong, uh, was Erdős, and he wrote down thousands of them.

有一个人就是爱问问题,而且不介意把问题写下来,不管他是对还是错,呃,就是埃尔多斯,他写下了数千个问题。

And, thankfully, Tom Bloom, for whatever reason, several years ago decided to collect these into a database.

值得庆幸的是,汤姆·布鲁姆(Tom Bloom)无论出于何种原因,几年前决定将这些数据收集到数据库中。

The first time a model answers a question, it’s exciting.

模型第一次回答问题是令人兴奋的。

The seventh time a model answers a question, it’s far less interesting.

模型第七次回答问题时,就不再那么有趣了。

And what happens sometimes in mathematics, in fact, it happens with some frequency, is that problems that we thought were difficult end up being not nearly as difficult as we thought and doable by existing techniques if you only bothered to look at that problem and, uh, had the background necessary to apply the techniques that end up cracking it and making it easy.

在数学中有时会发生什么,事实上,它以一定的频率发生,就是我们认为困难的问题最终并不像我们想象的那么困难,并且可以通过现有技术解决,如果你只费心去研究这个问题,并且,呃,有必要的背景来应用最终破解它并使其变得容易的技术。

And so what AI is amazing at is: you give it 1,000 problems, and maybe it has a 1% hit rate, and that’s 10 good papers a year, which is a fantastic, uh, career in mathematics.

所以人工智能的神奇之处在于:你给它 1000 个问题,也许它的命中率只有 1%,那就是每年 10 篇好论文,这是一个非常棒的数学职业。

So, right now we’re seeing every day more and more of these Erdős, uh, style problems being announced.

所以,现在我们每天都看到越来越多的 Erdős,呃,风格问题被宣布。

How many of them are actual solutions as opposed to maybe partial progress or complete abject nonsense ’cause it’s just LLMs saying things, is one thing.

其中有多少是实际的解决方案,而不是部分进展或完全无意义的废话,因为这只是法学硕士在说的话,是一回事。

I think what you’re referring to is the Erdős unit distance conjecture, which is something that quite a lot of people knew, quite a lot of people worked on.

我想你指的是Erdős单位距离猜想,这是很多人都知道、很多人研究过的东西。

There was very significant, progress trying to, you know, get this constant to the conjectured value.

你知道,在尝试让这个常数达到推测值方面取得了非常重大的进展。

And, it turns out that the conjectured value is just wrong.

而且,事实证明,推测的值是错误的。

And, autonomously, uh, GPT found a counterexample, you know, constructed a solution where this exponent is not satisfied.

而且,呃,GPT 自主地找到了一个反例,你知道,构建了一个不满足该指数的解决方案。

What to me is most interesting about that, I mean, first of all, it’s brilliant.

对我来说最有趣的是,我的意思是,首先,它太棒了。

It’s fantastic.

太棒了。

This would be a really great contribution if it was a human being that came up with this counterexample.

如果是人类想出了这个反例,这将是一个非常伟大的贡献。

Um, the most fun thing about this is, a week later, a completely unrelated problem called the sum-product problem was also solved in the negative by human beings who were applying the ideas, the techniques that were exposed to us from this AI solution.

嗯,最有趣的是,一周后,一个完全不相关的问题,称为和积问题,也被应用从这个人工智能解决方案中向我们展示的想法和技术的人类以否定的方式解决了。

KONTOROVICH

So this, to me, is sort of the hopefully golden age that we’re going to enter.

所以,对我来说,这是我们即将进入的充满希望的黄金时代。

We’re gonna learn all kinds of amazing mathematics thanks to these techniques.

借助这些技术,我们将学习各种令人惊奇的数学。

But what is it?

但它是什么?

“If a theorem falls in the woods and no one cares, you know, does it have any value?” kind of thing.

“如果一个定理掉在树林里而没有人关心,你知道,它有任何价值吗?”之类的事情。

So I don’t think theorems have intrinsic value in the universe.

所以我不认为定理在宇宙中具有内在价值。

Mathematicians value them, and right now, AI companies value them because they’re great at marketing.

数学家重视他们,而现在,人工智能公司也重视他们,因为他们擅长营销。

They’re a great way for them to say, “Hey, my tool is better than the previous tool and all the other tools out there.” And it is very effective in that sense, and I think pretty soon AI companies will need other, you know, things that actually bring value to the world, which theorems do not, except for to mathematicians.

这是他们说“嘿,我的工具比以前的工具和所有其他工具更好”的好方法。从这个意义上讲,它非常有效,我认为人工智能公司很快就会需要其他真正为世界带来价值的东西,而定理则不会,除了数学家。

So but in their wake, they’ll leave us a fantastic tool to learn lots of amazing facts.

因此,在他们之后,他们将为我们留下一个很棒的工具来了解许多令人惊奇的事实。

LEVIN

I do worry that the ability to generate so many proofs that could be wrong could be a sinkhole for mathematicians, that there is now an industry of just checking those proofs.

我确实担心,生成如此多可能错误的证明的能力可能会成为数学家的一个陷阱,因为现在有一个只检查这些证明的行业。

Do any of you find yourself lured by the attraction of checking some of these proofs?

你们中有人发现自己被检查其中一些证据的吸引力所吸引吗?

I mean, some of our very prestigious colleagues have done that, right, have offered their services.

我的意思是,我们的一些非常有声望的同事已经做到了,是的,已经提供了他们的服务。

Would you ever do it, Akshay?

阿克谢,你会这么做吗?

To referee like Terry Tao did.

像陶渊明一样担任裁判。

VAKIL

100 AI slot proofs.

100 张 AI 老虎机样张。

Would you, would you, would you sign up for that?

你愿意、你愿意、你愿意报名参加吗?

KONTOROVICH

How much would someone have to pay you?

有人要付给你多少钱?

STROGATZ

There’s a lot of glamour.

有很多魅力。

Come on, how can you resist?

来吧,你怎么能抗拒呢?

VENKATESH

But this is, I think, adjacent to a very real problem in our community, which is about the functioning of journals and how they will manage in this.

但我认为,这与我们社区中一个非常现实的问题相邻,即关于期刊的运作以及它们将如何管理这一问题。

So I think as a community, there are a lot of systems that we have to be looking at which are gonna be placed under immense strain.

所以我认为作为一个社区,我们必须考虑很多系统,这些系统将承受巨大的压力。

VAKIL

Right.

正确的。

Part of the issue is that people are not gonna be lining up to do this.

部分问题在于人们不会排队这样做。

The reason they’re under strain is we’re being flooded, where the flood is only beginning of a large quantity of material, some of which, really amazing things are happening.

他们承受压力的原因是我们正在被洪水淹没,洪水只是大量物质的开始,其中一些确实令人惊奇的事情正在发生。

And also, I have in my inbox during these two hours, I’m not looking forward to seeing what kind of AI slop people are gonna send me, what amazing things they think they’ve proved.

而且,在这两个小时里,我的收件箱里,我并不期待看到人们会向我发送什么样的人工智能废话,他们认为自己已经证明了多么令人惊奇的事情。

And to be honest, I’m not going to check them.

老实说,我不会检查它们。

It’s not fun.

这并不好玩。

I don’t think theorems have intrinsic value in the universe.

我不认为定理在宇宙中具有内在价值。

Mathematicians value them, and right now, AI companies value them because they’re great at marketing.

数学家重视他们,而现在,人工智能公司也重视他们,因为他们擅长营销。

STROGATZ

It makes me think a little of this, um, trifecta that Terry Tao has been mentioning about concepts like proof generation, proof verification, which is what we’re talking about now, and also proof digestion, where we start to make sense of these proofs in human terms and can assess whether, how interesting they are.

这让我想起了 Terry陶提到的三个概念,比如证明生成、证明验证(这就是我们现在讨论的),以及证明消化,我们开始用人类的术语来理解这些证明,并可以评估它们是否有趣、有多有趣。

But I’m wondering if there might be another category of proof marketing.

但我想知道是否还有另一类证明营销。

VENKATESH

Well, I think I wanna also even question the assumption that proof is the central activity.

好吧,我想我什至还想质疑证据是核心活动的假设。

VENKATESH

Well, if I think about, you know, if I’m doing a piece of math, I probably think of it more akin to storytelling.

好吧,如果我想,你知道,如果我在做数学题,我可能会认为它更类似于讲故事。

You know, I’m trying to tell a story.

你知道,我正在尝试讲一个故事。

Uh-huh.

嗯嗯。

You know, perhaps the proofs are part of the grammar of that.

你知道,也许证明是语法的一部分。

That’s, you know, something that we should be thinking about.

你知道,这是我们应该考虑的事情。

Like, should we define this discipline by proofs?

比如,我们应该通过证明来定义这个学科吗?

And of course, we have done so, but I’m not sure it really matches with what we value and what we’re doing.

当然,我们已经这样做了,但我不确定它是否真的符合我们的价值观和我们正在做的事情。

VAKIL

I’d also like to strongly endorse what Akshay’s saying, ’cause I feel like…

我也强烈赞同阿克谢的说法,因为我觉得……

I also think this is what we have always valued.

我也认为这是我们一直以来所看重的。

This is not a change.

这不是一个改变。

This is something we’ve always valued, and we’ve had various proxies, and we’re forced to examine these proxies because of the change in technology.

这是我们一直重视的东西,我们有各种各样的代理,由于技术的变化,我们被迫检查这些代理。

But human understanding and the storytelling, My graduate students, they’re brilliant already.

但是人类的理解和讲故事,我的研究生,他们已经很出色了。

What I teach them, it’s the storytelling.

我教他们的是讲故事。

Learning how to do mathematics, is when you write a paper, you have to understand the human understanding and the conveying of the understanding.

学习如何做数学,就是当你写论文时,你必须了解人类的理解和理解的传达。

I claim this is what we’ve always wanted.

我声称这是我们一直想要的。

There have been brilliant mathematicians who’ve had ideas that went nowhere because they could not convince people of them.

曾经有一些杰出的数学家,他们的想法没有任何进展,因为他们无法说服人们相信这些想法。

And there are other people who’ve really changed fields who’ve just been excellent.

还有其他一些真正改变了领域的人,他们表现得非常出色。

Erdős is a good example of someone who’s changed mathematics, or there even, on a very different level, Martin Gardner is someone who probably has advanced mathematics much more than most people because of what he’s managed to do by storytelling.

埃尔多斯是改变数学的一个很好的例子,甚至在一个非常不同的层面上,马丁·加德纳可能比大多数人拥有更多的高等数学,因为他通过讲故事成功做到了这一点。

STROGATZ

I think storytelling is not a term that would occur to most people, so I think you’re on the hook now, both of you, to explain to us what are you talking about?

我认为讲故事并不是大多数人都会想到的一个术语,所以我认为你们现在有责任向我们解释一下你们在说什么吗?

VENKATESH

I think that that was the best, uh, word I could use for the process of You know, I’m working on something.

我认为这是最好的,呃,我可以用这个词来形容“你知道,我正在做某事”的过程。

There’s some landscape which I’m exploring, and there are all these things in that landscape, and I’m sort of thinking, “How will I tell a story that will be interesting and engaging for my colleagues?”

我正在探索一些景观,那里有所有这些东西,我在想,“我将如何讲述一个对我的同事来说有趣且有吸引力的故事?”

LEVIN

Is that how you’re drawn to problems?

这就是你被问题所吸引的方式吗?

I mean, math is one of the last places people with a straight face talk about beauty and elegance and, in this case, storytelling.

我的意思是,数学是人们板着脸谈论美丽和优雅以及讲故事的最后场所之一。

Can you give an example of that for somebody who’s not familiar with the idea that this is beautiful or narratively powerful.

对于那些不熟悉这种美丽或叙事力量的人来说,你能举个例子吗?

STROGATZ

Ravi, you, you look like you’re ready go.

拉维,你,你看起来已经准备好了。

VAKIL

I would say I cannot think of a major advance in mathematics that does not fit this paradigm.

我想说,我想不出数学上的任何重大进步不符合这个范式。

Let me just take Fermat’s Last Theorem as an example.

让我以费马大定理为例。

What makes Fermat interesting and Goldbach far less interesting.

是什么让费马有趣而哥德巴赫远没有那么有趣。

Uh, It’s because Fermat is part of a long and rich story.

呃,这是因为费马是一个漫长而丰富的故事的一部分。

People started to dig into it and, in the 1800s, it led to the opening of lots of rich questions.

人们开始深入研究它,在 1800 年代,它引发了许多丰富的问题​​。

And to be clear, it was beautiful, but it also was powerful.

需要明确的是,它很美丽,但也很强大。

The thing about mathematics is when you have an amazing story that is beautiful empirically.

关于数学的事情是,当你有一个从经验上来说很美丽的令人惊奇的故事时。

I don’t know why the universe works this way, but when you understand something and the story becomes simpler and simpler, you get something which is more and more powerful.

我不知道宇宙为什么会这样运作,但是当你理解某些东西并且故事变得越来越简单时,你会得到越来越强大的东西。

And there’s no question what the developments from the 19th century have led to in technology and science and in our standards of living.

毫无疑问,19 世纪的发展给技术和科学以及我们的生活水平带来了怎样的影响。

But it’s because people were curiosity-driven and so Fermat led to the development of a good chunk.

但这是因为人们是好奇心驱动的,所以费马带动了一大块的发展。

Well, not alone.

嗯,并不孤单。

It’s part of a grander story.

这是一个更宏大故事的一部分。

And then the final proof, it was way better the way it turned out because it required the building of a far more interesting story with dramatic bridges that had no right to be there between one way of thinking and completely different way of thinking.

然后是最终的证明,结果比结果要好得多,因为它需要构建一个更有趣的故事,并在一种思维方式和完全不同的思维方式之间建立戏剧性的桥梁,而这种桥梁没有权利存在。

And they were completely out of reach until they weren’t.

他们完全遥不可及,直到他们无法到达为止。

Until you had dramatic leaps of thought.

直到你有了戏剧性的思想飞跃。

There were cliffhangers.

其中有悬念。

There were examples where it looked like we were all done, and then, uh-oh, we weren’t.

有一些例子,看起来我们已经完成了,然后,呃哦,我们还没有。

And then the story is not over.

然后故事还没有结束。

Once you finish the book, you put the book down, and the best theorems are the ones where you’re waiting for the next volume.

一旦你读完这本书,你就把书放下,最好的定理就是你等待下一卷的定理。

And everyone is talking about it around the world to try to think of how the story continues.

世界各地的每个人都在谈论这件事,试图思考这个故事如何继续下去。

It’s hard to think of an example where things do not fit this.

很难想出一个与此不符的例子。

STROGATZ

Uh-huh.

嗯嗯。

I would like to just try to sharpen up this idea of story.

我想尝试强化这个故事的想法。

You’re talking about the interconnectivity across time and across disciplines of math.

你谈论的是跨时间和跨数学学科的互连性。

That math is this amazing, often sort of subterranean thing that occasionally pops up above the surface and we can see peaks, but we d-didn’t realize that there are these subterranean branches connecting parts that are invisible until…

数学是令人惊奇的,通常是一种地下的东西,偶尔会突然出现在地表之上,我们可以看到峰值,但我们没有意识到这些地下分支连接着看不见的部分,直到……

Okay, I’m my metaphor’s getting mixed up here.

好吧,我的比喻在这里混淆了。

I wanna question the assumption that proof is the central activity.

我想质疑证据是核心活动的假设。

If I think about if I’m doing a piece of math, I probably think of it more akin to storytelling.

如果我考虑我是否在做数学题,我可能会认为它更类似于讲故事。

But, uh, it’s something about that, that when you talk about a story, you mean something about the coherence of the subject, I think.

但是,呃,我认为,当你谈论一个故事时,你指的是主题的连贯性。

Uh, but I don’t know.

呃,但我不知道。

You wanna try to unpack that better than I just just did, Alex?

你想尝试比我刚才更好地解开这个谜团吗,亚历克斯?

KONTOROVICH

Maybe one way of saying it is that the question of Fermat’s Last Theorem, you know, this X to the N plus Y to the N equals Z to the N, has no consequences whatsoever in the universe.

也许一种说法是费马大定理的问题,你知道,这个X到N加上Y到N等于Z到N,在宇宙中没有任何后果。

No one really cares if it’s true or not.

没有人真正关心这是否真实。

You know, if there was some counterexample, would it destroy something about the universe?

你知道,如果有反例,它会破坏宇宙的某些东西吗?

Well, it turns out it would destroy something about the universe.

好吧,事实证明它会摧毁宇宙的某些东西。

It would destroy the Langlands program.

它将摧毁朗兰兹计划。

Uh, but, um, but that, that was a, a theorem that had to be proved.

呃,但是,嗯,但是那个,那是一个,一个必须证明的定理,.

But I, I think that question led to a series of other absolutely amazing breakthrough discoveries.

但我,我认为这个问题导致了一系列其他绝对惊人的突破性发现。

From the very beginning of that question, it led to the understanding of non-uniqueness of factorization in number fields, and the fact that we have to understand number fields as their own entities and so that one question, if all you think about is, “I wonder if that’s true or not,” for no reason whatsoever, and you just follow the thread of that story from one breakthrough to another, you get all the way down to, you know, this, uh, massive Taniyama-Shimura and, and so on, and Taylor-Wiles breakthrough.

从这个问题的一开始,它就导致了对数域中因式分解的非唯一性的理解,以及我们必须将数域理解为它们自己的实体这一事实,因此,如果你无缘无故地只想到“我不知道这是不是真的”,然后你只是沿着这个故事的线索从一个突破到另一个突破,你就会一路走到,你知道,这个,呃,巨大的谷山志村等等,泰勒-怀尔斯的突破。

So that’s a beautiful arching, overarching story, and we have many of these in mathematics.

所以这是一个美丽的、包罗万象的故事,我们在数学中有很多这样的故事。

Just to give one more, you know, the question of whether the parallel postulate, this fifth postulate in Euclid’s elements, can or can’t be proved from the other four.

再举一个问题,你知道,平行公设(欧几里得几何原理中的第五个公设)是否可以从其他四个公设中得到证明。

Seems like the most esoteric, useless thing.

似乎是最深奥、最无用的东西。

Who the hell cares, uh, if the fifth postulate can or can’t be proved from the other four?

谁在乎第五个公设能否从其他四个公设中得到证明?

It’s not like, we’re not even arguing about whether the fifth postulate is true or not.

这并不是说,我们甚至没有争论第五条假设是否正确。

We’re saying, you know, should it be a theorem or should it be an axiom in the theory?

我们说,你知道,它应该是一个定理还是理论中的公理?

And you follow the thread of that question 2,000 years all the way to Einstein’s general theory of relativity.

2000 年来,你沿着这个问题的线索一直到爱因斯坦的广义相对论。

LEVIN

And it very much matters to the universe.

这对宇宙非常重要。

STROGATZ

In that case too.

在那种情况下也是如此。

So Akshay, I feel like you really tapped into a rich vein with putting our attention on this concept of mathematical stories.

所以阿克谢,我觉得你确实挖掘了丰富的脉络,将我们的注意力集中在数学故事的概念上。

I’m also wondering, since you seem to be saying that proofs are not the zenith of what we’re after, insofar as they can contribute to an unfolding story or a richer story, yes.

我也想知道,因为你似乎在说证据并不是我们所追求的顶峰,因为它们可以为一个正在展开的故事或更丰富的故事做出贡献,是的。

But what about this thing that we say in math when we say something is morally true?

但是,当我们说某件事在道德上是正确的时,我们在数学中所说的这件事又如何呢?

Like before we have a proof, maybe even before we have a precise statement, we sort of know what’s going on.

就像在我们有证据之前一样,甚至在我们有精确的陈述之前,我们就知道发生了什么。

Can you talk about that, what that feels like, and what, do we mean by that?

你能谈谈那是什么感觉吗?我们的意思是什么?

VENKATESH

Oh, uh, yeah, absolutely.

哦,呃,是的,绝对是。

You know, like, just to give an example of my experience and probably of many other people in the room, right?

你知道,只是举一个我的经历以及房间里其他许多人的经历的例子,对吧?

When you write a paper, you know what’s right long before you fill in all the details, right?

当你写论文时,在填写所有细节之前你就知道什么是正确的,对吗?

You grasp an intuition.

你掌握了一种直觉。

Gaining that intuition is really the most enjoyable part.

获得这种直觉确实是最令人愉快的部分。

And it’s sometimes mysterious how that intuition operates and, and how it fails sometimes.

有时这种直觉如何运作以及有时如何失败是很神秘的。

But yeah, it is in a way, it’s, it’s much more fun to know something without knowing how you know it.

但是,是的,在某种程度上,知道某件事而不知道你是如何知道的会更有趣。

LEVIN

Well, isn’t there a sense where choosing a problem invokes that intuition?

那么,选择问题是否会激发直觉呢?

VENKATESH

Yeah, absolutely, right?

是的,绝对对吧?

you don’t know what’s there.

你不知道那里有什么。

But you have a sense.

但你有一个感觉。

You have a sense that there’s some richness there.

你会感觉到那里有一些丰富的东西。

LEVIN

I guess, Akshay, I would also ask similarly, are, do you care either way if a proof if it’s coming from a machine or if it’s coming from an elder or if it’s coming from a young upstart?

我想,Akshay,我也会问类似的问题,你是否关心证明是来自机器,还是来自长辈,还是来自年轻的暴发户?

Does it matter to you where it came from?

它来自哪里对你来说重要吗?

VENKATESH

You know, I certainly don’t see why a machine couldn’t produce, something I found interesting.

你知道,我当然不明白为什么机器不能生产,我觉得很有趣。

But I also think as we use machines, it will change those notions very rapidly.

但我也认为,当我们使用机器时,它将非常迅速地改变这些观念。

So it probably doesn’t make a lot of sense to look at what we value now and ask, can machines do them?

因此,看看我们现在看重的东西并问“机器能做到吗?”可能没有多大意义。

It may be more interesting to think how it’ll change what we value.

思考它将如何改变我们的价值观可能会更有趣。

I mean, the fact that so many of us are using AI in different ways as part of our regular research, I I think it shows you the practice of mathematics is in flux.

我的意思是,事实上,我们很多人都在以不同的方式使用人工智能作为我们常规研究的一部分,我认为这表明数学实践正在不断变化。

STROGATZ

So at this point, I’d like to ask a question that I feel is sensitive, but I think it could also be very interesting, which is here at this meeting and in conversations I’ve been having with people before I came to the meeting, there seem to be certain taboo subjects, things that we probably should be talking about that we’re not, as a community, and also things that I feel like a lot of us are worrying about, but we don’t say out loud.

所以在这一点上,我想问一个我觉得很敏感的问题,但我认为这也可能很有趣,在这次会议上以及在我来参加会议之前我与人们进行的对话中,似乎有某些禁忌话题,我们可能应该谈论的事情,但作为一个社区,我们不应该谈论,还有我觉得我们很多人都担心的事情,但我们没有大声说出来。

VENKATESH

Okay, Ravi has to answer this.

好吧,拉维必须回答这个问题。

My graduate students, they’re brilliant already.

我的研究生,他们已经很出色了。

What I teach them, it’s the storytelling.

我教他们的是讲故事。

Learning how to do mathematics…

学习如何做数学...

the human understanding and the conveying of the understanding.

人类的理解和理解的传达。

STROGATZ

Anyone like to– As president of the American Math Society, Ravi.

任何人都喜欢——作为美国数学协会主席,拉维。

No, you don’t have to say anything, you’re the president…

不,你什么都不用说,你是总统……

VAKIL

No, no, no, no, I won’t be circumspect at all.

不不不,我一点也不谨慎。

But there are no taboos.

但没有禁忌。

Uh, So I think things people worry about in public or, or on social media are not the things that we should be worried about.

呃,所以我认为人们在公共场合或社交媒体上担心的事情不是我们应该担心的事情。

I’m less worried about those.

我不太担心这些。

I do think there are things we should be very worried about.

我确实认为有些事情我们应该非常担心。

I’m worried about younger mathematicians, I think.

我认为我担心年轻的数学家。

And the good thing is the community, at least uniformly, seems to realize the danger to the profession comes from the threat to younger mathematicians.

好消息是,整个社会,至少一致地,似乎意识到这个职业面临的危险来自于对年轻数学家的威胁。

But the threat isn’t the obvious one.

但威胁并不明显。

First, I need to say in practice, the evidence so far is that technology has always accelerated science in history.

首先,我需要在实践中说,迄今为止的证据是,技术在历史上总是加速科学的发展。

I can’t think a single time in history when it’s been disastrous for science.

我想不出历史上有哪一次对科学造成过灾难性的影响。

And currently the evidence is that it’s been positive.

目前的证据表明这是积极的。

We’re in a period of great transition, and the error bars are huge, and I make no guarantees for the future.

我们正处于一个伟大的转型时期,误差线很大,我对未来不做任何保证。

And so there’s uncertainty and anxiety, and also opportunity.

因此存在不确定性和焦虑,但也存在机会。

But that’s not what I’m worried about.

但这不是我担心的。

What I’m worried about is, is this is being used as a pretext, as a Trojan horse for anti-intellectualism, which is that people are coming with pitchforks and torches to burn down the library.

我担心的是,这是否会被用作反智主义的借口,作为反智主义的特洛伊木马,人们拿着干草叉和火把来烧毁图书馆。

And we worry that maybe in a few years, what if this leads to disastrous cuts.

我们担心,也许几年后,这会导致灾难性的削减怎么办?

You could imagine in five years, graduate programs might be cut by huge amounts.

你可以想象五年后,研究生课程可能会大幅削减。

Funding for science might be cut.

科学经费可能会被削减。

But that’s actually happening right now.

但这确实正在发生。

And the pretexts for it don’t make sense.

而且其借口毫无意义。

So when people say it’s because of AI that we have to cut funding for graduate students, reduce jobs, cut REUs, that we don’t no longer need to teach kids how to think mathematically because they can just Google it, they no longer need to understand science because they could just ask a model.

因此,当人们说,由于人工智能,我们必须削减研究生经费、减少工作岗位、削减 REU,我们不再需要教孩子们如何进行数学思考,因为他们可以通过谷歌搜索,他们不再需要理解科学,因为他们可以只问一个模型。

So the danger is that it’s a Trojan horse for anti-intellectualism, and it’s already happening.

所以危险在于它是反智主义的特洛伊木马,而且它已经发生了。

And we’re fighting the cuts right now.

我们现在正在努力削减开支。

So that’s, that’s my first real danger and so, yeah, I mean, it makes no sense.

所以,这是我面临的第一个真正的危险,所以,是的,我的意思是,这是没有意义的。

So the second thing I’m worried about is students learning.

所以我担心的第二件事是学生的学习。

We talked about earlier, just fighting with a problem over weeks and maybe never solving it.

我们之前谈到过,只是与一个问题斗争了数周,而且可能永远无法解决它。

And there’s a reason why you don’t want all the answers to be the back of the book, and now you have the temptation.

你不希望所有的答案都出现在书的后面是有原因的,而现在你面临着诱惑。

The danger is that some of the tools, the problem sets to think over a week, now we have to really trust students to work on their own, and the purpose of it is not to get the answer.

危险在于,有些工具、问题需要思考一周以上,现在我们必须真正信任学生自己完成工作,而其目的不是得到答案。

It was never to get the answer on a test.

从来不是为了在考试中得到答案。

It was to train your mind.

这是为了训练你的头脑。

The best students, and I don’t mean the smartest, but the wisest students are gonna be accelerated.

最好的学生,我不是指最聪明的学生,而是最聪明的学生将会加速进步。

They will learn faster because it will give them clues as to how they should struggle with problems for longer.

他们会学得更快,因为这会给他们提供线索,告诉他们应该如何更长时间地与问题作斗争。

But I worry that a large number of people will think they understand something.

但我担心很多人会认为他们理解了一些东西。

That will lose a large number of very bright students who will think less clearly because of the existence of…

这将失去大量非常聪明的学生,他们会因为……的存在而思考不那么清晰。

LEVIN

There’s an anti-correlation between homework scores and test scores.

家庭作业成绩和考试成绩之间存在反相关性。

LEVIN

Yeah.

是的。

And that’s become very clear.

这已经变得非常清楚了。

Students are getting 100% on all of their homeworks ’cause they’re using AI.

学生们的所有作业都取得了 100% 的成绩,因为他们使用了人工智能。

So they go into a test, yeah, that’s timed.

所以他们进行了测试,是的,这是定时的。

They understand none of it.

他们对此一无所知。

LEVIN

That’s the way it’s working.

这就是它的工作原理。

KONTOROVICH

Scores coming in bimodally.

分数以双峰形式出现。

So there are the people who use AI to help themselves understand when there’s something that they’re confused about and they don’t really know where to go to learn it…

因此,当有人感到困惑并且不知道去哪里学习时,有些人会使用人工智能来帮助自己理解……

KONTOROVICH

…

……

and then there are the ones who use AI to do their homework.

还有一些人使用人工智能来做作业。

And you can see then on the tests, you know, it’s no longer a single Gaussian.

然后你可以在测试中看到,你知道,它不再是单一高斯分布。

It’s sort of a double peak.

这有点像双峰。

One peak is concentrated around the students who are really using that AI to accelerate their understanding.

其中一个高峰集中在真正使用人工智能来加速理解的学生身上。

KONTOROVICH

And train their brains in exactly the same way that we trained our brains, except, you know, when we would get stuck and I just even don’t even know what this word means and have to wait five days to ask the professor in office hours, they can ask the AI right now.

以与我们训练大脑完全相同的方式训练他们的大脑,除了,你知道,当我们陷入困境而我什至不知道这个词是什么意思并且必须等待五天才能在办公时间询问教授时,他们现在可以询问人工智能。

And so that’s the way in which they’re accelerating their education.

这就是他们加速教育的方式。

As opposed to the students who just put the homework into the AI.

与那些直接把作业放进AI的学生相反。

They have the answers, great, and then they’re failing the test.

他们已经找到了答案,这很好,但他们却没有通过测试。

But you know, it’s interesting, we mathematicians should have the longest time horizon over which to understand how education interacts with technology, because pocket calculators have been around for 70 years or something, and we all know educators who tell their own students, “You don’t have to know your times tables ‘cause a calculator will do it.”

但你知道,这很有趣,我们数学家应该有最长的时间跨度来理解教育如何与技术相互作用,因为袖珍计算器已经存在了 70 年左右,我们都知道教育工作者告诉自己的学生,“你不必知道你的乘法表,因为计算器可以做到这一点。”

VAKIL

I mean, it seems a truism.

我的意思是,这似乎是不言而喻的。

We’ve gone through this with calculators and there’ve been a lot of silly debates, but one thing which seems undeniable is the best person with a calculator is the best person without a calculator.

我们已经用计算器解决了这个问题,并且发生了很多愚蠢的争论,但似乎不可否认的一件事是,拥有计算器的最好的人也是没有计算器的最好的人。

STROGATZ

[laughs] That’s a good aphorism, I think that’s right.

[笑]这是一句很好的格言,我认为是对的。

VAKIL

So, uh, we’re not afraid of calculators.

所以,呃,我们并不害怕计算器。

Gauss made these huge long, uh, tables and we no longer have to do these things, uh, and that’s good.

高斯制作了这些巨大的长桌子,我们不再需要做这些事情,这很好。

Uh, but we still develop number sense.

呃,但我们仍然培养数字感。

We change what we do.

我们改变我们所做的事情。

We don’t do exactly the same things.

我们做的事情并不完全相同。

And similarly, as Akshay had said, we’re gonna change what we value.

同样,正如阿克谢所说,我们将改变我们所看重的东西。

Our long-term goals are the same, but we’ll change these things.

我们的长期目标是相同的,但我们会改变这些事情。

What AI is amazing at is: you give it 1,000 problems, and maybe it has a 1% hit rate, and that’s 10 good papers a year, which is a fantastic career in mathematics.

AI 的神奇之处在于:你给它 1000 个问题,也许它的命中率只有 1%,那就是一年 10 篇好论文,这在数学领域是一个很棒的职业。

KONTOROVICH

And it may not be good because if Gauss hadn’t made those tables, he may not have noticed the relationship between the growth rate of the primes in a range versus the logarithm function.

这可能不好,因为如果高斯没有制作这些表格,他可能没有注意到一个范围内的素数增长率与对数函数之间的关系。

So there, there are all kinds of insights that I think we stand to-

所以,我认为我们有各种各样的见解——

KONTOROVICH

It’s definitely a trade-off, yeah.

这绝对是一个权衡,是的。

And I think it’s the trade-off that I will take- Yes …

我认为这是我将采取的权衡——是的……

uh, to have the technology.

嗯,要有技术。

But, you know, there’s no solutions.

但是,你知道,没有解决办法。

Everything is a trade-off here.

这里一切都是一个权衡。

STROGATZ

Well, let’s focus a little bit on this question of human understanding.

好吧,让我们稍微关注一下人类理解的问题。

It’s a theme in some of your talks.

这是您一些演讲的主题。

Akshay, I’ve seen that you’re concerned about this.

Akshay,我看到你对此感到担忧。

What will be lost and, and what could maybe be gained as math interacts more and more with AI at the frontier and even just in everyday life?

随着数学与人工智能在前沿甚至日常生活中越来越多地互动,将会失去什么,又可能获得什么?

VENKATESH

Right.

正确的。

I, I think, something I would hope is it would lead to us, in fact, putting much more value on human understanding.

事实上,我认为,我希望它能让我们更加重视人类的理解。

VENKATESH

Human understanding is human, right?

人类的理解是人类的,对吗?

It’s subjective.

这是主观的。

And I think math has this dual heritage of being a science and a humanity.

我认为数学具有作为科学和人文的双重遗产。

VENKATESH

And we have, uh, certainly in my lifetime, probably certainly since World War II, I think emphasized the scientific, right?

我们,呃,当然在我的一生中,可能肯定是自第二次世界大战以来,我认为强调了科学,对吧?

We think of ourself as a science because it’s easier to get funding.

我们认为自己是一门科学,因为它更容易获得资金。

That’s where the resources are.

这就是资源所在。

Uh, no, I mean, right.

呃,不,我的意思是,对。

But, um- What I would like to see is, is really a, kind-of embrace the humanistic aspect of math.

但是,嗯-我希望看到的是,确实是一种拥抱数学的人文方面。

That’s a possible response to AI, which I think would be very nice.

这是对人工智能的可能回应,我认为这会非常好。

LEVIN

Steve and I sometimes talk about this, at the advent of supercomputers, there was a similar kind of hysteria that the supercomputer would replace the physicist or the scientist.

史蒂夫和我有时会谈论这一点,在超级计算机出现时,人们对超级计算机将取代物理学家或科学家产生了类似的歇斯底里感。

And of course, producing a string of numbers is not human understanding.

当然,产生一串数字并不是人类的理解。

It’s meaningless to us.

这对我们来说毫无意义。

So we don’t consider the problem to be solved by the supercomputer.

所以我们不考虑超级计算机要解决的问题。

It’s the human who adapts it in a way that, as you said, as human beings, we’re able to appreciate it, understand it, and integrate it into the larger sphere of knowledge.

正如你所说,是人类以某种方式适应它,作为人类,我们能够欣赏它、理解它,并将其整合到更大的知识领域。

And we’re not computer scientists, of course.

当然,我们不是计算机科学家。

You’re not a computer scientist.

你不是计算机科学家。

But just wonder if at any point, do we think the AI will understand?

但只是想知道,在任何时候,我们认为人工智能会理解吗?

And will that understanding be completely different than the way in which human beings understand?

这种理解会不会与人类的理解方式完全不同?

KONTOROVICH

Why are you guys looking at me?

你们为什么看着我?

KONTOROVICH

There’s a, There’s a number of ways to try to answer that question.

有很多方法可以尝试回答这个问题。

You know, will the AI be conscious?

你知道,人工智能会有意识吗?

I have, I have no idea, Uh, who knows?

我有,我不知道,呃,谁知道呢?

I like to think of, um…

我喜欢想,嗯……

I think it was Richard Feynman who said a long time ago when speaking about technology and the way human beings harness technology that we see in nature and try to make it our own.

我认为理查德·费曼(Richard Feynman)很久以前在谈到技术以及人类如何利用我们在自然界中看到的技术并试图将其变成我们自己的技术时说过。

And he pointed out that the way a bird flaps its wings is not at all how we figured out flight.

他指出,鸟儿拍打翅膀的方式根本不是我们飞行的方式。

And so, we have a completely different system that gets us from point A to point B in the air.

因此,我们有一个完全不同的系统,可以让我们在空中从 A 点到达 B 点。

Presumably we looked at birds and dreamed up such a thing.

想必我们看着鸟类并梦想了这样的事情。

And, um, maybe in the same way, you know, uh, depending on what our goals are, we’ll, we invent technology that doesn’t look exactly the way nature figured out to solve that problem, but solves it slightly differently.

而且,嗯,也许以同样的方式,你知道,呃,取决于我们的目标是什么,我们发明的技术看起来并不完全符合大自然解决这个问题的方式,但解决方式略有不同。

And so that’s kind of what LLMs have become, is this alternative mechanism by which we can do a small part of what mathematical practice strives for.

这就是法学硕士已经成为的样子,是一种替代机制,通过它我们可以完成数学实践所追求的一小部分。

Does it mean that it understands?

意思是明白了吗?

I don’t know what the word understands means in this context.

我不知道这个词在这种情况下意味着什么。

KONTOROVICH

And it’s all…

这就是全部……

you know, Turing never said, uh, what it means to understand language.

你知道,图灵从未说过,呃,理解语言意味着什么。

He just said, “Does it look like language?

他只是说:“这看起来像语言吗?

Does the thing talk to me the way…

这东西是这样跟我说话的吗……

and I can’t tell if it’s a human or, or a machine.”

我无法判断它是人还是机器。”

So in the same way, maybe I’m even more pragmatic about it.

所以同样的,也许我对此更加务实。

Is the AI useful to me in what my goals are?

人工智能对我实现目标有用吗?

My goals are to understand mathematics.

我的目标是理解数学。

I wanna learn new math every single day.

我想每天学习新的数学。

Is using AI helping that goal or not?

使用人工智能是否有助于实现这一目标?

To the extent that it’s helping, I’m gonna use it, and to the extent that it’s not, I’m gonna stop and go for a walk and, you know, play ball with my kids, or something.

如果它有帮助,我就会使用它,如果没有帮助,我就会停下来去散步,你知道,和我的孩子们一起打球,或者其他什么。

STROGATZ

I like your operational question, can they be helpful to us?

我喜欢你的操作问题,它们对我们有帮助吗?

And I think the answer’s already in, that yes, of course, they’re helpful.

我认为答案已经存在,是的,当然,它们很有帮助。

But the part that I feel is, back to my list of taboo questions, is what happens when they’re not useful to us because they could do everything that we could do except much, much better.

但我觉得,回到我的禁忌问题清单,当它们对我们没有用处时会发生什么,因为它们可以做我们能做的一切,除了更好得多。

So I, I will stipulate, but maybe you won’t agree.

所以我,我会规定,但是也许你不会同意。

But I think it’s obvious that not only will they be able to solve problems better than us, they’ll be able to ask questions that we will find interesting.

但我认为很明显,他们不仅能够比我们更好地解决问题,而且能够提出我们感兴趣的问题。

They’ll be able to do exposition better than Martin Gardner and the whole thing.

他们将能够比马丁·加德纳和整个事情做得更好。

Will it still be fun for us to do math?

我们做数学仍然很有趣吗?

VAKIL

Well, well, I think you said two flavors of things, one of which was very reasonable, the other of which was very different.

好吧,好吧,我认为你说了两种风格的事情,一种是非常合理的,另一种是非常不同的。

STROGATZ

Go ahead.

前进。

What were those?

那些是什么?

[Laughs]

[笑]

VAKIL

So yeah, so on one hand, you could say, okay, o- o- once you postulate reaching the singularity, then I feel like all bets are off, and then it’s not really worth having a discussion.

所以,是的,一方面,你可以说,好吧,o-o-一旦你假设达到了奇点,那么我觉得所有的赌注都消失了,然后就真的不值得讨论了。

Should we define this discipline by proofs?

我们应该通过证明来定义这个学科吗?

Of course, we have done so, but I’m not sure it really matches with what we value and what we’re doing.

当然,我们已经这样做了,但我不确定这是否真的符合我们的价值观和我们正在做的事情。

STROGATZ

Because it’s so hard to know what will happen next, you mean?

因为很难知道接下来会发生什么,你是说?

VAKIL

Or, I just feel like the debates post-singularity tend not to have much value.

或者,我只是觉得奇点后的争论往往没有多大价值。

You didn’t use the phrase superintelligence.

你没有使用超级智能这个词。

Anytime that gets used, I personally feel those are less useful discussions because of the lack of definitions.

无论何时使用,我个人都认为这些讨论不太有用,因为缺乏定义。

But then you said things that were very reasonable because they were precise, and they were statements about evidence of, they will be able to write things that will be interesting.

但后来你说了一些非常合理的事情,因为它们很精确,而且它们是关于证据的陈述,他们将能够写出有趣的东西。

And those things were already here.

而那些东西已经在这里了。

That time has already come, and I think they are already telling us.

那个时刻已经到来,我想他们已经告诉我们了。

STROGATZ

I’m not hearing that they’re already here.

我没听说他们已经在这里了。

I hear people saying things, you know, again, ’cause this is a, I feel like a sociological question.

我再次听到人们说一些话,因为我觉得这是一个社会学问题。

What are we talking about privately?

我们私下里谈论什么?

And I, I hear that we can still have taste.

而我,听说我们还能有品味。

We’re better at knowing what’s interesting.

我们更擅长知道什么是有趣的。

STROGATZ

And I’m claiming that that’s only for the short term.

我声称这只是短期的。

VAKIL

So, so obviously, there might be a new technological advance, but with the way things currently work, anything you can hill climb, it can hill climb.

所以,很明显,可能会有一项新的技术进步,但按照目前的运作方式,任何你可以爬山的东西,它都可以爬山。

If there’s anything that you can have enough examples of it can improve.

如果有什么事情你可以有足够的例子可以改进。

We train currently students to try to deal with the unknown, the situations that they have never seen anything like before, which is by definition the thing you can’t sort-of train for.

我们目前训练学生尝试处理未知的情况,处理他们以前从未见过的情况,从定义上来说,这是你无法训练的事情。

So, is someone gonna predict that a Pulitzer Prize-winning novel will be written by an AI within three years?

那么,有人会预测三年内人工智能会写出普利策奖获奖小说吗?

I’ll put $20 against you on this.

我将为此向你赔 20 美元。

And people have made bets like this in the past, and they’ve lost those bets every single time.

人们过去也曾做过这样的赌注,但他们每次都输掉了这些赌注。

We were supposed to be on Mars by today if you listen to certain very wealthy people 10 years ago.

如果你听十年前某些非常富有的人的话,我们应该在今天到达火星。

So, absolutely large quantities of acceptable material I expect to be very useful.

因此,我认为绝对大量可接受的材料将非常有用。

And I’m not belittling it.

我并不是贬低它。

This will change everything, uh, will happen.

这将改变一切,呃,将会发生。

But I think the way things are currently happening is outstanding things are going to happen, and AI is involved, and humans are involved.

但我认为目前事情发生的方式是,杰出的事情将会发生,人工智能和人类都会参与其中。

And, uh, I guess people are claiming that a time will come when there’ll be no more humans, but they need some evidence.

而且,呃,我猜人们声称有一天将不再有人类,但他们需要一些证据。

VENKATESH

I very much agree that we have to be very careful about the premises.

我非常同意我们必须对场所非常小心。

But let me give a, just let’s suppose we’re in this world where AIs can prove things, they can write questions that we find just as interesting.

但让我假设一下,我们生活在这个世界,人工智能可以证明事情,他们可以写出我们认为同样有趣的问题。

You know, like when I arrived at grad school, right?

你知道,就像我刚到研究生院时一样,对吗?

I met all these people who were just much better at math than I was.

我遇到了所有这些人,他们的数学比我好得多。

And at that time, I was like, “I’m never gonna be as good at math as these people.” But this is great.

那时,我想,“我永远不会像这些人那样擅长数学。”但这很棒。

I get to study this field.

我要研究这个领域。

It’s a beautiful field.

这是一个美丽的领域。

I’m not gonna be the best at it.

我不会是最擅长的。

I’m happy to spend my life this way.” So I, I think you know, yes, we will still do math because it has some basic value to us as human beings.

我很高兴这样度过我的一生。”所以我,我想你知道,是的,我们仍然会做数学,因为它对我们作为人类有一些基本价值。

LEVIN

I mean, I think Akshay’s point is crucial.

我的意思是,我认为阿克谢的观点至关重要。

And also to your point about students and the, the threat really to the young student is attitudinal.

就你关于学生的观点而言,对年轻学生的真正威胁是态度上的。

If they think there is no pleasure here, no joy here, no discovery.

如果他们认为这里没有乐趣,这里没有欢乐,没有发现。

Not just a career or being the best, but becoming a mathematician is no longer on offer and the hard work that it’s going to require and having to resist looking up the answers in the back of the book, which is to say to ask one of the models.

不仅仅是一份职业或成为最好的数学家,而且不再提供成为一名数学家,它需要艰苦的工作,并且不得不抵制在书的后面查找答案,也就是说询问其中一个模型。

And so how are you imagining addressing this to have the next generation of mathematicians survive?

那么您如何想象解决这个问题才能让下一代数学家生存下来呢?

KONTOROVICH

So I’ve been trying to explain to my students sort of three scenarios, three vignettes, as an analogy to exactly this question.

因此,我一直试图向我的学生解释三种场景、三个小插曲,作为对这个问题的类比。

Vignette number one, uh, you have some heavy pallets and you need to move them onto a truck.

第一个小插图,呃,你有一些很重的托盘,你需要把它们搬到卡车上。

So you get a forklift, you drive it over, you lift the pallets, you put them on the truck, end of story.

所以你找了一辆叉车,把它开过来,抬起托盘,把它们放在卡车上,故事结束。

Okay?

好吧?

What I’m worried about is this is being used as a pretext, as a Trojan horse, for anti-intellectualism, which is that people are coming with pitchforks and torches to burn down the library.

我担心的是,这被用作反智主义的借口、特洛伊木马,即人们拿着干草叉和火把来烧毁图书馆。

Scenario number two, you’re trying to learn how to use a forklift.

第二个场景,您正在尝试学习如何使用叉车。

So you get in the forklift and you move some pallets, not because they need to be moved from point A to point B, but because you’re learning how to operate a forklift.

因此,您坐上叉车并移动一些托盘,不是因为它们需要从 A 点移动到 B 点,而是因为您正在学习如何操作叉车。

Okay, scenario three, you decide you wanna get a, a little workout in.

好的,场景三,你决定要进行一点锻炼。

You go to the gym, you put 200 pounds on the bench press.

你去健身房,在卧推上举起 200 磅的重量。

You get in your forklift, you drive over, and you do 10 reps with the forklift.

您坐上叉车,开过去,然后用叉车重复 10 次。

One of these is the wrong use of technology.

其中之一是技术的错误使用。

Okay?

好吧?

So if you just explain to students, why are you here?

所以如果你只是向学生解释一下,你为什么来这里?

What are you…

你是什么……

You know, if I don’t need to know the answer to this real analysis homework.

你知道,如果我不需要知道这个真实分析作业的答案的话。

I know how to do this.

我知道该怎么做。

It’s in the back of the book.

它在书的后面。

Before AI, you could Google the answers.

在人工智能出现之前,你可以通过谷歌搜索答案。

Okay?

好吧?

So, uh, what is the purpose of this operation?

那么,呃,这个操作的目的是什么?

Is it for you to learn how to use that technology, to learn how to prompt AI to solve real analysis problem?

是让你学习如何使用该技术,学习如何促使人工智能解决实际分析问题吗?

Is it that I want the solution to the problem, or is it that you’re supposed to sit there being frustrated and get the stamina for frustration that it takes to do any kind of difficult thing that human beings want to do?

是我想要问题的解决方案,还是你应该坐在那里感到沮丧,并获得做人类想做的任何困难事情所需的挫折耐力?

If that’s what the goal of this exercise is, then either sign up voluntarily to do the exercise the way it’s designed, or drop this course ’cause that’s, that’s what I’m trying to teach.

如果这就是本练习的目标,那么要么自愿注册按照设计的方式进行练习,要么放弃这门课程,因为这就是我想要教的内容。

LEVIN

Yeah, I think the gym analogy is pretty good.

是的,我认为健身房的比喻很好。

I do think it’s very interesting, I once had to try to solve Einstein’s equations for a black hole solution, not because it wasn’t solved already or because I couldn’t find the answer somewhere.

我确实认为这很有趣,我曾经不得不尝试解决爱因斯坦方程的黑洞解决方案,不是因为它还没有解决,也不是因为我在某个地方找不到答案。

And it was a great moment in my life, right?

这是我生命中一个伟大的时刻,对吗?

Going through that process.

正在经历这个过程。

But I think there’s gonna take some convincing for this generation that’s growing up on AI.

但我认为对于在人工智能中成长的这一代人来说,需要一些说服力。

STROGATZ

It’s interesting your example because this has always been a little bugaboo of my own, that there are people who talk about high school geometry is worthless, say the people who don’t like math, but geometry will teach you to think.

你的例子很有趣,因为这一直是我自己的一个小问题,有些人谈论高中几何毫无价值,不喜欢数学的人说,但几何会教你思考。

It will help you develop logic and patience and blah, blah, blah.

它将帮助你培养逻辑性和耐心,等等等等。

I don’t like that defense of geometry.

我不喜欢这种对几何学的辩护。

Geometry is a magnificent creation of humanity, and this is like, you know, you could play soccer because you wanna exercise your leg, or because it’s the beautiful game, you know?

几何是人类的伟大创造,这就像,你知道,你可以踢足球,因为你想锻炼你的腿,或者因为这是一项美丽的运动,你知道吗?

And so math to me, the content is beautiful.

所以对我来说,数学的内容很美。

It’s not just the calisthenics that I wanna make myself stronger for solving a problem for a finance company, ’cause that’s what really matters.

我想让自己变得更强大,为一家金融公司解决问题,这不仅仅是健身操,因为这才是真正重要的。

I wanna do it for human flourishing, like Francis Su would say.

我想为人类的繁荣而努力,就像弗朗西斯·苏(Francis Su)所说的那样。

Like what I think you’ve been pushing, Ravi.

就像我认为你一直在推动的那样,拉维。

Not just for my own bulking up because the content is inherently rich and makes me a happier person before I’m dead.

不仅仅是为了我自己的成长,因为内容本身就很丰富,让我在死之前成为一个更快乐的人。

What’s the meaning of life?

生命的意义是什么?

I wanna do math while I’m alive.

我想趁我还活着的时候做数学。

Is AI useful to me in what my goals are?

人工智能对我实现目标有用吗?

To the extent that it’s helping, I’m gonna use it, and to the extent that it’s not, I’m gonna stop and go for a walk and play ball with my kids.

如果它有帮助,我就会使用它,如果没有帮助,我就会停下来散步,和我的孩子们一起打球。

VAKIL

And I like that we can have both.

我喜欢我们可以两者兼得。

I like the fact that soccer in the United States is played in middle schools en masse, and you have fun.

我喜欢这样一个事实:在美国,足球是在中学集体进行的,而且你玩得很开心。

You’re with people, and you s- and they’re secretly, of course, getting healthier and stronger by enjoying it and building habits.

你和人们在一起,你和他们,当然,通过享受它和养成习惯,他们秘密地变得更健康、更强壮。

You know, so this seems a great model for similarly doing geometry to support similar things at the same ages.

你知道,这似乎是一个很好的模型,可以用类似的几何方法来支持相同年龄的类似事物。

LEVIN

This might be very unpopular, and I apologize to the mathematicians ahead of time.

这可能会很不受欢迎,我提前向数学家们道歉。

LEVIN

But there’s a belief that if all of human knowledge is wiped out tomorrow, not humanity, but human knowledge.

但有一种信念认为,如果明天所有人类知识都被消灭,不是人类,而是人类知识。

That eventually we’ll all be rediscovered.

最终我们都会被重新发现。

One plus one is two.

一加一等于二。

If human knowledge was wiped out tomorrow, the AI stops.

如果人类知识明天就被消灭,人工智能就会停止。

STROGATZ

But what happens to the human…

但人类身上会发生什么……

LEVIN

It’s got to start over.

它必须重新开始。

KONTOROVICH

No, but there’s a version of this question which you can ask right now, which is, okay, so there are these…

不,但是这个问题有一个版本你现在就可以问,那就是,好吧,所以有这些......

we didn’t get into formalization in interactive theorem provers, but if you take any interactive theorem prover which has the logical axioms of inference, logical inference from one state to the next, and you seed it with nothing, like AlphaZero.

我们没有进入交互式定理证明器的形式化,但是如果你采用任何具有逻辑推理公理的交互式定理证明器,从一个状态到下一个状态的逻辑推理,并且你什么都不做,比如 AlphaZero。

You’ve just given it the rules of chess, and you say, “Play a trillion games, and it comes up with, you know, its own theory and its own evaluation of states and so on.

你刚刚给了它国际象棋的规则,然后你说,“玩一万亿盘游戏,它会提出,你知道,它自己的理论和它自己的状态评估等等。

If you seed an interactive theorem prover with no library of what mathematics is.

如果您在没有数学库的情况下播种交互式定理证明器。

KONTOROVICH

and you cut an AI loose, will it discover a proof of Fermat’s Last Theorem?

如果你放开人工智能,它会发现费马大定理的证明吗?

LEVIN

Right.

正确的。

Without the reinforcements and…

没有援军和……

KONTOROVICH

Yeah, without giving it any human knowledge, without, without anything.

是的,没有给它任何人类知识,没有,没有任何东西。

So that is, uh, I think Peter Sarnak is popularizing this question.

所以,呃,我认为 Peter Sarnak 正在普及这个问题。

You know, is there, like, a MathZero?

你知道吗,有没有 MathZero 之类的东西?

Could someone train an AI to actually do that?

有人可以训练人工智能来真正做到这一点吗?

That’s the real question that we have an answer to at the moment.

这是我们目前有答案的真正问题。

LEVIN

But we know humanity could do it.

但我们知道人类可以做到。

I mean, yes we’ve done it once, we could do it again, right?

我的意思是,是的,我们已经做过一次,我们可以再做一次,对吗?

But it, it also sort of harkens, and I think this was the part I was concerned about mathematicians wouldn’t like, to the “discovered” or “invented” question.

但它也有点像“发现”或“发明”的问题,我认为这是我担心数学家不喜欢的部分。

Are these discoverable truths that an entity that thinks entirely differently from human beings could discover?

这些可发现的真理是一个与人类思维完全不同的实体能够发现的吗?

VAKIL

Sure, and you can imagine being the first human being to see a lake wandering in the woods in some new island that’s discovered.

当然,你可以想象自己是第一个在某个新发现的岛屿的树林中看到湖泊的人。

Both can be true.

两者都可以是真的。

That there’s joy in human discovery and also maybe a drone would fly over the island and discover the lake.

人类的发现充满乐趣,也许无人机会飞越岛屿并发现湖泊。

STROGATZ

Well, I think this is the place where we turn it over to the audience.

嗯,我想这就是我们把它交给观众的地方。

You’ve been patient, and I appreciate, our panel taking some pretty wild questions from us.

您一直很有耐心,我很感激我们的小组回答了我们一些非常疯狂的问题。

They may get even wilder here.

他们在这里可能会变得更加狂野。

We’re ready when you are please.

只要您愿意,我们就准备好了。

Audience Question: So far, AI is controlled by private companies, and access to the best models is increasingly being gated by financial resources.

观众提问:到目前为止,人工智能由私营公司控制,获得最佳模型的机会越来越受到财政资源的限制。

And I’m concerned about this divide between researchers who are going to have access and those who don’t.

我对将获得访问权限的研究人员和无法获得访问权限的研究人员之间的这种分歧感到担忧。

Historically, our field has been known for all you need is pen and paper.

从历史上看,我们的领域一直以笔和纸而闻名。

To what extent will that no longer be true, and how can we make sure math is still accessible to everyone?

这种情况在多大程度上将不再如此?我们如何确保每个人仍然可以接触数学?

KONTOROVICH

There are a lot of groups that are working on open source analogs.

有很多团体正在研究开源类似物。

Of course, they’re behind, but they’re catching up.

当然,他们落后了,但他们正在迎头赶上。

I’m on a team that’s working on open source models that solve math problems in particular, or help mathematicians formalize mathematics and so on.

我所在的团队致力于开发开源模型,特别是解决数学问题,或帮助数学家将数学形式化等。

So people are, uh, are very concerned about this.

所以人们非常关心这个。

They’re working on it.

他们正在努力。

It’s hard.

这很难。

We need more resources.

我们需要更多的资源。

We should always say we need more resources.

我们应该总是说我们需要更多资源。

STROGATZ

We can always say that.

我们总是可以这么说。

Audience Question: My question is, I think there are some missing pieces.

观众提问:我的问题是,我认为有一些缺失的部分。

Now, as AI begins churning out proofs, I think we are realizing that this is not the- what mathematicians want, just like the number of proofs.

现在,随着人工智能开始大量生产证明,我认为我们正在意识到这不是数学家想要的,就像证明的数量一样。

I think the missing piece I feel is aesthetics.

我认为我觉得缺失的部分是美学。

And we haven’t really defined that.

我们还没有真正定义这一点。

Like, why is a problem interesting or why is a proof interesting?

比如,为什么一个问题很有趣,或者为什么一个证明很有趣?

Where is the beauty?

美在哪里?

Where is depth?

深度在哪里?

Where is interconnectedness?

互联互通在哪里?

I think because these haven’t been defined, when you’re faced with hundreds of proof generated by AI, you have no idea what to look at.

我认为因为这些还没有被定义,当你面对人工智能生成的数百个证据时,你不知道该看什么。

So, is somebody working on, like, measuring these?

那么,有人正在研究测量这些吗?

VAKIL

I will go the other direction and say that y- y- y- you might be saying, “Can we mechanize aesthetics so we can measure what is the most aesthetic proof?” And I, I don’t think that’s the direction to go.

我会换个方向说,y-y-y-,你可能会说,“我们可以将美学机械化,这样我们就可以衡量什么是最具美学的证据吗?”而我,我认为这不是前进的方向。

We already have a good human sense as what’s aesthetically pleasing.

我们已经具备了良好的人类审美意识。

We know what’s interesting.

我们知道什么是有趣的。

We know most of the proofs that are produced by AIs are not interesting.

我们知道人工智能产生的大多数证明并不有趣。

We know some of them are fantastically interesting and beautiful.

我们知道其中一些非常有趣且美丽。

So I don’t think it’s mechanizable, and that pleases me a little bit that, it’s a human subject, that it’s a human understanding that matters.

所以我不认为它是机械化的,这让我有点高兴,因为它是一个人类主题,重要的是人类的理解。

I realize that’s not a very happy, it’s not like a very conclusive answer, so maybe I should pass it to someone else.

我意识到这不是一个令人高兴的问题,也不是一个非常结论性的答案,所以也许我应该将其传递给其他人。

It’s much more fun to know something without knowing how you know it.

知道某件事而不知道你是如何知道的会更有趣。

KONTOROVICH

I’m just gonna say the, the various ways that other sciences try to mechanize quality by, you know, citation inde- you know, H-index and these kinds of things, uh, which in mathematics are almost, you know, have zero correlation basically.

我只想说,其他科学尝试通过引用索引、H 指数和此类事物来机械化质量的各种方式,呃,在数学中几乎,你知道,基本上具有零相关性。

I’m really happy that our field is not looking at metrics and there are Fields Medalists with an H-index of four or something.

我真的很高兴我们的领域没有关注指标,而且有些菲尔兹奖得主的 H 指数为 4 左右。

These, these things are completely meaningless.

这些这些东西完全没有意义。

Uh, it’s a problem when we have to go to the dean and say, “No, no, this person really is very good.

呃,当我们必须去找院长说,“不,不,这个人真的非常好。

Please look at their papers,” which the dean will not understand.

请看他们的论文。”院长听不懂。

STROGATZ

Uh-huh.

嗯嗯。

Oh, go ahead please.

哦,请继续。

VENKATESH

No, I just say as mathematicians, I think we should be very conscious of the use of numbers to stand in for another concept, and we remember it’s really this other concept we’re interested in.

不,我只是说,作为数学家,我认为我们应该非常清楚地使用数字来代表另一个概念,并且我们记得这实际上是我们感兴趣的另一个概念。

VAKIL

And we have interesting debates in the mathematical community, which I enjoy, about is this interesting or not?

我们在数学界进行了有趣的辩论,我很喜欢这种辩论,关于这是否有趣?

VAKIL

It’s not like there’s a single metric, this theorem deserves a 3.5 on the scale.

并不是只有一个度量标准,这个定理值得 3.5 分。

But instead, you know, we’ll argue, we’ll have interesting discussions over coffee that, “Oh, this was really something,” and “Actually, I wasn’t that impressed.” It’s a very human measurement system.

但相反,你知道,我们会争论,我们会一边喝咖啡一边进行有趣的讨论,“哦,这真的很了不起”,“实际上,我并没有那么印象深刻。”这是一个非常人性化的测量系统。

Some would argue then that it’s open, it’s ripe for abuse, which it absolutely is.

有些人会认为它是开放的,滥用的时机已经成熟,事实确实如此。

But on the other hand, it also is most people are, doing it in good faith, and there’s the sense of beauty in mathematics.

但另一方面,大多数人也是如此,真诚地做事,有数学的美感。

It is hard to…

很难……

I don’t think I would want…

我想我不会想要……

I don’t think it’s possible to quantify, but it’s something that you meet someone at the ICM from another country, brought up in a completely different school system, and you meet and you hear about a new theorem, and you both nod your head and you think, “That was amazing.”

我认为这是不可能量化的,但这是你在 ICM 遇到来自另一个国家的人,在完全不同的学校系统中长大的事情,你们见面并听到一个新定理,你们都点头,然后想,“这太棒了。”

KONTOROVICH

And different people will have different evaluations of the value, and even the same person at different times will have different evaluations of the same result.

而且不同的人对价值会有不同的评价,甚至同一个人在不同的时间对同一个结果也会有不同的评价。

I know that there are results that, you know, I, I thought, “Oh, that, I don’t think that’s that interesting,” and then I started learning more about it, and I realized, “No, that’s an amazing breakthrough.”

我知道有些结果,你知道,我想,“哦,那个,我认为那没那么有趣,”然后我开始更多地了解它,我意识到,“不,这是一个惊人的突破。”

STROGATZ

[Laughs] So true.

[笑]确实如此。

Okay, please.

好的,请。

Audience Question: Um, thanks for the great conversation.

观众提问:嗯,谢谢你们的精彩对话。

think unfortunately, historically, the mathematical community has not appreciated exposition and teaching in the same way that it has solving really hard problems.

不幸的是,从历史上看,数学界并没有像解决真正困难的问题那样重视解释和教学。

I mean, this goes back to, like, Bertrand Russell describing people that describe math as being less than the people that solve math problems.

我的意思是,这可以追溯到伯特兰·罗素(Bertrand Russell)描述那些认为数学不如解决数学问题的人。

Do you think this will shift in the age of AI towards an appreciation of pedagogy and of exposition?

您认为人工智能时代这会转向对教学法和阐述的欣赏吗?

VENKATESH

I think yes, for sure.

我想是的,当然。

VAKIL

I think the three of us here would have pushed before AI in exactly that direction.

我认为我们三个人会在人工智能之前朝着这个方向前进。

This is not new, but I think so, and I hope so, and I think we should have pushed before, and…

这并不新鲜,但我认为是这样,我希望如此,我认为我们应该之前就推动,而且……

VENKATESH

Yeah, I think this is an example of where, y-you know, the, stress that AI puts on the system will lead to something healthy, something that was healthy quite without the issue of AI.

是的,我认为这是一个例子,你知道,人工智能对系统施加的压力将带来健康的结果,在没有人工智能问题的情况下,健康的结果。

STROGATZ

That’s an optimistic reading that I like hearing.

这是我喜欢听的乐观读物。

Actually, that it, it may push us in a direction that we should have gone in before.

事实上,它可能会把我们推向一个我们本来应该走的方向。

KONTOROVICH

I mean, [G.

我的意思是,[G.

H.] Hardy explicitly wrote, you know, “Here I am in my old age looking back and sort of surveying things,” and surveying is the work of lesser men that, uh…

H.]哈代明确地写道,你知道,“我在晚年回顾过去,对事物进行了某种调查”,而调查是小人物的工作,呃……

I mean, that’s I think a literal quote.

我的意思是,我认为这是字面引用。

STROGATZ

Yeah.

是的。

He seemed to have had a lot of self-loathing.

他似乎有很强的自我厌恶感。

Some of it deserved, I think, maybe, but not all of it.

我认为,也许其中一些是值得的,但不是全部。

STROGATZ

No, that essay did a lot to damage our values.

不,那篇文章极大地损害了我们的价值观。

STROGATZ

We’ll save that for another time.

我们下次再说。

Audience Question: Thank you for this conversation.

观众提问:谢谢您接受这次谈话。

I had a question for the entire panel.

我有一个问题要问整个小组。

So the panelists laid out a vision of what AI use in education ideally looks like, right?

因此,小组成员提出了人工智能在教育中的理想应用的愿景,对吗?

You ask students not to use AI to train their minds.

你要求学生不要用人工智能来训练他们的思维。

But this vision is sort of incompatible with the current infrastructure for like grad school applications or postdoc applications or tenure track applications or what have you, where, you know, it seems like the only thing that matters is how much you publish, how hard the problems you’re solving are, and so on, so on.

但这种愿景与当前的基础设施有点不兼容,例如研究生院申请、博士后申请、终身教职申请或你拥有的、在哪里,你知道,似乎唯一重要的是你发表了多少文章,你要解决的问题有多难,等等。

The best person with a calculator is the best person without a calculator.

拥有计算器的最好的人也是没有计算器的最好的人。

How do you see this infrastructure changing?

您如何看待这种基础设施的变化?

And what is your advice to a current graduate student worried about the fact that not wanting to use AI, say, in order to train their minds, would leave them behind, especially given how slow the timelines of infrastructure changes tend to be?

对于现在的研究生来说,您有什么建议,他们担心不想使用人工智能(例如,为了训练他们的思维)会让他们落后,特别是考虑到基础设施变革的时间表往往很慢?

VAKIL

I’ll begin, but I think what the other two have to say is gonna be very important.

我会开始,但我认为其他两个人所说的将非常重要。

I do think part of the system is currently quite robust, and I feel happy that we can deal with it.

我确实认为系统的一部分目前相当强大,我很高兴我们能够处理它。

Parts are going to have to change.

零件将不得不改变。

I will say, for example, for applications for graduate school, our department now interviews in a way we didn’t, because we want to really see what people know and see the human being.

我会说,例如,对于研究生院的申请,我们部门现在以一种我们以前没有的方式进行面试,因为我们想真正了解人们所知道的事情并了解人。

And we ask questions not to test, but see their actual understanding.

而且我们提出问题不是为了测试,而是看他们的实际理解情况。

So, I feel like that part of the system is, is robust.

所以,我觉得系统的这一部分非常强大。

And we’re looking for at every single stage is can you do the best mathematics?

我们在每个阶段都在寻找的是你能做最好的数学吗?

And I do think the best mathematics, some people will do very well augmented by AI, other people will not.

我确实认为最好的数学,有些人在人工智能的增强下会做得很好,而其他人则不会。

I will say to graduate students, if they wonder, “Do I need to use AI?” I would say, “No, currently.” But I would also say don’t be afraid of it if it helps.

如果研究生想知道“我需要使用人工智能吗?”,我会问他们。我会说:“目前还没有。”但我也想说,如果它有帮助的话,不要害怕。

If you need to look for references, use it in the way you feel comfortable with.

如果您需要寻找参考,请以您觉得舒服的方式使用它。

But the evidence currently out, don’t go to Twitter, don’t follow what other people are saying.

但目前的证据已经出来了,不要上推特,不要关注其他人在说什么。

Don’t be afraid.

不要害怕。

Uh, what really is happening on the ground is that the people who are using it effectively are using it in a very specific way, and I think the people who are best at it, who will give you the best advice are fellow graduate students who are similarly struggling with it at the same level, where they will say use it to perhaps…

呃,实际情况是,有效使用它的人正在以一种非常具体的方式使用它,我认为最擅长这方面的人,会给你最好建议的人是研究生同学,他们在同一水平上同样在努力解决这个问题,他们会说用它来也许……

track down the thing to do.

追踪要做的事情。

How do I think about this?

我怎么看待这个问题?

But then you go away, and learn who among your peers is learning the fastest, and maybe they’re using an AI to guide them on what to think, or maybe not.

但随后你离开,了解你的同龄人中谁学得最快,也许他们正在使用人工智能来指导他们思考什么,也可能不是。

And so I don’t think you need to use AI.

所以我认为你不需要使用人工智能。

I don’t think you should be afraid of it either.

我认为你也不应该害怕它。

VENKATESH

I, I was gonna say the same thing about interviews.

关于采访,我也想说同样的话。

You know, I’m also considering a-adding them for postdocs for exactly this reason.

你知道,正是出于这个原因,我也在考虑为博士后添加他们。

I think we, you know, we wanna understand who the person is and language models are gonna make that different, difficult if we just go on unwritten things.

我想我们,你知道,我们想了解这个人是谁,如果我们只是继续不成文的事情,语言模型会让事情变得不同,变得困难。

I think the broader question of how systems have to change is, is important.

我认为系统如何改变这个更广泛的问题很重要。

And I don’t know, but I, I think the community is seriously thinking about it.

我不知道,但我认为社区正在认真考虑这个问题。

KONTOROVICH

And just to add, even before AI, it wasn’t a number of publications or your GRE score, it was the letters.

补充一点,即使在人工智能出现之前,重要的也不是出版物的数量或 GRE 分数,而是字母。

We wanna know who the professors are that you’ve interacted with and what is their opinion.

我们想知道与您互动过的教授是谁以及他们的观点是什么。

So which, you know, is an interpersonal communication and that’s what a lot of the measure was.

所以,你知道,这是一种人际沟通,这就是很多衡量标准的内容。

You know, GRE scores are nice to look at, but I go straight to the letters.

你知道,GRE 成绩很好看,但我直接看字母。

VENKATESH

I think, you know, mathematics has always, I think it’s made space for people who are independent-minded and wanted to go and do their own thing.

我认为,你知道,数学一直为那些有独立思想、想做自己的事情的人创造了空间。

And I think we will continue to do that.

我认为我们将继续这样做。

And maybe doing your own thing means saying I refuse to use AI.

也许做你自己的事就意味着我拒绝使用人工智能。

But, I think as a culture, we respect that kind of independence of mind.

但是,我认为作为一种文化,我们尊重这种思想独立性。

Audience Question: Um, So one thing that we’ve heard a lot about is how AI is changing the way that we’re attacking these problems, the way we’re thinking really.

观众提问:嗯,我们经常听到的一件事是人工智能如何改变我们解决这些问题的方式,改变我们真正的思考方式。

And I get a little pessimistic and wonder, you know, is it gonna change the way we think in a bad way?

我有点悲观,想知道,它会以一种不好的方式改变我们的思维方式吗?

I don’t think students necessarily start using AI as a tool thinking, “Okay, I’m going to hurt my knowledge and the way I go about these problems,” but slowly over time it does, and I worry that the same thing might happen to mathematicians.

我不认为学生们一定会开始使用人工智能作为工具,思考“好吧,我会损害我的知识和我解决这些问题的方式”,但随着时间的推移,它会慢慢地发生,我担心同样的事情可能会发生在数学家身上。

So my question is, are we really just like frogs boiling in a pot of water?

那么我的问题是,我们真的就像锅里煮青蛙一样吗?

Are we gonna know when we’re supposed to jump out?

我们知道什么时候应该跳出去吗?

VAKIL

I think some people will make bad decisions, and the question is if too many do, I, I think that is a real danger, and it’s hard to know how warm the water is, and people will think their homework is due the next day and just this one time, they’ll do it.

我认为有些人会做出错误的决定,问题是如果太多人这样做,我认为这是一个真正的危险,而且很难知道水有多暖和,人们会认为他们的作业第二天就要交,就这一次,他们就会做。

So I, I think that’s a fair question, and it’s tough when you’re the person.

所以我认为这是一个公平的问题,但当你是那个人时,这很难。

It’s easy to see it from the outside.

从外面很容易看到它。

It’s tougher when you’re the person deciding.

当你是做决定的人时,事情就更困难了。

What is the purpose of this operation?

这个操作的目的是什么?

Is it that I want the solution to the problem, or is it that you’re supposed to sit there being frustrated and get the stamina for frustration that it takes to do any kind of difficult thing that human beings want to do?

是我想要问题的解决方案,还是你应该坐在那里感到沮丧,并获得做人类想做的任何困难事情所需的挫折耐力?

I feel it a little bit when I learn a new subject with AI that sometimes I get the link to the paper and I get, then maybe I’ll get the summary.

当我用人工智能学习一门新学科时,我有一点感觉,有时我会得到论文的链接,然后我可能会得到摘要。

But in the old days, I would’ve read the paper and I would’ve fought with it for a few days.

但在过去,我会阅读报纸并与之斗争几天。

So, there’s a trade-off, and as I s-said earlier, we need to fight with things for a long period of time and be stuck.

所以,这是一个权衡,正如我之前所说的,我们需要与事物进行长期斗争并陷入困境。

And I don’t have much time right now, and so I sometimes make this trade-off.

而且我现在没有太多时间,所以有时我会做出这样的权衡。

But I’m making potentially the same mistake the undergraduate is the day before the homework is due.

但我可能会在本科生交作业的前一天犯同样的错误。

KONTOROVICH

I still can’t understand anything without printing it out.

如果不打印出来我仍然无法理解任何内容。

So I’m, I’m very old-fashioned in that way, you know.

所以我,你知道,我在这方面非常守旧。

If I’m looking at something on a screen, it’s just going by.

如果我正在看屏幕上的某些内容,它就会过去。

I tried annotating PDFs.

我尝试对 PDF 进行注释。

It’s just not the same as printing it out, laying seven pages across my desk, circling things and, you know.

这与打印出来、在我的桌子上铺七页、圈出东西然后,你知道的不同。

I don’t know.

我不知道。

I’m a Luddite…

我是勒德分子……

who loves AI.

谁热爱人工智能。

Audience Question: Um, As a grad student, I feel, uh, low-hanging fruit is very important for, uh, grad students for, like, getting started, getting confidence in math.

观众提问:嗯,作为一名研究生,我觉得,呃,容易实现的目标对于研究生来说非常重要,比如开始,对数学建立信心。

And my concern is that AI will swoop, and take all the low-hanging fruit, and then maybe, uh, it’ll be hard for a lot of people to get started.

我担心人工智能会突然出现,夺走所有唾手可得的果实,然后也许,呃,很多人会很难开始。

And I’m concerned about like, the Average Joe mathematician who doesn’t work on things that are, like, safe from AI.

我担心那些普通的数学家,他们不从事不受人工智能影响的事情。

But, yeah.

但是,是的。

I was wondering what your thoughts are on that.

我想知道你对此有何想法。

STROGATZ

I wonder about that, though.

不过我对此感到好奇。

we didn’t get a chance to talk about applied math versus pure math, and maybe you’re in pure math, so this isn’t relevant.

我们没有机会谈论应用数学与纯数学,也许你是纯数学的,所以这不相关。

But I think even within pure math, isn’t it possible to start a new area sort of?

但我认为即使在纯数学领域,是否也有可能开辟一个新的领域?

Like, there’s this question of interpolating within math and extrapolating to do something brand new, and I realize it’s hard to start a new subject or even a new tiny piece of a subject, but I’m just thinking that might increase your chances, that it won’t be low-hanging fruit if it doesn’t exist yet.

就像,有一个在数学中进行插值和推断来做一些全新的事情的问题,我意识到很难开始一个新的学科,甚至是一个新的学科的一小部分,但我只是认为这可能会增加你的机会,如果它还不存在,它也不会是唾手可得的成果。

You know what I mean?

你知道我的意思?

Like, there may be tractable graduate student beginning level questions that you could get by talking to your friend who’s a psychologist.

例如,您可以通过与心理学家朋友交谈来解决一些易于处理的研究生初级问题。

I am gonna go applied on you for a minute.

我要去给你申请一分钟。

We want you in applied math.

我们想要你学应用数学。

There’s a lot to do, and science may be more resistant than math.

有很多事情要做,科学可能比数学更有抵抗力。

LEVIN

It’s happened in particle physics.

这发生在粒子物理学中。

It was a victim of its own success.

它是其自身成功的受害者。

I mean, this is a different kind of a success.

我的意思是,这是另一种成功。

It’s a technological success, but where the standard model seemed done.

这是技术上的成功,但标准模型似乎已经完成。

LEVIN

And it was no longer attracting tons of students who had lots of work to do.

它不再吸引大量有大量作业要做的学生。

It was all kind of solved.

一切都已经解决了。

And then, you know, luckily, we realized we only know 5% of what’s out in the universe, so we’re back.

然后,幸运的是,我们意识到我们只知道宇宙中 5% 的事物,所以我们回来了。

But, you know, dark energy and dark matter kind of saved the fields…

但是,你知道,暗能量和暗物质拯救了场……

the unknowns.

未知数。

So it, it may be that there’s just, as you’re saying, there’s a way of, sort of, pivoting.

所以,正如你所说,可能只是有一种方式,某种程度的转变。

But it’s very curious for mathematics.

但这对于数学来说非常好奇。

I think it is a curious question.

我认为这是一个奇怪的问题。

VAKIL

So I wanna express worry as well.

所以我也想表达担忧。

I wanna share your concern that this, I think uh, there are certain kinds of problems that would be excellent for training graduate student minds, such as you take a solution, a theorem that worked in a certain situation, and I as an advisor know it’s going to work.

我想分享你的担忧,我认为呃,有些问题非常适合训练研究生的思维,比如你采取一个解决方案,一个在特定情况下有效的定理,而我作为顾问知道它会起作用。

It’s got to work in a slightly different situation.

它必须在稍微不同的情况下发挥作用。

And that’s perfect ’cause you would have to really understand it to make it work.

这是完美的,因为你必须真正理解它才能让它发挥作用。

But now that really feels something that is accessible to models, and rightly so that now this should be handed over to models.

但现在确实感觉有些东西是模型可以访问的,因此现在应该将其移交给模型。

So, the good thing is advisors are concretely thinking about how next to think about the right way, the right sources of problems.

因此,好处是顾问们正在具体思考下一步如何以正确的方式、正确的问题根源进行思考。

I don’t feel like graduate students are the ones that are gonna invent new fields.

我不认为研究生会发明新领域。

Unless, except for maybe three or four.

除非,除了也许三四个。

But, I do worry.

但是,我确实担心。

That’s the, one of the few things that I think are real concerns.

这是我认为真正令人担忧的少数事情之一。

Uh, but at least I share the concern, and we’re thinking hard about it.

呃,但至少我也有同样的担忧,而且我们正在认真考虑这个问题。

So don’t give up, uh, because it’s important to get the graduate students through this stage and continue to train because they’re the ones who are going to drive the field forward four years later.

所以不要放弃,呃,因为让研究生度过这个阶段并继续训练很重要,因为他们将在四年后推动该领域向前发展。

KONTOROVICH

But I think even your example of I know this theorem works in, uh, situation X, I wanna, you know, make a slightly, slight modification X prime.

但我认为即使你的例子我知道这个定理也适用于,呃,情况 X,我想,你知道,对 X 素数做一个轻微的修改。

The act of what we’re asking the student to do to transfer from X to X prime, we’re not saying you have to come up necessarily with any new ideas.

我们要求学生从 X 转移到 X prime 的行为,我们并不是说你必须想出任何新的想法。

The goal is for you to learn actually what theorem X is, learn the innards of how it works, because when you shake it just a little bit, you, you learn some more about, oh, actually the reason this is happening is because of this and not that and you thought it would work, but it actually doesn’t work and here’s where I’m stuck and so on.

我们的目标是让你真正了解定理 X 是什么,了解它的工作原理,因为当你稍微摇动它时,你会了解更多,哦,实际上发生这种情况的原因是因为这个而不是那个,你认为它会起作用,但实际上不起作用,这就是我被困住的地方等等。

There’s still so much, even with the AI assisting you in that path, there’s still so much for you to learn.

还有很多东西,即使有人工智能在这条路上帮助你,你仍然有很多东西需要学习。

The goal isn’t necessarily just to arrive at X prime.

我们的目标不一定只是达到 X prime。

Now, if you’re saying, “Okay, but AI already knows X prime,” who’s pressing the button on the AI to get X prime, right?

现在,如果你说,“好吧,但是 AI 已经知道 X prime”,那么谁按下 AI 上的按钮来获得 X prime,对吧?

At the end of the day, someone has to ask the AI the question, and of course it can ask its own questions, but even then someone’s prompting it to say, “Go ask questions.”

归根结底,必须有人向人工智能提出问题,当然它也可以问自己的问题,但即便如此,还是有人会提示它说:“去问问题。”

So, it’s like it’s not turtles all the way down.

所以,就好像它不是一路下来的海龟。

Someone is paying the electric bill of what’s being asked and, uh, that person’s doing it for a reason.

有人正在支付所要求的电费,呃,那个人这样做是有原因的。

At the end of the day, what is being done has to be valued by human beings, otherwise it’s not going to get done.

归根结底,所做的事情必须得到人类的重视,否则就无法完成。

STROGATZ

And isn’t it possible that we’re in a peculiarly anomalous time right now where the big AI companies are playing around with our field for their own purposes…

我们现在是否有可能正处于一个异常反常的时代,大型人工智能公司正在为了自己的目的而在我们的领域玩弄……

STROGATZ

…

……

but they may lose interest very quickly.

但他们可能很快就会失去兴趣。

KONTOROVICH

That’s exactly what I expect.

这正是我所期望的。

STROGATZ

Right?

正确的?

So, so in fact, what we’re experiencing now may not last much longer, and maybe we’ll have it back to ourselves again for a while.

所以,所以事实上,我们现在所经历的情况可能不会持续太久,也许我们会再次回到自己身边一段时间。

KONTOROVICH

And we’ll have this great tool that they…

我们将拥有这个很棒的工具,他们......

The danger is that now we have to really trust students to work on their own, and the purpose of it is not to get the answer.

危险在于,现在我们必须真正信任学生自己做事,而这样做的目的不是为了得到答案。

It was never to get the answer on a test.

从来不是为了在考试中得到答案。

It was to train your mind.

这是为了训练你的头脑。

STROGATZ

And we’ll have this great tool while they’re solving something else.

当他们解决其他问题时,我们将拥有这个很棒的工具。

Audience QA: So like many people in this room, I of course agree that math does amazing things to sharpen minds and to enrich lives.

观众问答:就像在座的许多人一样,我当然同意数学在磨砺思维和丰富生活方面发挥着惊人的作用。

But at the same time, there’s a lot of other disciplines that can lay similar claims, and much has been said even today about, you know, humanities and that maybe math is going to start looking a little more like those.

但与此同时,还有很多其他学科可以提出类似的主张,即使在今天,关于人文学科也已经有很多说法,也许数学将开始看起来更像这些学科。

So my question is do you think that as a profession, we need to be thinking about some sort of a value-added statement that would actually work to, in real life, nurture an ecosystem of people who would be engaged in this brave new math that’s being shaped up?

所以我的问题是,你是否认为作为一种职业,我们需要考虑某种增值声明,这种声明实际上可以在现实生活中培养一个由人们组成的生态系统,让他们参与到正在形成的这一勇敢的新数学中?

Or do you think that such a value-added statement will just kind of happen by itself?

或者您认为这样的增值声明会自动发生吗?

VAKIL

Okay, that was like softly lobbed across home plate.

好吧,这就像轻轻地抛过本垒。

So this is something which is, i-i-is, so this is part of the mistakes that were made with the Hardy style: I only wanna talk to those students who are future PhD mathematicians.

所以这是,我-我-是,所以这是哈代风格所犯的错误的一部分:我只想和那些未来成为数学博士的学生交谈。

That’s decades ago.

那是几十年前的事了。

At many schools, math is one of the biggest majors.

在许多学校,数学是最大的专业之一。

At our school, math is one of the biggest majors.

在我们学校,数学是最大的专业之一。

Why?

为什么?

Not because people are going to become PhD mathematicians.

不是因为人们将成为数学博士。

It’s because this, these habits of mind, this, way of thinking are empirically, more and more today, even more than ever, are incredibly useful.

因为这个、这些思维习惯、这个、思维方式是经验性的,在今天越来越多,甚至比以往任何时候都非常有用。

Our students, if you want a job where you know what you’re gonna be doing in 50 years, you should not be a math major.

我们的学生们,如果你想要一份知道 50 年后你会做什么的工作,你不应该是数学专业的。

If you want to be a job in a career that doesn’t even exist yet, that where you’re gonna make the future, our students rule the world.

如果你想在一个尚不存在的职业中找到一份工作,在你将创造未来的地方,我们的学生统治世界。

In fact, I was just given from the Italian Mathematical Society, they did a study on the value added of mathematics to the economy.

事实上,我刚刚收到意大利数学会的邀请,他们做了一项关于数学对经济增值的研究。

This is, incredibly safe, and I think by hiding ourselves and pretending we’re not useful, that’s been really dangerous.

这是非常安全的,我认为隐藏自己并假装我们没有用,这真的很危险。

I think we need to have an informed public.

我认为我们需要有知情的公众。

They want to know math.

他们想了解数学。

They want to understand math.

他们想理解数学。

We can easily convince them how useful it is if we would just make the case for it.

如果我们能证明这一点,我们就可以轻松地让他们相信它有多么有用。

So thank you for that that very easy question.

谢谢你提出这个非常简单的问题。

STROGATZ

Well, you have been a fantastic audience, and so we thank you.

嗯,你们是一位出色的观众,所以我们感谢你们。

We also thank our panel here.

我们在这里也感谢我们的小组。

So we’ve been speaking today with Alex Kontorovich, Ravi Vakil, Akshay Venkatesh, and as always, Janna Levin is here co-hosting.

今天我们与 Alex Kontorovich、Ravi Vakil、Akshay Venkatesh 进行了交谈,与往常一样,Janna Levin 也在这里共同主持。

We’re signing off from The Joy of Why .

我们即将结束《为什么的喜悦》。

Thanks again, Janna.

再次感谢,詹娜。

LEVIN

Thank you, Steve, and thanks to our guests.

谢谢你,史蒂夫,也谢谢我们的客人。

Till next time.

下次吧。

STROGATZ

You turned on the recording?

你开了录音吗?

STROGATZ

If you’re enjoying The Joy of Why and you’re not already subscribed, hit the subscribe or follow button where you’re listening.

如果您正在享受《The Joy of Why》并且尚未订阅,请在您正在收听的地方点击订阅或​​关注按钮。

You can also leave a review for the show.

您还可以对节目发表评论。

It helps people find this podcast.

它可以帮助人们找到这个播客。

Find articles, newsletters, videos, and more at quantamagazine.org.

在 Quantamamagazine.org 上查找文章、新闻通讯、视频等。

[email protected] .

[电子邮件受保护]。

LEVIN

The Joy of Why is a podcast from Quanta Magazine , an editorially independent publication supported by the Simons Foundation.

《The Joy of Why》是来自《Quanta》杂志的播客,《Quanta》杂志是一份由西蒙斯基金会支持的独立编辑出版物。

Funding decisions by the Simons Foundation have no influence on the selection of topics, guests, or other editorial decisions in this podcast or in Quanta Magazine .

西蒙斯基金会的资助决定不会影响本播客或广达杂志的主题、嘉宾或其他编辑决定的选择。

The Joy of Why is produced by PRX Productions.

《为什么的喜悦》由 PRX Productions 制作。

The production team is Caitlin Faulds, Jade Abdul-Malik, Genevieve Sponsler, and Merritt Jacob.

制作团队包括 Caitlin Faulds、Jade Abdul-Malik、Genevieve Sponsler 和 Merritt Jacob。

The executive producer of PRX Productions is Jocelyn Gonzales.

PRX Productions 的执行制片人是乔斯林·冈萨雷斯 (Jocelyn Gonzales)。

Edwin Ochoa is our project manager.

埃德温·奥乔亚是我们的项目经理。

From Quanta Magazine , Simon Frantz and Samir Patel provided editorial guidance with support from Samuel Velasco, Kit Sudol, Simone Barr, and Michael Kanyongolo.

Quanta 杂志的 Simon Frantz 和 Samir Patel 在 Samuel Velasco、Kit Sudol、Simone Barr 和 Michael Kanyongolo 的支持下提供了编辑指导。

Samir Patel is Quanta’s editor-in-chief.

萨米尔·帕特尔 (Samir Patel) 是广达的主编。

The episode art is by Chanelle Nibbelink, and our logo is by Jacky King and Kristina Armitage.

剧集艺术由 Chanelle Nibbelink 创作,我们的徽标由 Jacky King 和 Kristina Armitage 创作。

STROGATZ

Special thanks to Garth Avery at the Cornell Broadcast Studio and Andrew Stelzer for PRX.

特别感谢康奈尔广播工作室的 Garth Avery 和 PRX 的 Andrew Stelzer。

LEVIN

I’m your host, Janna Levin.

我是你们的主持人,詹娜·莱文。

If you have any questions or comments, please email us at [email protected] .

如果您有任何问题或意见,请发送电子邮件至 [email protected]。

Thanks for listening.

感谢您的聆听。

Note: Alex Kontorovich is a member of Quanta Magazine’s advisory board .

注:Alex Kontorovich 是 Quanta 杂志顾问委员会成员。

Get highlights of the most important news delivered to your email inbox

获取发送到您的电子邮件收件箱的最重要新闻的摘要

Quanta Magazine moderates comments to facilitate an informed, substantive, civil conversation.

《Quanta》杂志对评论进行审核,以促进知情、实质性、文明的对话。

Abusive, profane, self-promotional, misleading, incoherent or off-topic comments will be rejected.

辱骂、亵渎、自我推销、误导、语无伦次或偏离主题的评论将被拒绝。

Moderators are staffed during regular business hours (New York time) and can only accept comments written in English.

版主在正常工作时间(纽约时间)有工作人员,并且只能接受英文评论。

中文为机器翻译,仅供参考。