Video yükleniyor...

Video Yüklenemedi

Ana Sayfaya Dön

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

Briankeating's profile picture

Prof. Brian Keating

56,158 subscribers

34,968 görüntüleme • 5 ay önce •via X (Twitter)

EğitimBilim & Teknoloji
LIVE

Anya Rossi• Live Now

Private livecam show

0 Yorum

Yorum bulunmuyor

Orijinal gönderinin yorumları burada görünecek

Benzer Videolar

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.
1:28

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 görüntüleme • 3 ay önce

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.
2:07

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 görüntüleme • 3 ay önce

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
0:35

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 görüntüleme • 1 yıl önce

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

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

Sophia Yang, Ph.D.

35,770 görüntüleme • 1 yıl önce

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?
2:10:59

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 görüntüleme • 5 ay önce

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.
0:45

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,781 görüntüleme • 4 ay önce

The liberal arts student accidentally solved the math problem. (
0:53

The liberal arts student accidentally solved the math problem. (

Baekhyun Base

49,960 görüntüleme • 9 ay önce

Everyday problems solved in seconds 💯 👇
1:13

Everyday problems solved in seconds 💯 👇

Home Hack 🏡

137,958 görüntüleme • 8 ay önce

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
0:58

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 görüntüleme • 5 ay önce

The box solved all his problems
1:07

The box solved all his problems

Cats with Aura 😺

36,080 görüntüleme • 1 ay önce

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.
0:32

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 görüntüleme • 1 yıl önce

PROBLEMS? SOLVED!
0:54

PROBLEMS? SOLVED!

Andrew Tate

2,296,744 görüntüleme • 1 yıl önce

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.
1:32

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,211 görüntüleme • 1 ay önce

Nature solved one of the major problems
0:37

Nature solved one of the major problems

STEM

43,861 görüntüleme • 5 ay önce

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"
0:53

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 görüntüleme • 2 ay önce

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

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

🦕

779,137 görüntüleme • 1 ay önce

How they solved heat problems in Medina, Saudi Arabia.
0:36

How they solved heat problems in Medina, Saudi Arabia.

Johnny

274,093 görüntüleme • 1 yıl önce

.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
1:21

.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 görüntüleme • 5 ay önce