Slashdot Mirror

← Back to Stories (view on slashdot.org)

Mechanical Reasoners Battle It Out In Sydney Today

Posted by timothy on 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."

12 of 45 comments (clear)

  1. 12 programs per hour? by Anonymous Coward · · Score: 1, Funny

    That's only 7 minutes per.

    1. Re:12 programs per hour? by gardyloo · · Score: 4, Funny

      Sweet! I want to get me some of those 84 minute hours like they have in Australia!

          P.S. I think you should volunteer your mathematical abilities to the teams.

    2. Re:12 programs per hour? by spazdor · · Score: 2, Funny

      The theorem-proving race was neck-in-neck until we got to the fourth event, the Halting Problem.

      No clear winner for this one yet. Stay tuned.

      --
      DRM: Terminator crops for your mind!
  2. It was... by DarkEntity · · Score: 4, Funny

    Darwin in the lounge with the binary decision diagrams?

  3. For the automata reading this discussion by Jonboy+X · · Score: 4, Funny

    (!clue:"mechanical reasoning") -> (!valid(opinion:"esoteric Slashdot article"))

    --

    "In a 32-bit world, you're a 2-bit user. You've got your own newsgroup, alt.total.loser." -Weird Al
  4. Weak in logic by Nerdposeur · · Score: 2, Funny

    ...so if you are weak in logic you can hack up your own brain

    This is where the line wrapped on my monitor. For a second I felt thought Slashdot was threatening me.

  5. It's nobody's business by Anonymous Coward · · Score: 2, Funny

    but the Turks'.

  6. to save time, the answer is.... by owlnation · · Score: 1, Funny

    forty-two.

  7. Reminds me of Concrete Mathematics... by file_reaper · · Score: 5, Funny

    The book...not mathematics of concrete as is said in the book...

    "When DEK taught Concrete Mathematics at Stanford for the first time he explained the somewhat strange title by saying that it was his attempt to teach a math course that was hard instead of soft. He announced that, contrary to the expectations of some of his colleagues, he was not going to teach the Theory of Aggregates, not Stone's Embedding Theorem, nor even the Stone-Cech compactification. (Several students from the civil engineering department got up and quietly left the room.)"

  8. Re:Confusing summary by Anonymous Coward · · Score: 2, Funny

    I was thinking along the lines of a mechanical proof:

    Prove that women are evil:
    1) Women require time and money
    Women= Time * Money
    2) Time is money, therefore
    Women= Money^2
    3) Money is the root of all evil
    Money=sqrt(Evil)^2
    4) Therefore,
    Women=Evil
    Q.E.D.

  9. Re:Confusing summary by gyrogeerloose · · Score: 3, Funny

    Prove that women are evil:

    What is this "woman" thing of which you speak?

    --
    This ain't rocket surgery.
  10. Ownership... by ZarathustraDK · · Score: 2, Funny

    ...to figuring out the possible responsibility for terrorist attacks from giant knowledge bases.

    But...I thought they were all belonged to us?

    --
    If you quote this signature there'll be 72 copies of Windows ME waiting for you in Heaven.