正在加载视频...

视频加载失败

加载此视频时出现问题。这可能是由于临时网络问题，或视频可能不可用。

Terry Tao: “AI solved the knottiest problems in math”

Prof. Brian Keating

56,158 subscribers

34,968 次观看 • 4 个月前 •via X (Twitter)

教育科学技术

Anya Rossi• Live Now

Private livecam show

0 条评论

暂无评论

原始帖子的评论将显示在这里

相关视频

Terence Tao thinks AI is already very good at using existing, well-understood math techniques to solve problems. An important question is how many open problems in math could be solved this way, without developing any new ideas. An extreme case of a proof like this is the four-color theorem, which was proved by checking a thousand examples one-by-one. If there are lots of problems that are vulnerable to just mechanically applying existing techniques, AI could start to produce new math results incredibly rapidly. But these proofs might not help advance our civilization’s knowledge the way math has in the past.

Terence Tao thinks AI is already very good at using existing, well-understood math techniques to solve problems. An important question is how many open problems in math could be solved this way, without developing any new ideas. An extreme case of a proof like this is the four-color theorem, which was proved by checking a thousand examples one-by-one. If there are lots of problems that are vulnerable to just mechanically applying existing techniques, AI could start to produce new math results incredibly rapidly. But these proofs might not help advance our civilization’s knowledge the way math has in the past.

Dwarkesh Patel

64,547 次观看 • 2 个月前

Terence Tao: Will AI solve complex math problems like the Riemann Hypothesis, or is human insight essential? The answer might lie in a collaboration we can't yet imagine, blending AI's power with human ingenuity.

Terence Tao: Will AI solve complex math problems like the Riemann Hypothesis, or is human insight essential? The answer might lie in a collaboration we can't yet imagine, blending AI's power with human ingenuity.

Chubby♨️

12,923 次观看 • 2 个月前

Terence Tao says AI could help rework mathematics from the ground up, doing math problems at a scale never done before and leading to a new age of discovery

Terence Tao says AI could help rework mathematics from the ground up, doing math problems at a scale never done before and leading to a new age of discovery

Tsarathustra

63,759 次观看 • 1 年前

Can an AI trained in English solve math problems in other languages without extra training?

Can an AI trained in English solve math problems in other languages without extra training?

Sophia Yang, Ph.D.

35,745 次观看 • 1 年前

How does math research change when the cost of trying your first dumb idea goes to zero? Daniel Litt joins Greg Burnham and Anson Ho to discuss what today’s models can and can’t do in math, and how far they are from doing high-quality research. 0:00:00 What's the hardest math problem AI can solve today? 00:16:08 How helpful are today’s AI models for math research? 00:23:36 Junk papers, LLM-generated proofs, and the refereeing crisis 00:27:21 AI enables searching through problems at scale 00:33:49 When will AI be good enough to publish in top math journals? 00:42:15 What are the returns to intelligence? 00:59:50 Will AI solve Millennium problems? 01:11:54 Is math full of low-hanging fruit? 01:18:47 How Daniel has adapted his professional life to AI progress 01:25:28 What do AI math benchmarks actually measure? 01:33:05 Designing the Open Problems benchmark 01:56:35 Do mathematicians believe heuristic arguments about conjectures? 02:01:24 What if FrontierMath: Open Problems gets solved? 02:06:53 Is AI on the cusp of accelerating math progress?

How does math research change when the cost of trying your first dumb idea goes to zero? Daniel Litt joins Greg Burnham and Anson Ho to discuss what today’s models can and can’t do in math, and how far they are from doing high-quality research. 0:00:00 What's the hardest math problem AI can solve today? 00:16:08 How helpful are today’s AI models for math research? 00:23:36 Junk papers, LLM-generated proofs, and the refereeing crisis 00:27:21 AI enables searching through problems at scale 00:33:49 When will AI be good enough to publish in top math journals? 00:42:15 What are the returns to intelligence? 00:59:50 Will AI solve Millennium problems? 01:11:54 Is math full of low-hanging fruit? 01:18:47 How Daniel has adapted his professional life to AI progress 01:25:28 What do AI math benchmarks actually measure? 01:33:05 Designing the Open Problems benchmark 01:56:35 Do mathematicians believe heuristic arguments about conjectures? 02:01:24 What if FrontierMath: Open Problems gets solved? 02:06:53 Is AI on the cusp of accelerating math progress?

Epoch AI

178,703 次观看 • 4 个月前

