Loading video...

Video Failed to Load

There was a problem loading this video. This could be due to a temporary network issue or the video might be unavailable.

Artificial Intelligence may not be up for the Fields Medal any time soon, but it may act as an intermediary for mathematicians working on proofs. However, something is lacking for AI to get down to it. Terry Tao looks to the positives. Full lecture:

Oxford Mathematics

78,102 subscribers

132,413 views • 1 year ago •via X (Twitter)

Science & Technology News & Politics Education

Anya Rossi• Live Now

Private livecam show

9 Comments

TelepathicPug1 year ago

It's pretty cool to think that in the future humans may end up being coauthors. Basically verifying results.

Najm1 year ago

He really is interested in AI.

p-brane1 year ago

that other guy is nodding so furiously why so much adulation? unbecoming, as Littlewood would say Tao is overrated, in my opinion

Garrett Arpin1 year ago

@jvboid I called it

Hassan Abedi 📚🌿🦉1 year ago

Great that he's not an AI doomer. based. 👀

Garry W Briggs1 year ago

A proof only stands if a human can follow it eg some proofs may take longer than a lifespan (which some of mine may take!).

Wadï Mami وديع مامي1 year ago

Here I share with you what #GenerativeAI (Gemini) think about my idea my IT model for sequencing DNA which maybe could explain how #Crispr cas9 works maybe the solution To fight cancer and all diseases please visit

ze /zē/1 year ago

On this day I coined the term probability drive for the express purpose of referring to large language models (LLM) -unknown Long story, watch Tao, bloody brilliant.

QCX1 year ago

Man just needs a highly concurrent multi agent framework

Related Videos

It's useful to start thinking about AI not as artificial intelligence, but rather an alien intelligence. As the technology develops beyond our initial designs, it may one day surpass our understanding. Watch the whole @BigThink interview:

It's useful to start thinking about AI not as artificial intelligence, but rather an alien intelligence. As the technology develops beyond our initial designs, it may one day surpass our understanding. Watch the whole @BigThink interview:

Yuval Noah Harari

79,695 views • 4 months ago

'Artificial intelligence is already changing humans' — Margarita Simonyan to China Now’s Zhang Weiwei RT’s Editor-in-Chief warns that while AI is useful, it may one day get out of control China could help the world keep AI as an assistant — not a replacement for humanity

'Artificial intelligence is already changing humans' — Margarita Simonyan to China Now’s Zhang Weiwei RT’s Editor-in-Chief warns that while AI is useful, it may one day get out of control China could help the world keep AI as an assistant — not a replacement for humanity

RT

14,024 views • 2 months ago

AI is taking over. A physician comes to the revelation that he may be losing his job soon due to artificial intelligence.

AI is taking over. A physician comes to the revelation that he may be losing his job soon due to artificial intelligence.

Planet Of Memes

14,226 views • 7 months ago

“It looks like it was meant to be deliberately just below the threshold for Article 5.” Putin may have been focused on gathering intelligence on NATO weapons sent to Ukraine not attacking Poland.

“It looks like it was meant to be deliberately just below the threshold for Article 5.” Putin may have been focused on gathering intelligence on NATO weapons sent to Ukraine not attacking Poland.

Tim Pool

198,287 views • 11 months ago

📁 Terence Tao, mathematician and Fields Medalist, says AI may look like it reasons, but it does not understand. Language models imitate the steps of human reasoning without solid foundations. Sometimes they get it right, sometimes they collapse entirely. The output looks convincing, but it is fragile. It feels like understanding, yet it is probability pretending to think.

📁 Terence Tao, mathematician and Fields Medalist, says AI may look like it reasons, but it does not understand. Language models imitate the steps of human reasoning without solid foundations. Sometimes they get it right, sometimes they collapse entirely. The output looks convincing, but it is fragile. It feels like understanding, yet it is probability pretending to think.

Jon Hernandez

252,608 views • 8 months ago

NOW: Secretary Rubio SHUTS DOWN Margaret Brennan’s Ukraine hysteria with a dose of cold, HARD reality. The media wants to live in a fantasy world where peace comes without compromise—but Rubio just said what no one else will. “In order for there to be a peace deal—this is a fact—we may not like it, may not be pleasant, it may be distasteful—but in order for there to be an end to the war, there are things Russia wants it cannot get and there are things Ukraine wants that it’s not going to get.” “Both sides have to give up something in order to get to the table in order to make this happen.” “That’s the way it is. The sooner we accept that, that’s the reality.”

NOW: Secretary Rubio SHUTS DOWN Margaret Brennan’s Ukraine hysteria with a dose of cold, HARD reality. The media wants to live in a fantasy world where peace comes without compromise—but Rubio just said what no one else will. “In order for there to be a peace deal—this is a fact—we may not like it, may not be pleasant, it may be distasteful—but in order for there to be an end to the war, there are things Russia wants it cannot get and there are things Ukraine wants that it’s not going to get.” “Both sides have to give up something in order to get to the table in order to make this happen.” “That’s the way it is. The sooner we accept that, that’s the reality.”

The Vigilant Fox 🦊

247,158 views • 1 year ago

#Cowboys QB Dak Prescott: "I'm gonna say it. I want to be here, but when you look up—all the great QBs I watched played for other teams. That's not something to fear. It may be a reality for me one day. It may not be my decision." 👀 (🎥 Jett Beachum)

