Wat je moet weten voordat je
begint

Start 4 June 2026 13:29

Einde 4 June 2026

00 Dagen
00 Uren
00 Minuten
00 Seconden
course image

Machine Assistance and the Future of Research Mathematics

Explore how AI and machine learning are transforming mathematical research through formal proof assistants, language models, and collaborative platforms with renowned mathematician Terry Tao.
Institute for Pure & Applied Mathematics (IPAM) via YouTube

Institute for Pure & Applied Mathematics (IPAM)

6076 Cursussen


29 minutes

Optionele upgrade beschikbaar

Not Specified

Ga in je eigen tempo vooruit

Free Video

Optionele upgrade beschikbaar

Overzicht

Explore how AI and machine learning are transforming mathematical research through formal proof assistants, language models, and collaborative platforms with renowned mathematician Terry Tao.


Vakgebieden

Artificial Intelligence