The liberal arts student accidentally solved the math problem. (

The liberal arts student accidentally solved the math problem. (

Baekhyun Base

49,960 次观看 • 8 个月前

Terence Tao: AI isn’t hype anymore in Math discovery. Terence Tao is one of the greatest living mathematicians, in his new lecture explains how AI and human professional mathematicians are now complementary. "There has been a really visible increase in capability. It is not pure hype by any means. To me, these advances show there is a complementary way to do mathematics. Humans traditionally work in small groups on hard problems for months, and we will keep doing that. But we can also now set AI to scale: sweep a thousand problems and pick up all the low-hanging fruit. Figure out all the ways to match problems to methods. If there are 20 different techniques, apply them all to 1,000 problems and see which ones can be solved by these methods. This is the capability that is present today." From 'Institute for Pure & Applied Mathematics (IPAM)' YT channel.

Terence Tao: AI isn’t hype anymore in Math discovery. Terence Tao is one of the greatest living mathematicians, in his new lecture explains how AI and human professional mathematicians are now complementary. "There has been a really visible increase in capability. It is not pure hype by any means. To me, these advances show there is a complementary way to do mathematics. Humans traditionally work in small groups on hard problems for months, and we will keep doing that. But we can also now set AI to scale: sweep a thousand problems and pick up all the low-hanging fruit. Figure out all the ways to match problems to methods. If there are 20 different techniques, apply them all to 1,000 problems and see which ones can be solved by these methods. This is the capability that is present today." From 'Institute for Pure & Applied Mathematics (IPAM)' YT channel.

Rohan Paul

173,580 次观看 • 3 个月前

Everyday problems solved in seconds 💯 👇

Everyday problems solved in seconds 💯 👇

Home Hack 🏡

137,944 次观看 • 7 个月前

Terence Tao predicts the end of math gatekeeping with AI. AI proof assistants are smashing the technical barriers that keep amateurs out. By automating verification, AI empowers anyone to contribute rigorous pro-level Math. The Ivory Tower is falling

Terence Tao predicts the end of math gatekeeping with AI. AI proof assistants are smashing the technical barriers that keep amateurs out. By automating verification, AI empowers anyone to contribute rigorous pro-level Math. The Ivory Tower is falling

Rohan Paul

213,149 次观看 • 5 个月前

The box solved all his problems

The box solved all his problems

Cats with Aura 😺

36,080 次观看 • 21 天前

Q: What is the best way to prove you know AI math? A: Show them you solved these 300 math exercises by hand ✍, just like Reginaldo Cunha did.

Q: What is the best way to prove you know AI math? A: Show them you solved these 300 math exercises by hand ✍, just like Reginaldo Cunha did.

Tom Yeh

83,361 次观看 • 1 年前

PROBLEMS? SOLVED!

PROBLEMS? SOLVED!

Andrew Tate

2,296,589 次观看 • 1 年前

Terence Tao: AI is creating a “traffic jam” in math If AI generates more proofs than humans can verify, science needs new infrastructure. SAIR competitions build that infrastructure by surfacing high-quality results, so the best work is not lost in a flood of AI-generated math.

Terence Tao: AI is creating a “traffic jam” in math If AI generates more proofs than humans can verify, science needs new infrastructure. SAIR competitions build that infrastructure by surfacing high-quality results, so the best work is not lost in a flood of AI-generated math.

SAIR

81,083 次观看 • 18 天前

Nature solved one of the major problems

Nature solved one of the major problems

STEM

43,861 次观看 • 5 个月前

Terence Tao says AI can flood you with new mathematical ideas, but maybe 1 in 100 is actually good, and it can't tell the difference Where math is verifiable, you either solved it, or you didn't — AI is already useful "it might occasionally hit gold, then move right past it and give you 99 things that are rubbish"

Terence Tao says AI can flood you with new mathematical ideas, but maybe 1 in 100 is actually good, and it can't tell the difference Where math is verifiable, you either solved it, or you didn't — AI is already useful "it might occasionally hit gold, then move right past it and give you 99 things that are rubbish"

Haider.

23,551 次观看 • 2 个月前

This guy placed himself in Titanic and solved all the Titanic problems 😭

This guy placed himself in Titanic and solved all the Titanic problems 😭

🦕

775,272 次观看 • 1 个月前

How they solved heat problems in Medina, Saudi Arabia.

How they solved heat problems in Medina, Saudi Arabia.

Johnny

274,093 次观看 • 11 个月前

.Stanford HAI senior fellow Yejin Choi on the opportunity for more AI investment in nonprofits: “I don't think making AI solving math problems better will suddenly make the world better.” #AxiosHouse

.Stanford HAI senior fellow Yejin Choi on the opportunity for more AI investment in nonprofits: “I don't think making AI solving math problems better will suddenly make the world better.” #AxiosHouse

Axios

25,932 次观看 • 4 个月前