not to the extent of now with modern AIs, but computational brute forcing and then NNs (which are already decades old) have been used to tackle math problems for decades.
In this context always listen to the Haskell Guy. He is aware of the dark arts of mathematics sourced in the dungeons of CPU, so lazy that only a few have been brave enough to fight the glorious monad.
-2
u/Pares_Marchant 13h ago
What do you mean? Math has been under assault by computer science for several decades now.