Последните разработки в изкуствения интелект фундаментално промениха математиката чрез успешно генериране и формализиране на сложни доказателства без човешка помощ. AI системите вече могат да произвеждат задълбочени теореми, които доскоро се смятаха за невъзможни за формализиране в толкова кратки срокове.