#Cowboys QB Dak Prescott: "I'm gonna say it. I want to be here, but when you look up—all the great QBs I watched played for other teams. That's not something to fear. It may be a reality for me one day. It may not be my decision." 👀 (🎥 Jett Beachum)

Ari Meirov

908,915 views • 2 years ago

You may not know it, but #9 DePauw Football (11-0) is lighting up D3 football. DePauw Tigers looks to advance to the Elite 8 of the D3 Playoffs for the 1st time ever on Saturday. The Tigers play host to #19 Johns Hopkins. Full Story: | WTHR.com

You may not know it, but #9 DePauw Football (11-0) is lighting up D3 football. DePauw Tigers looks to advance to the Elite 8 of the D3 Playoffs for the 1st time ever on Saturday. The Tigers play host to #19 Johns Hopkins. Full Story: | WTHR.com

Dominic Miranda

13,640 views • 1 year ago

"The phenomenon may be an ancient form of artificial intelligence." Nathaniel Gillis explains the theory that it evolves according to our awareness of it:

"The phenomenon may be an ancient form of artificial intelligence." Nathaniel Gillis explains the theory that it evolves according to our awareness of it:

Danny Jones

43,251 views • 2 months ago

Can artificial intelligence replace God? That question may sound provocative, but in an age when we turn to algorithms for answers, guidance, and even comfort, it matters deeply. I invite you to join me at on June 7 as we discuss how to hear God's voice in an age of artificial intelligence.

Can artificial intelligence replace God? That question may sound provocative, but in an age when we turn to algorithms for answers, guidance, and even comfort, it matters deeply. I invite you to join me at on June 7 as we discuss how to hear God's voice in an age of artificial intelligence.

Gerrit W. Gong

42,873 views • 3 months ago

Max Tegmark says the way through the AI black box may be to deploy its outputs instead. A cat can learn, but it cannot export what it learned. A human scientist can. As intelligence rises, more knowledge may become externalized into code and proofs. Deploy what the mind can verify, not the mind itself.

Max Tegmark says the way through the AI black box may be to deploy its outputs instead. A cat can learn, but it cannot export what it learned. A human scientist can. As intelligence rises, more knowledge may become externalized into code and proofs. Deploy what the mind can verify, not the mind itself.

vitrupo

49,717 views • 4 months ago

It may be Pride Season… but it’s not too late for you G words to join my church! I teach a weekly class on being straight!! Time to get RIGHT 🤣 Go watch Class Act!

Sensitive content

It may be Pride Season… but it’s not too late for you G words to join my church! I teach a weekly class on being straight!! Time to get RIGHT 🤣 Go watch Class Act!

🪳🕷️ The Korpse 🕷️🪳

207,030 views • 2 years ago

It looks as if the British media may be coming around to realizing #PrinceHarry is not and does not want to return to the shackles of #thatfamily as a working royal #HarryAndMeghan #CaliforniaLove #RoyalFamily

It looks as if the British media may be coming around to realizing #PrinceHarry is not and does not want to return to the shackles of #thatfamily as a working royal #HarryAndMeghan #CaliforniaLove #RoyalFamily

The House Of Montecito

17,138 views • 11 months ago

Fusion may still sound like science fiction— but it might not be for much longer. With AI pushing demand for clean power to new highs, a breakthrough may finally be close. For Decoded, Gustaf Alströmer traces the history of fusion, the physics behind it, and the engineering challenges that stalled it for nearly a century. He also looks at how Helion is approaching the problem differently, as they develop a new fusion system expected to deliver power to Microsoft by 2028.

Fusion may still sound like science fiction— but it might not be for much longer. With AI pushing demand for clean power to new highs, a breakthrough may finally be close. For Decoded, Gustaf Alströmer traces the history of fusion, the physics behind it, and the engineering challenges that stalled it for nearly a century. He also looks at how Helion is approaching the problem differently, as they develop a new fusion system expected to deliver power to Microsoft by 2028.

Y Combinator

244,390 views • 1 year ago

It may be time for an intervention. Who's going to break it to Michael Saylor ? #XRP

It may be time for an intervention. Who's going to break it to Michael Saylor ? #XRP

Digital Asset Investor

92,735 views • 1 year ago

It may be time for the Mets to call up Christopher Morel and option Eric Wagaman.

It may be time for the Mets to call up Christopher Morel and option Eric Wagaman.

Ben Yoel

34,975 views • 1 month ago

Shoving yourself into a position you can’t access without a lot of compensation usually isn’t the best idea if you have knee pain. To be clear, I think the Knees Over Toes approach has good qualities to it. This is not an attack on the methodology or the people involved in it. However, this is a critique on how this exercise, and many like it, may not be the best choice for many people. Some can and have seen success from these programs, but I’ve met a whole lot who haven’t. If it works for you, that’s awesome. Keep going. But if it doesn’t, then it may be time to try something different.

Shoving yourself into a position you can’t access without a lot of compensation usually isn’t the best idea if you have knee pain. To be clear, I think the Knees Over Toes approach has good qualities to it. This is not an attack on the methodology or the people involved in it. However, this is a critique on how this exercise, and many like it, may not be the best choice for many people. Some can and have seen success from these programs, but I’ve met a whole lot who haven’t. If it works for you, that’s awesome. Keep going. But if it doesn’t, then it may be time to try something different.

Conor Harris

15,854 views • 3 years ago

It may be the time for the Panthers to make some hard moves

It may be the time for the Panthers to make some hard moves

Dan Le Batard Show with Stugotz

14,484 views • 6 months ago