[RightWingAtheist]

I wrote a review for the movie Colossus: The Forbin Project, in which I tut-tutted the film makers for assuming that a computer could formulate a new theory of gravity all by itself. Looks like I'll have to revise it again.

[js1138]

I don't think the authors are saying the computer found a formula. I believe it found a matching relationship from a list supplied by the authors. Still, it tooks weeks of computation, making the method impractical to do by hand or by intuition.

[Physicist]

I tut-tutted the film makers for assuming that a computer could formulate a new theory of gravity all by itself.

I recommend you read The Age of Spiritual Machines by Raymond Kurzweil. (Bear in mind that I consider Kurzweil to be something of a pessimist regarding the future capabilities of machines.)