Want to read Slashdot from your mobile device? Point it at m.slashdot.org and keep reading!


Forgot your password?

Slashdot videos: Now with more Slashdot!

  • View

  • Discuss

  • Share

We've improved Slashdot's video section; now you can view our video interviews, product close-ups and site visits with all the usual Slashdot options to comment, share, etc. No more walled garden! It's a work in progress -- we hope you'll check it out (Learn more about the recent updates).

Math Technology

Mechanical Reasoners Battle It Out In Sydney Today 45

Posted by timothy
from the turk-v.-hal dept.
Stephan Schulz writes "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 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."
This discussion has been archived. No new comments can be posted.

Mechanical Reasoners Battle It Out In Sydney Today

Comments Filter:

"Say yur prayers, yuh flea-pickin' varmint!" -- Yosemite Sam