ALEXANDRIA, Va., Oct. 28 -- United States Patent no. 12,450,507, issued on Oct. 21, was assigned to CAVENWELL INDUSTRIAL AI CORP..
"Automatic theorem solver" was invented by Benjamin Sprott (Richmond, Canada).
According to the abstract* released by the U.S. Patent & Trademark Office: "Some embodiments of the present disclosure provide a manner for an automatic theorem solver to answer a query. Ahead of time, data that supports columns is received. The data is converted to a data structure. Sets of univariate and multivariate morphisms are then determined and the numbers of morphisms in the sets may be reduced in accordance with various metrics. Additionally, the morphisms may be used to generate chains of morphisms. A plurality of equatio...