Mechanical Reasoners battle it out in Sydney today->
Submitted
by
Stephan Schulz
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
Link to Original Source
Mechanical Reasoners battle it out in Sydney today More Login
Mechanical Reasoners battle it out in Sydney today