Knowing no more about this than the PR thus far, I am pessimistic, but for not quite the same reason as some other commenters.<p>I think a couple of things are clear.<p>(1) We are at the point where something impressive is likely to be able to be produced, and Wolfram may very well have the resources to do it.<p>(2) We are <i>not</i> at the point where the be-all-end-all version of this can be produced.<p>Compare this with the symbolic computation packages (Mathematica, Maple, etc.). Around 1990, we were at the point where we could produce a very good one. Several were written. They have been improved since, but only marginally. We're still pretty much using 1990 technology.<p>And that's fine. We knew how to make a really good symbolic computation package. We did. End of story.<p>But consider the proposed packages (Alpha, etc.). We might produce something impressive. But we are <i>not</i> ready to produce something <i>really</i> <i>good</i> and <i>useful</i>. Our initial efforts will require lots of improving.<p>And Wolfram is definitely not the one to do that improving. He runs an aggressively closed shop. Always has. I predict, therefore, that the cathedral-bazaar effect is going to mean his product will be difficult to improve, and so will never become truly useful.