a possible architecture would be to use Watson's UIMA architecture to analyse a given math problem in textual form. then the problem should be transformed to a mathematical formula and feeded into a a set of software agents (expert systems) that try to solve the problem using various computer algebra systems (Sage, Wolfram, etc.). wiki:List_of_computer_algebra_systems
teach it * logics, tensor math, group algebra, topology, ... * relativity, quantum physics, string theory, ... then let it tackle those problems that humans can't
![Chris Langan - The Interview THEY Didn't Want You To See - CTMU [Full Version; Timestamps]](http://i.ytimg.com/vi/9miVG2xT5jY/mqdefault.jpg)
Go get em' IBM - you rock and are proving that the future will be awesome! Thanks for your contributions to the species.
a possible architecture would be to use Watson's UIMA architecture to analyse a given math problem in textual form. then the problem should be transformed to a mathematical formula and feeded into a a set of software agents (expert systems) that try to solve the problem using various computer algebra systems (Sage, Wolfram, etc.).
wiki:List_of_computer_algebra_systems
I hope that watson will learn some university-level math too. that is a problem field it can not do (yet).
Yet another reason why I love RPI
teach it
* logics, tensor math, group algebra, topology, ...
* relativity, quantum physics, string theory, ...
then let it tackle those problems that humans can't
I for one welcome our new IBM created AI overlords.