Загрузка видео...

Не удалось загрузить видео

На главную

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

Briankeating's profile picture

Prof. Brian Keating

56,158 subscribers

34,968 просмотров • 5 месяцев назад •via X (Twitter)

ОбразованиеНаука и технологии
LIVE

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.
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 просмотров • 3 месяцев назад

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 просмотров • 3 месяцев назад

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 просмотров • 1 год назад

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 просмотров • 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?
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 просмотров • 5 месяцев назад

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 просмотров • 4 месяцев назад

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

The liberal arts student accidentally solved the math problem. (

Baekhyun Base

49,960 просмотров • 9 месяцев назад

Everyday problems solved in seconds 💯 👇
1:13

Everyday problems solved in seconds 💯 👇

Home Hack 🏡

137,958 просмотров • 8 месяцев назад

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 просмотров • 5 месяцев назад

The box solved all his problems
1:07

The box solved all his problems

Cats with Aura 😺

36,080 просмотров • 1 месяц назад

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 просмотров • 1 год назад

PROBLEMS? SOLVED!
0:54

PROBLEMS? SOLVED!

Andrew Tate

2,296,744 просмотров • 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.
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 просмотров • 1 месяц назад

Nature solved one of the major problems
0:37

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"
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 просмотров • 2 месяцев назад

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 просмотров • 1 месяц назад

.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 просмотров • 5 месяцев назад

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

How they solved heat problems in Medina, Saudi Arabia.

Johnny

274,093 просмотров • 1 год назад