News for hackers. Stuff that matters.
Re:Robot achieves scientific first, discovers new knowledge ... by pwoods on Friday April 03, 2009 @12:49PM (#545148)
What? Do people still register to read new sites? Thought this idea had died already.
Re:Robot achieves scientific first, discovers new knowledge ... by Hexstream on Friday April 03, 2009 @05:06PM (#545597)
Yeah.

"To continue reading this article, please register – it’s quick, free and without obligation..."

It's not quick compared to like, NOT registering, it's not free if you value your time, and you're obligated to register to read the article...

Re:Robot achieves scientific first, discovers new knowledge ... by psyklic on Friday April 03, 2009 @01:31PM (#545208)
True, and this definitely is not a "scientific first" -- theorem provers have it beat ...
Re:Robot achieves scientific first, discovers new knowledge ... by bd on Friday April 03, 2009 @02:55PM (#545363)
This is much bigger thing. Automated theorem provers operate in (relatively) neat domain.

Biology, on the contrary, is huge mess. Billions years of evolution created a hell of complicated systems. This domain just screams for automated analysis.

Even just doing AI on some data would be cool. Doing wet experiments ordered by Prolog solver and feeding results back to it is just awesome.