Video yükleniyor...

Video Yüklenemedi

Ana Sayfaya Dön

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

9 Yorum

TelepathicPug profil fotoğrafı
TelepathicPug1 yıl önce

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

Najm profil fotoğrafı
Najm1 yıl önce

He really is interested in AI.

p-brane profil fotoğrafı
p-brane1 yıl önce

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

Garrett Arpin profil fotoğrafı
Garrett Arpin1 yıl önce

@jvboid I called it

Hassan Abedi 📚🌿🦉 profil fotoğrafı
Hassan Abedi 📚🌿🦉1 yıl önce

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

Garry W Briggs profil fotoğrafı
Garry W Briggs1 yıl önce

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 وديع مامي profil fotoğrafı
Wadï Mami وديع مامي1 yıl önce

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ē/ profil fotoğrafı
ze /zē/1 yıl önce

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 profil fotoğrafı
QCX1 yıl önce

Man just needs a highly concurrent multi agent framework

Benzer Videolar