Hacker News Reader

They compare it to Mathematica, which can return a good result, fail to do so, or timeout. Apparently they outperform Mathematica significantly (on the domain tested)

It won't be 100%, but no system (including humans) would be able to deliver a 100% rate of answers on symbolic maths.

View on HN

By 100%, I mean that it should fail when it does not know the answer, not that it needs to be able to answer 100% of provided questions. It should not just output any answer.

Alternatively, for the problems it knows how to do, a CAS should be as close to 100% as can be reached. But you are right, even Mathematica is not always correct so it is useful to be able to query a solver for its steps.

Reply on news.ycombinator.com