In 2013, I wrote a diatribe on computed-assisted proofs, simulations, & the curse of computing: https://egtheory.wordpress.com/2013/05/14/curse-of-computing/ … ...
-
yes. I think I was falling for that dichotomy. Trying to crawl out now. Will let you know if I reach air again.
It puzzles me that there's relatively little work on this. It seems a huge opportunity (as the Lipson et al work suggests)
