The funding will help mathematicians examine and build on results produced by AI.

Source: NDTV (rewritten)