Matematika, stejně jako mnoho jiných vědeckých snah, stále více využívá umělou inteligenci. Samozřejmě, matematika je páteří AI, ale matematici se k těmto nástrojům obracejí i při úkolech jako je vyhledávání literatury a kontrola rukopisů kvůli chybám. Ale jak dobře může AI řešit skutečné, vysoce náročné výzkumné problémy?
