Saturday, April 12, 2008

A paper showing how computers can make automated scientific discovery of new drugs. This is much more straightforward in maths, where computers can prove theorems. My computer routinely does that - but the theorems are not very interesting.

1 comment:

Simone Severini said...

I could have emailed you, but since this is now customary, I decided to do it here.

You know the long and interesting discussion on this topic which is going on in mathematics and neighboring fields.

I find particularly interesting

http://www.math.rutgers.edu/
~zeilberg/Opinion36.html

and

http://www.dpmms.cam.ac.uk/
~wtg10/zeilberger.html

Have a good weekend!

Simone