Welcome to MathOverflow

Question

3

Recently IBM Watson demonstrated the effectiveness of a natural language question answering algorithm. Of course, beyond the game of Jeopardy, this problem becomes more difficult. The accumulated body of mathematical knowledge seems to be a good target for domain specific natural language question answering algorithms, something like an automated Math Overflow. Is this being pursued?

edited Oct 5 2011 at 13:39

quid
12.9k●31●51

asked Oct 4 2011 at 15:54

antianticamper
81●3

12

This is not really a math question. – Mariano Suárez-Alvarez Oct 4 2011 at 15:57

2

The closest thing might be Wolfram Alpha. You can type any integral or sum and it will try to interpret what you gave it. You can even write things like "what is the monster group" and get a reasonable answer. – Eric Naslund Oct 4 2011 at 16:06

3

I am voting to reopen, because I think that this is an interesting question that is potentially important for the practice of research in mathematics. Moreover, if anyone is in fact doing work of this type, then an unambiguously correct answer can be given by linking to that work; so the question is not merely an invitation for discussion. It should be community wiki, however. – Neil Strickland Oct 4 2011 at 16:48

3

I agree that this is not a math question per se, but there are a lot of other questions on MO with a similar flavour. This is really a meta-mathematical question, which used to be considered 'mathematics' in the early part of last century. Just because this is not the kind of 'mathematics' most mathematicians worry about, is that really a good reason to close this? At least suggest where this question should be asked! – Jacques Carette Oct 4 2011 at 16:50

4

While the application mentioned by the question is certainly very important, the question itself is much more of an "artificial-intelligence" nature, not really a precise, clear-cut math question. At best, it belongs to meta.MO, though more naturally it belongs to a machine learning type website. – S. Sra Oct 4 2011 at 17:10

show 3 more comments

Neil Strickland · Answer 1 · 2011-10-04 16:13:44Z UTC

I do not know whether there is anyone pursuing this, but I believe that there should be. All LaTeX files on the arxiv are publicly visible, and of course they contain richly structured markup with cross-references between different parts of the same document and links to other documents. MathSciNet and Zentralblatt also have a lot of richly structured data. I think that a Watson-like system could digest enough of this to give much better answers to certain types of questions than current search engines can. I don't think you could expect to provide actual answers to mathematical questions, but I think you could do a good job of pointing people to papers where answers could be found.

automating Math Overflow

Remember to vote up questions/answers you find interesting or helpful (requires 15 reputation points)

1 Answer

You can accept an answer to one of your own questions by clicking the check mark next to it. This awards 15 reputation points to the person who answered and 2 reputation points to you.