正在加载视频...

视频加载失败

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:

132,185 次观看 • 1 年前 •via X (Twitter)

9 条评论

TelepathicPug 的头像
TelepathicPug1 年前

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

Najm 的头像
Najm1 年前

He really is interested in AI.

p-brane 的头像
p-brane1 年前

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

Garrett Arpin 的头像
Garrett Arpin1 年前

@jvboid I called it

Hassan Abedi 📚🌿🦉 的头像
Hassan Abedi 📚🌿🦉1 年前

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

Garry W Briggs 的头像
Garry W Briggs1 年前

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 وديع مامي 的头像
Wadï Mami وديع مامي1 年前

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ē/ 的头像
ze /zē/1 年前

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.

QCX 的头像
QCX1 年前

Man just needs a highly concurrent multi agent framework

相关视频