Read a few paragraphs further down, though, and the article reveals that — for all of Numenta's billing as a one-size-fits-all automatic solver — Grok is "still in limited release, with just a few customers in the fields of energy, media, and video processing".
Specifically, automated planners emerged in 1971 with the STRIPS or "Stanford Research Institute Problem Solver", the first automatic solver problems.
Milner returned to Britain in 1973 to accept a position at the University of Edinburgh, where he helped design ML ("metalanguage"), a computer programming language developed for implementing an automatic theorem solver.
The equations of motion are solved numerically using the Galerkin method and an automatic ODE solver.
Automatic problem solver (APS), the software package used by GEP, is easy to control, and therefore, the evolutionary model can be tested by the test set.
SMT (Satisfiability Modulo Theories) solvers are automatic verification engines suitable to discharge important classes of proof obligations generated in applying formal construction of software and hardware designs.
State-of-the-art, uni-processor linear matrix equation solvers for automatic control computations are investigated and compared for various problem sizes.
The resulting accurate continuous discrete unscented Kalman filter is based on adaptive solvers with automatic global error control for treating numerically the moment differential equations arising in the mean and covariance calculation of propagated Gaussian density.
An unstructured, grid-based, unsteady Navier-Stokes solver with automatic adaptive re-meshing was used to compute the unsteady flow around the fin through twenty complete cycles.
These packages greatly benefit from the very successful developments of automatic stiff ordinary differential equation solvers.
