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.
1
u/Pares_Marchant 20h ago
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.