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

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

На главную

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

Похожие видео