Stories
Slash Boxes
Comments
typodupeerror delete not in
  • Preferences

+-   Mechanical Reasoners battle it out in Sydney today-> on Tuesday August 12 2008, @06:36PM Stephan Schulz

Submitted by Stephan Schulz on Tuesday August 12 2008, @06:36PM
math
Stephan Schulz writes "While the Beijing Olympic Games may be the most visible ongoing contest, it is not the geekiest by far. Today, the CADE ATP System Competition will pit about 20 of the worlds most powerful mechanical mathematicians against each other — and for the first time they can win not only honour, but real a monetary prize. The systems will reason against the clock on tasks ranging from undergraduate math problems and Cluedo-like puzzles to figuring out the possible responsibility for terrorist attacks from giant knowledge bases. If you think that is not impressive enough, they are doing it at a rate of 12 problems per hour, all day long. The competition starts at 10 a.m. in Sydney, Australia, which is midnight UTC. Live results will be available at the competition page. For added geek appeal, most of the contenders are available under open source licenses, so if you are weak in logic you can hack up your own brain extension and run it on an iPhone..."
Link to Original Source
submission
This discussion was created for logged-in users only, but now has been archived. No new comments can be posted.
The Fine Print: The following comments are owned by whoever posted them. We are not responsible for them in any way.

Mechanical Reasoners battle it out in Sydney today 0 Comments More /

 Full
 Abbreviated
 Hidden
More
Loading... please wait.
Search
QOTD: "I'm on a seafood diet -- I see food and I eat it."

All trademarks and copyrights on this page are owned by their respective owners. Comments are owned by the Poster. The Rest © 1997-2010 Geeknet, Inc.