Could AI be a mathematical buddy?

Описание: Artificial Intelligence (AI) may not be up for the Fields Medal (mathematics’ Nobel Prize) 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 as Terry Tao explains.

#shorts #science #maths #math #mathematics #stem #ai